UB 跟 ID 的定义其实几乎是一致的。所以可以认为 UB 就是 ID。没有必要区分 UB 跟 ID。
UB 的定义是:可以这么做,但这么做的后果不确定,不同编译器实现可以产生不同的结果。
ID 的定义是:可以这么做,但这么做的后果不确定,不同编译器实现可以产生不同的结果。
那么,UB 跟 ID 的区别是什么呢?区别是,对于 ID,虽然允许不同编译器产生不同的编译结果,但编译器自身会撰写文档明确描述出这个结果。而对于 UB,编译器可以自行选择产生某个特定的结果,并且这个结果编译器可以不必在文档中描述出来。
共同点则是:无论 UB 还是 ID,C++ 标准都不会规定他们应该产生什么结果。
所以, UB 跟 ID 都是不确定后果,都是编译器相关。区别仅仅在于 ID 的情况编译器明确使用文档撰写了结果。如果编译器修改了某个ID行为的结果,那么必须更新该编译器的文档,但如果编译器修改了某个UB行为的编译结果,不必更新该编译器的文档。
现实中,如果你已经依赖某个编译器试出了结果的话,只要不换编译器,那么结果就是稳定的。在你不换编译器,不修改编译参数的前提下,UB跟ID并无本质区别。