关于c ++:静态constexpr成员的统一初始化

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成员。正如你已经看到的,这个很好用。

问题似乎出在模板上下文中,来自auto的类型推断,我怀疑这是一个实现错误,尽管标准很大,我很容易遗漏了一些东西。

如果constexpr初始化的右侧大小是一个难以预先确定类型的表达式,则解决方法是使用decltype,例如。

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;