gcc v10 和 v9 之间的 constexpr 区别：错误或功能

Question

如果使用 gcc v10 编译，下面的代码会出现错误，但对于 gcc v9，代码没问题。

template<auto N>
struct A {
    constexpr auto size() const {
        return N;
    }  
};

template<typename T>
void foo1(const T& a) {
    constexpr auto s = a.size(); // Why error here?
}
template<typename T>
void foo2(T a) {
    constexpr auto s = a.size(); // OK
}
int main() {
    A<10> x1;
    foo1(x1);
    foo2(x1);
    A<x1.size()> x2; // OK
    constexpr auto s = x1.size(); // OK
}

在我的理解中，成员函数 size() 在所有情况下都可以称为 constexpr。但是在一种情况下，与 gcc9 相比，gcc10 的行为发生了变化：如果参数由 const-ref 传递。我不明白为什么这不应该是 constexpr？

另一个例子：

template<auto N>
struct A {
    constexpr auto size() const {
        return N;
    }  
};

template<typename T>
constexpr void foo1(const T& a) {
    constexpr auto s = a.size(); // Why error here?
    return s;
}
template<typename T>
constexpr auto foo2(const T& a) {
    return a.size(); // Why OK here
}
int main() {
    A<10> x1;
    constexpr auto s1 = foo1(x1);
    constexpr auto s2 = foo2(x1);
}

我不明白其中的区别。

Answer 1

这是GCC 错误 66477。它提到 GCC 错误地接受常量表达式中的引用类型参数。

此错误已在 GCC 10 中修复。

这篇文章a.size()提到了常量表达式中不允许使用的原因。