算术表达式求值解析-优快云博客

本文链接：https://blog.youkuaiyun.com/shazhugw/article/details/78772125

本文探讨了编译器如何处理算术表达式的求值过程。解释了当操作数类型不一致时，编译器如何通过整数提升和类型转换来确保运算符两边的操作数类型相同。并通过示例代码展示了不同类型数据间的转换机制。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

算术表达式求值

当评估表达式，编译器将每个表达为单独的子表达式。算术运算符要求它们的操作数是相同类型的。为了确保这一点，编译器使用以下规则：

如果一个操作数是一个比int窄的整数，它将进行整数提升（如上所述）到int或无符号int。
如果操作数仍然不匹配，则编译器找到最高优先级的操作数，并隐式地将其他操作数转换为匹配。

操作数的优先级如下：

#include <iostream>
#include <typeinfo> // for typeid()
 
int main()
{
    short a(4);
    short b(5);
    std::cout << typeid(a + b).name() << " " << a + b << std::endl; // show us the type of a + b
 
    return 0;
}

因为短裤是整数，它们经过积分推广到整数前加。添加两个数的结果是int型，像你希望的那样：

INT 9
注意：你的编译器可能会显示一些稍有不同的是typeid的格式。（）是由编译器。

让我们看看另一个例子：

#include <iostream>
#include <typeinfo> // for typeid()
 
int main()
{
    double d(4.0);
    short s(2);
    std::cout << typeid(d + s).name() << " " << d + s << std::endl; // show us the type of d + s
 
    return 0;
}

在这种情况下，带符号整数（10）被提升为无符号整数（具有更高的优先级），表达式被求值为无符号int溢出结果，我们得到一个我们不期望的答案。

这是避免一般无符号整数的许多很好的理由之一。

警告：微软的Visual C++ 2005似乎没有问题的安全警告符号/无符号的转换。