c – 为什么在通过将非常量变量赋值给较小类型的变量来截断非常

发布时间：2020-12-16 09:34:38 所属栏目：百科来源：网络整理

导读：当变量x在下面的代码片段中声明为常量时,clang 2.9和g 4.1.2都会生成警告.但是当删除const时,就像在代码片段中一样,即使用以下最严格的参数执行,编译器都不会生成警告：“-Wall -Wextra -pedantic -ansi” 为什么编译器不会推断并报告相同的警告,因为x不是易

当变量x在下面的代码片段中声明为常量时,clang 2.9和g 4.1.2都会生成警告.但是当删除const时,就像在代码片段中一样,即使用以下最严格的参数执行,编译器都不会生成警告：“-Wall -Wextra -pedantic -ansi”

为什么编译器不会推断并报告相同的警告,因为x不是易失性的,并且在类型转换之前不可能被修改？

#include <iostream>

int main(int argc,char **argv)
{
    unsigned int x = 1000;
    const unsigned char c = x;
    const unsigned int x_ = c;
    std::cout << "x=" << x << " x_=" << x_ << std::endl;
    return 0;
}

使用const unsigned int x = 1000; g提供消息“warning：大整数被隐式截断为无符号类型”并且clang“warning：从’const unsigned int’到’const unsigned char’的隐式转换’将值从1000更改为232 [-Wordstant-conversion]”.

有没有办法自动检测这种情况,而无需手动检查代码或依赖正确设计的单元测试？

解决方法

对于GCC,添加标志-Wconversion,您将获得所需的警告.它不是-Wall的一部分,因为这么多代码只是忽略了这些类型的东西.我总是打开它,因为它发现很难调试缺陷.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!