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