在聚合结构初始化中使用的三元运算符整数表达式的类型

Question

当使用三元运算符表达式聚合初始化结构时，我遇到了一个有趣的警告(至少使用GCC和clang-Wnarrowing，还没有测试过其他编译器((请参阅下面的代码(。我不明白为什么在聚合初始化的情况下，表达式的类型显然被认为是int，而在其他情况下却被默默地强制为size_t。如果C++23size_t文字是一种东西，那么这显然不会成为问题，因为您只需要使用正确的文字类型。我只是好奇这里到底发生了什么，如果有人知道的话？

#include <cstddef>
int main()
{
struct S { size_t m; };
S s1 = {0}; // No warning
bool b = true;
S s2 = {b ? 1 : 0}; // warning: narrowing conversion of '(b ? 1 : 0)' from 'int' to 'size_t'
//S s2 = {b ? 1u : 0u}; // No warning
size_t s3 = b ? 1 : 0; // No warning
return s1.m || s2.m || s3;
}

Answer 1

b ? 1 : 0的类型肯定是int。

大括号初始化(包括聚合初始化(不允许执行缩小转换，例如从有符号类型转换为无符号类型。这是一个缩小范围的转换，因为源类型中的某些值(，即，负数(无法在目标类型中表示。当在非大括号上下文中发生缩小转换时，这是允许的。

GCC将不允许的缩小转换视为警告而非错误，但从技术上讲，您的代码格式不正确。