C++中 unsigned t = 2147483647 + 1 + 1; 是 UB 还是 ID？ 第1页

UB 跟 ID 的定义其实几乎是一致的。所以可以认为 UB 就是 ID。没有必要区分 UB 跟 ID。

UB 的定义是：可以这么做，但这么做的后果不确定，不同编译器实现可以产生不同的结果。

ID 的定义是：可以这么做，但这么做的后果不确定，不同编译器实现可以产生不同的结果。

那么，UB 跟 ID 的区别是什么呢？区别是，对于 ID，虽然允许不同编译器产生不同的编译结果，但编译器自身会撰写文档明确描述出这个结果。而对于 UB，编译器可以自行选择产生某个特定的结果，并且这个结果编译器可以不必在文档中描述出来。

共同点则是：无论 UB 还是 ID，C++ 标准都不会规定他们应该产生什么结果。

所以， UB 跟 ID 都是不确定后果，都是编译器相关。区别仅仅在于 ID 的情况编译器明确使用文档撰写了结果。如果编译器修改了某个ID行为的结果，那么必须更新该编译器的文档，但如果编译器修改了某个UB行为的编译结果，不必更新该编译器的文档。

现实中，如果你已经依赖某个编译器试出了结果的话，只要不换编译器，那么结果就是稳定的。在你不换编译器，不修改编译参数的前提下，UB跟ID并无本质区别。