8

根据： constexpr static data member given 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;    
}
  1. 在类定义中初始化（因为它是 constexpr）
  2. 在类定义之外定义（因为它是静态的）

如果我将 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

删除冲突的 2. 定义按预期结束，但出现链接器错误：

In function `main': prog.cc:(.text+0x8): undefined reference to `wrapper<foo>::value'

在线代码示例。

对静态 constexpr 类成员使用统一初始化是否可能/合法？

4

1 回答 1

1

这可能是我的误解，但我会认为

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;
于 2015-03-04T21:39:33.097 回答