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

2018-07-11 03:31:00来源:博客园 阅读 ()

新老客户大回馈,云服务器低至5折

英文概念

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

标签:

版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有

上一篇:dp总结

下一篇:BZOJ4128: Matrix(BSGS 矩阵乘法)