uniform initialization of static constexpr member
根据:给出未定义引用错误的constexpr静态数据成员静态constexpr类成员必须满足两个要求:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | template <typename Tp> struct wrapper { static constexpr Tp value{}; // 1 }; template<typename Tp> constexpr Tp wrapper<Tp>::value; // 2 struct foo { }; int main() { auto const& x = wrapper<foo>::value; (void)x; } |
百万千克1在类定义内初始化(因为它是constexpr)百万千克1百万千克1在类定义之外定义(因为它是静态的)百万千克1
如果我换1。统一初始化
1 2 3 4 5 6 7 | template <typename Tp> struct wrapper { static constexpr auto value = Tp{}; // uniform initialization }; template<typename Tp> constexpr Tp wrapper<Tp>::value; |
号
编译器抱怨声明冲突:
1 2 3 | $ g++ prog.cc -Wall -Wextra -std=c++1z -pedantic prog.cc:7:31: error: conflicting declaration 'constexpr const Tp wrapper<Tp>::value' constexpr Tp wrapper<Tp>::value; prog.cc:3:29: note: previous declaration as 'constexpr const auto wrapper<Tp>::value' static constexpr auto value = Tp{}; |
还有关于缺少初始值设定项:
1 | prog.cc:7:31: error: declaration of 'constexpr const auto wrapper<Tp>::value' has no initializer |
。
正在删除冲突的2。定义按预期结束,并出现链接器错误:
1 | In function `main': prog.cc:(.text+0x8): undefined reference to `wrapper<foo>::value' |
在线代码示例。
对静态constexpr类成员使用统一初始化是否可能/合法?
这可能是我的误解,但我会认为
1 2 3 | struct wrapper { static constexpr Tp value = Tp{}; }; |
作为统一初始化的一个例子。实际上,第一个代码示例也是统一的初始化。标准本身只要求用大括号或赋值表达式初始化这些静态constexr成员。正如你已经看到的,这个很好用。
问题似乎出在模板上下文中,来自
如果constexpr初始化的右侧大小是一个难以预先确定类型的表达式,则解决方法是使用
1 2 3 4 5 6 7 | template <typename Tp> struct wrapper { static constexpr decltype(complex-init-expr) value = complex-init-expr; }; template <typename Tp> static constexpr decltype(complex-init-expr) wrapper<Tp>::value; |
或
1 2 3 4 5 6 7 8 | template <typename Tp> struct wrapper { typedef decltype(complex-init-expr) value_type; static constexpr value_type value = complex-init-expr; }; template <typename Tp> static constexpr typename wrapper<Tp>::value_type wrapper<Tp>::value; |