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

巴特西

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

最新文章

热门文章