C++ 死循环在语言层面的检测

英文概念

Infinite loop without side-effects

这个目前只有CLang实现了这个C++特色

#include <iostream>

int 费马定理() {
  const int MAX = ;
  int a=,b=,c=;
  // Endless loop with no side effects is UB
  while () {
    if (((a*a*a) == ((b*b*b)+(c*c*c)))) return ;
    a++;
    if (a>MAX) { a=; b++; }
    if (b>MAX) { b=; c++; }
    if (c>MAX) { c=;}
  }
  return ;
}

int main() {
  if (费马定理())
    std::cout << "最后被否决了.\n";
  else
    std::cout << "最后没有被否决.\n";
}

这段代码最后是可以跳出来的，这是一个很好的特性，希望早日普及在所有编译器上。

参考：https://en.cppreference.com/w/cpp/language/ub