根据：
constexpr static data member giving undefined reference error
static constexpr类成员必须满足两个要求：
constexpr static data member giving undefined reference error
static constexpr类成员必须满足两个要求：
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;
}
>在类定义中初始化(因为它是constexpr)
>在类定义之外定义(因为它是静态的)
如果我改变1.统一初始化
template <typename Tp>
struct wrapper {
static constexpr auto value = Tp{}; // uniform initialization
};
template<typename Tp>
constexpr Tp wrapper<Tp>::value;
编译器抱怨冲突的声明：
$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{};
以及缺少初始化程序：
prog.cc:7:31: error: declaration of 'constexpr const auto wrapper<Tp>::value' has no initializer
In function `main': prog.cc:(.text+0x8): undefined reference to `wrapper<foo>::value'
对静态constexpr类成员使用统一初始化是否可行/合法？
解决方法
这可能是我的误解,但我会认为
struct wrapper {
static constexpr Tp value = Tp{};
};
作为统一初始化的一个例子.实际上,第一个代码示例也是统一初始化.标准本身只是要求使用大括号或赋值表达式初始化这些静态constexpr成员.正如您已经看到的那样,这很好.
问题似乎是模板上下文中auto的类型推导,我怀疑它是一个实现错误,虽然标准很大,我可能很容易错过一些东西.
如果constexpr初始化的右手大小是具有难以预先确定类型的表达式,则解决方法是使用decltype,例如,
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;
要么
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;
