为何clang-tidy针对此C99程序报‘窄化转换’警告？

1. 第一个赋值无警告的原因 #

char x = f1();中，f1()的返回值类型是char，直接赋值给同类型的变量x，不存在类型转换，因此不会触发窄化转换警告。

2. 第2、3个赋值触发警告的核心原因 #

你对三元运算符?:的类型判定规则理解有误：C标准中，条件运算符的结果类型并非由第一个分支的类型决定，而是对两个分支的操作数执行「寻常算术转换」后的结果类型。

这里的关键细节：

• C语言中，字符常量（比如'b'）的默认类型是int，而非char。
• 对于test() ? f1() : 'b'：f1()返回char，'b'是int，执行寻常算术转换时，char会被提升为int，因此整个条件表达式的结果类型是int。
• 将int类型的值赋值给char变量时，由于int的取值范围远大于char（假设char为8位，int至少16位），若int值超出char的可表示范围，转换结果是实现定义的，这就是Clang-Tidy触发「窄化转换」警告的原因。
• test() ? 'b' : f1()的情况完全一致：'b'是int，f1()返回char，转换后表达式结果为int，赋值给char变量同样触发窄化警告。

3. 第四个赋值无警告的原因 #

char w = (char) (test() ? f1() : 'b');通过显式的强制类型转换(char)，明确告知编译器我们有意执行这个转换，Clang-Tidy会认为这是开发者的主动选择，因此不会发出警告。

内容的提问来源于stack exchange，提问作者traveh