为什么std :: bitset <5> {} [0]不是constexpr？

Question

std :: bitset有constexpr构造函数和constexpr运算符[]，所以下面的代码编译成功：

#include <bitset>

typedef std::bitset<5> BitSet;

constexpr BitSet s1;
static_assert(!s1[0]);

为什么以下代码没有？

static_assert(BitSet{}[0]);

Answer 1

当您编写BitSet{}会创建一个类型为BitSet的临时对象。 但是对于非const对象， std::bitset的operator[] 不是 constexpr！

在你的第一个例子中， s1是隐式const ，所以它使用const operator[] ，它是constexpr 。

既然你不能const直接晋级临时（如const Foo()是无效的），你总是可以只添加const到您的别名：

using BitSet = const std::bitset<5>;