"if“与"for”的建模

Question

下面的代码不应该主要像"if(条件)“语句那样工作吗?如果它在另一个循环中，并且"body”有它自己的中断语句或code语句，那么就会出现明显的错误行为：

for( ; condition ; break ) {
    body;
}

这是由关于以下假设的C++语法的咖啡休息聊天触发的

for( init ; condition ; update ) {
    body;
}

是相同的

{
    init;
    while( condition ) {
         body;
         update;
   }
}

用g++进行的一个快速实验表明，用“for(条件；break)”对“if(条件)”进行建模是不编译的。所以问题是:根据最新的标准，g++应该吞下这样的建筑，还是拒绝它是正确的呢？

Answer 1

拒绝它是正确的。break不能在构成循环本身主体的代码块之外。该代码是无效的C++。

Answer 2

break应该位于for循环的主体中：

for( ; condition ; ) {
    body;
    break;
}

Answer 3

for语句的语法是：

for ( for-init-statement condition[opt] ; expression[opt] ) statement

所以update子句必须是表达式，而break不是表达式。