在初始值设定项列表中，non-constant-expression 不能从类型“int”缩小到“unsigned long long”-解网

问：

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::bitsetcellconstexpr

编译错误：

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.

C++ 构造函数 Bitset

对象或类型的引用的列表初始化定义如下：T

...

（3.7）否则，如果是类类型，则考虑构造函数。枚举了适用的构造函数，并通过重载解析（16.3、16.3.1.7）选择最佳构造函数。如果需要缩小转换（见下文）来转换任何参数，则程序格式不正确。T

...

缩小转换是隐式转换

...

（7.4）从整数类型或无作用域枚举类型转换为无法表示原始类型所有值的整数类型，除非源是常量表达式，其值在整数升级后将适合目标类型。

这让我们更好地了解正在发生的事情：

// 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};

在程序中，编译器不理解这是一个常量表达式。它检查可用的构造函数，并看到它必须从转换为。它认为这可能是负面的，因此我们有一个缩小的转换。cellstd::bitsetintunsigned long longint

我们可以通过制作一个比更强的来解决此问题。While only 表示不应更改该值，表示该值在编译时可用：cellconstexprconstconstconstexpr

  constexpr int x = 4;
  constexpr int y = 2;
  constexpr int cell = x / y;

  auto a = std::bitset<20>{cell}; // works

您现在可以问为什么列表初始化不允许缩小转换范围。我不能完全回答这个问题。我的理解是，隐性缩小通常被认为是不可取的，因为它可能会产生意想不到的后果，因此它被排除在外。

@f9c69e9781fa194211448473495534什么？不，这是一个缩小的转换，因为在 99% 的编译器上，是 32 位整数，是 64 位整数。从到不是一个缩小的转换;表示任何大小整数的有符号或无符号版本所需的位数是相同的，唯一的区别是如何解释这些位。有符号 32 位整数的最后一位表示剩余的 31 位是否为负数，这就是为什么有符号整数限制是2147483648而不是4294967296（2^31 与 2^32），这是唯一的区别。intlong longsignedunsigned

0赞 f9c69e9781fa194211448473495534 11/23/2021

@Shayna我不明白你的意思。我对C++标准的理解是，缩小转换是关于可表示的值范围，而不是所需的位数：“缩小转换是从整数类型或无作用域枚举类型到无法表示原始类型所有值的整数类型的隐式转换”（open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3035.pdf#page=218）。无符号类型不能表示有符号值。

1赞 Shayna 11/24/2021

@f9c69e9781fa194211448473495534我的印象是，缩小转换意味着试图将数据从一种类型拟合到一种更窄的类型中：一种在逻辑上无法包含原始数据的类型，因为它太短了，例如 32>16、16>8 等，导致溢出的位被切断——当从 signed>unsigned 时，情况并非如此。我不知道的是，该标准将该定义扩展到符号转换的丢失。当我尝试编译它时，编译器抱怨两个缩小转换，long long>int 和 signed>unsigned。我的错！你是对的。

上一个：emplace_back（）与 push_back 插入 std：：vector 时

下一个：VS Code 中可以将鼠标悬停在变量上并查看其定义位置的功能的名称是什么？

在初始值设定项列表中，non-constant-expression 不能从类型“int”缩小到“unsigned long long”

non-constant-expression cannot be narrowed from type 'int' to 'unsigned long long' in initializer list

评论

评论