int main(int argc, char const *argv[])
{
int x = 4;
int y = 2;
const int cell = x/y;
auto a = std::bitset<20>{cell}; //fails
auto b = std::bitset<20>(cell); //works
}
为什么std::bitset
在这里不允许我使用花括号进行构建,而是使用括号构建?如果cell
是constexpr
,则两者都将编译。
编译错误:
test.cpp:21:29: error: non-constant-expression cannot be narrowed from type 'int' to 'unsigned long long' in initializer list [-Wc++11-narrowing]
auto a = std::bitset<20>{x*y}; //fails
^~~
test.cpp:21:29: note: insert an explicit cast to silence this issue
auto a = std::bitset<20>{x*y}; //fails
^~~
static_cast<unsigned long long>( )
1 error generated.
失败的行使用列表初始化语法:
auto a = std::bitset<20>{cell}; //fails
该语法在C ++ 17标准的11.6.4节中定义。相关部分:
对象或类型引用的列表初始化
T
定义如下:...
(3.7)否则,如果
T
是类类型,则考虑构造函数。列举了适用的构造函数,并通过重载分辨率(16.3,16.3.1.7)选择了最佳的构造函数。如果需要变窄的转换(请参见下文)以转换任何参数,则程序格式错误。...
缩小转换是隐式转换
...
(7.4)从整数类型或无作用域枚举类型到不能表示原始类型的所有值的整数类型,除非source是一个常量表达式,其整数提升后的值将适合目标类型。
这使我们对发生的事情有了更好的了解:
// Works, no narrowing check, implicit conversion.
std::bitset<20> a(2);
std::bitset<20> b(-1);
std::bitset<20> c(cell);
// Works, 2 can be converted without narrowing
std::bitset<20> d{2};
// Fails, -1 cannot be converted without narrowing
std::bitset<20> e{-1};
// Fails, compiler does not understand cell can be converted without narrowing
std::bitset<20> f{cell};
在您的程序中,编译器无法理解这cell
是一个常量表达式。它检查可用的构造函数,以std::bitset
查看是否必须从转换int
为unsigned long long
。它认为这int
可能是负面的,因此我们的转换范围越来越窄。
我们可以通过制作比强大的cell
a来解决此问题。而仅意味着不应更改该值,意味着该值在编译时可用:constexpr
const
const
constexpr
constexpr int x = 4;
constexpr int y = 2;
constexpr int cell = x / y;
auto a = std::bitset<20>{cell}; // works
您现在可以问为什么列表初始化不允许缩小转换范围。我无法完全回答。我的理解是,通常认为隐式缩小是不希望的,因为它可能会产生意想不到的后果,并且出于这个原因而将其排除在外。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句