c++ - g++ 提示 constexpr 函数不是常量表达式

Question

我已将我的问题简化为以下内容:

struct A {
    static constexpr std::size_t f() { return 4; }
};

template<std::size_t N>
struct B : A {
    alignas(A::f()) char a[N];
};

我看不出这有什么问题，但是如果我尝试使用 g++ 进行编译:

main.cpp:9:19: error: expression 'A::f' is not a constant-expression
     alignas(A::f()) char a[N];
                   ^
main.cpp:9: confused by earlier errors, bailing out

可以复制on coliru .

Answer 1

我不知道为什么原始代码不好，但这里有一个解决方法:

struct A {
    static constexpr std::size_t f() { return  4; }
};

template<std::size_t ALIGN, std::size_t N>
struct C {
    alignas(ALIGN) char a[N];
};

template<std::size_t N>
struct B : A, C<A::f(), N> {
};