C++ 死循环在语言层面的检测
英文概念
Infinite loop without side-effects
这个目前只有CLang实现了这个C++特色
#include <iostream> int 费马定理() { const int MAX = 1000; int a=1,b=1,c=1; // Endless loop with no side effects is UB while (1) { if (((a*a*a) == ((b*b*b)+(c*c*c)))) return 1; a++; if (a>MAX) { a=1; b++; } if (b>MAX) { b=1; c++; } if (c>MAX) { c=1;} } return 0; } int main() { if (费马定理()) std::cout << "最后被否决了.\n"; else std::cout << "最后没有被否决.\n"; }
这段代码最后是可以跳出来的,这是一个很好的特性,希望早日普及在所有编译器上。
参考:https://en.cppreference.com/w/cpp/language/ub