c++ - 如果表达式的中间结果溢出，是否是未定义行为？

Question

这个问题是另一个SO question的结果.

示例代码

#include <iostream>

int main()
{
    unsigned long b = 35000000;
    int i = 100;
    int j = 30000000;
    unsigned long n = ( i * j ) / b; // #1
    unsigned long m = ( 100 * 30000000 ) / b; // #2
    std::cout << n << std::endl;
    std::cout << m << std::endl;
}

输出

85
85

使用 g++ -std=c++11 -Wall -pedantic -O0 -Wextra 编译此代码会给出以下警告:

9:28:警告:表达式 [-Woverflow] 中的整数溢出

问题

1. 我认为 #1 和 #2 调用未定义行为是否正确，因为中间结果 100 * 30000000 没有适合int？还是我看到的输出定义明确？

2. 为什么我只收到带有 #2 的警告？

Answer 1

是的，这是未定义的行为，如果 unsigned long 是 64 位类型，您得到的结果通常是不同的。

¹ 这是 UB，因此无法保证。