Q:萌新求助,为啥不开-O2
能 AC,开了-O2
就 RE/TLE/WA 了?
A:你的程序可能有 UB。
Q:萌新求助,为啥本地数据能过,提交就全 RE/TLE/WA 了?
A:你的程序可能有 UB。
Q:所以啥是 UB?
未定义行为(Undefined Behavior,UB),是一类对程序无任何限制的行为。
在 C/C++ 中,未定义行为的例子非常地多,我们在下文将会提到一些例子。
在 C/C++ 中,和未定义行为容易混淆的概念有两个,实现定义行为,未指明行为。这里先对这几个概念做一个辨析。
int
在不同环境下的大小(标准规定为至少 16 位,现在大多数环境下均为 32 位)。一个正常的 C/C++ 程序的行为都应该是合法的,像未定义行为这样的操作不应该在程序中出现。
有人也许会奇怪:那为什么不去检测未定义行为,将未定义行为视为语法或语义错误而终止编译呢?
事实上对未定义行为的检测并没有检测语法和语义错误那么容易。有些未定义行为的检测比较容易(比如访问未初始化的变量),但诸如带符号整数溢出这样的行为,因为它并不一定会发生,在编译阶段检测它就困难不少。
而假如编译器要考虑这些未定义行为的话,则不利于程序优化。
因此将一些操作指定为未定义行为,编译器就不必再考虑这些操作,从而利于程序优化。
这也是一些程序在没有优化的情况下行为正常,开启优化选项之后出现不期待的结果的原因。
#include
using namespace std;
int main()
{
int x;
cin>>x;
if(x+1
试着输入 2,147,483,6472147483647 ( 2^{31}-1231−1 )看看程序结果吧!
如果你编译的时候开启了 -O2
优化选项,或者你的编译器版本比较高的话,你可能会发现预期的输出 Overflow!
没有出现。
为什么呢?因为带符号整数溢出是未定义行为,从而编译器不会考虑这种情况。在忽略这种情况的前提下,x+1
#include
using namespace std;
int main()
{
int x;
cin>>x;
cout<<"Not overflow!"<
你也许会奇怪,为什么不将带符号整数溢出的行为给一个明确的定义呢?
事实上,给带符号整数溢出下定义会带来很多不必要的开销。
我们来看下面这个程序:
#include
using namespace std;
int main()
{
int x;
cin>>x;
cout<
如果带符号整数溢出是有定义的,那我们就要老实执行一次乘法和一次除法运算。
而把它定为未定义行为,编译器就可以直接优化成这样:
#include
using namespace std;
int main()
{
int x;
cin>>x;
cout<
瞬间减少了不少开销,对吧?当操作次数很多的时候效果当然更加明显。
需要注意的是,无符号整数溢出不是未定义行为。也就是说:
#include
using namespace std;
int main()
{
unsigned x;
cin>>x;
if(x+1
如果你输入 4,294,967,2954294967295 ( 2^{32}-1232−1 ),会发现它的行为是符合预期的(输出 Overflow!
)。
越界访问是一件让人很头大的事情。
众所周知,C/C++ 并不会进行越界检查,因此越界访问造成的后果可能有这几种:
为啥不进行越界检查呢?在多数情况下,越界检查的成本并不小,而且进行了越界检查会丧失不少程序优化的机会。因此最划算的决定就是不进行越界检查。
在开始讲这个之前,先引出 C++ 的一个原则,如同原则(as if),这是不少优化的基础。
简单来说,在不影响程序运行结果的前提下,允许编译器进行一些代码转换。当然,未定义行为造成的影响是例外,因为这种行为不会被编译器考虑。
因此,可以通过消除冗余代码来达到优化的目的。
因为无可视副作用的无限循环是未定义行为,编译器有时可以直接将它优化掉。
#include
using namespace std;
int f()
{
unsigned cnt=0;
while(1)
if(cnt<0)return true;
return false;
}
int main()
{
if(f())//停机问题(大雾
cout<<"This program has been terminated."<
在 g++ 8.3 下进行编译,程序进入了死循环,而在 clang++ 6.0.0 下进行编译,程序则无输出终止。
查了下汇编代码,发现 main()
函数在 clang++ 下被优化成了空。
也就是说,这一无限循环因为是未定义行为,而被编译器视为冗余代码而消除。
现在据说还有不少教材还在考这种奇怪的东西。
#include
using namespace std;
int main()
{
int x=1;
cout<<(x++ + ++x)<
根据 C++11 起的 “按顺序早于”规则,这种式子用一句比较拗口的话来说,就是:标量对象上的一项副作用相对于同一标量对象上的另一副作用为无顺序,则其行为未定义。
在这个式子中,x++
的副作用和 ++x
的副作用相比,可以在前面发生,也可以在后面发生,因此它是未定义的。
#include
using namespace std;
int main()
{
int x;
if(x)
cout<<"True"<
据说在比较旧的 g++ 版本上编译会出现两个都输出的奇怪现象。不过这既然是未定义行为,怎么样的输出都是合理的。
在编译期检测未定义行为难度并不小,原因在上文已经说的很清楚了。
不过在运行期,还是有一些方法来捕捉程序的未定义行为的。这将在一定程度上方便我们的调试。
一种非常实用的检测未定义行为的方式是使用 clang 的诊断模式。
只需在编译选项中加上一条:-fsanitize=undefined
即可开启。
(注:Linux 下的 g++ 也提供这一编译选项)
#include
using namespace std;
int a[10005];
int main()
{
if(a[10005])
cout<<42<
对于上面这个出现数组越界的程序,运行的结果将是:
a.cpp:6:5: runtime error: index 10005 out of bounds for type 'int [10005]'
PS:Codeforces 也支持了这个功能,可以在 Custom Test 中选择 Clang++17 Diagnostics 开启。
作为 C/C++ 的一大特色,未定义行为让不少人都头疼不已。未定义行为不可预测的特点,使调试的难度加大了不少。
避开未定义行为的关键是养成良好的编程习惯。当然一些辅助的检测手段对于消除未定义行为也能起到非常大的帮助。
本文搬运至洛谷日报#265
搬运不易,举起你可爱的小爪点个赞再走叭?>w<