C ++ forループの前には見たことがない

C ++アルゴリズムをC＃に変換していました。私はこのforループに出くわしました：

for (u = b.size(), v = b.back(); u--; v = p[v]) 
b[u] = v;

C ++ではエラーは発生しませんが、C＃ではエラーが発生します（intをboolに変換できません）。このforループが本当にわかりません。条件はどこにありますか？

誰か説明していただけますか？

PS。チェックのために、ベクトルをリストに適合させるために、b.back（）はb [b.Count-1]に対応していますか？

forループの状態は、2つのセミコロンの中間にあり;ます。

C ++では、ほとんどすべての式を条件として指定できfalseます。ゼロに評価されるものはすべて、非ゼロはを意味しtrueます。

あなたの場合、条件はu--次のとおりです：C＃に変換するとき、単に追加し!= 0ます：

for (u = b.size(), v = b.back(); u-- != 0; v = p[v]) 
    b[u] = v; //                     ^^^^ HERE

正確な答えはたくさんありますが、同等のwhileループを書く価値はあると思います。

for (u = b.size(), v = b.back(); u--; v = p[v]) 
   b[u] = v;

以下と同等です。

u = b.size();
v = b.back();
while(u--) {
   b[u] = v;
   v = p[v];
}

C＃に変換するときは、while（）形式にリファクタリングすることを検討してください。私の意見では、それはより明確であり、新しいプログラマにとってのわなのではなく、同等に効率的です。

他の人が指摘したように-しかし、私の答えを完全にするために-C＃で機能させるには、に変更while(u--)する必要がありますwhile(u-- != 0)。

...またはwhile(u-- >0)uが負から始まる場合に備えて。（OK、b.size()決して否定的ではありません-しかし、おそらく他の何かがuを初期化した一般的なケースを検討してください）。

または、さらに明確にするために：

u = b.size();
v = b.back();
while(u>0) {
   u--;
   b[u] = v;
   v = p[v];
}

簡潔にするよりも、明確にする方がいいです。

for命令のu--;2番目の位置にあるため、条件はです。

の値がu--;0と異なる場合は、解釈されますtrue（つまり、暗黙的にブール値にキャストされますtrue）。代わりに、その値が0の場合、にキャストされfalseます。

これは非常に悪いコードです。

更新：このブログ投稿で「for」ループの作成について説明しました。その推奨事項は次の段落に要約できます。

forループは実用的で読みやすく（慣れれば）簡潔な構成ですが、うまく使用する必要があります。その一般的ではない構文のため、想像力に富んだ方法で使用することはお勧めできません。

forループのすべての部分は短く、読みやすくする必要があります。変数名は、わかりやすくするために選択する必要があります。

この例は明らかにこれらの推奨事項に違反しています。

これがループのC＃形式になります。

// back fetches the last element of vector in c++.
for (u = b.size(), v = b.back(); (u--) != 0; v = p[v]) 
{      
  b[u] = v;      
}

size（）とback（）の同等のものを置き換えるだけです。

これは、リストを逆にして配列に格納します。しかし、C＃では、このためのシステム定義関数を直接持っています。したがって、このループを記述する必要もありません。

b = b.Reverse().ToArray();

u = b.size(), v = b.back()

初期化です。

u--

状態です。

v = p[v]

反復です

条件はの結果ですu--。これは、u減少する前の値です。

CおよびC ++では、int ある暗黙的に実行して、ブール値に変換!= 0比較を（0であるfalse、他のすべてがありますtrue）。

b.back()あるコンテナ内の最後の要素ですb[b.size() - 1]、size() != 0。

C trueでは、ゼロ以外のすべては、ループの終了条件や条件ステートメントなどの「ブール」コンテキストにあります。C＃では、そのチェックを明示的にする必要がありますu-- != 0。

他の人が述べたように、C ++がブール値への暗黙のキャストを持っているという事実は、条件がu--であることを意味します。これは、値がゼロ以外の場合に真になります。

「条件はどこにあるのか」を尋ねる際に誤った仮定があることは、追加する価値があります。C ++とC＃の両方（および他の同様に構文化された言語）では、空の条件を使用できます。この場合、常にtrueと評価されるため、ループは永久に、または他の条件が（、、またはを介してreturn）終了するまで続きます。breakthrow

for(int i = 0; ; ++i)
  doThisForever(i);

実際、forステートメントのどの部分も省略できます。その場合、実行されません。

一般的に、for(A; B; C){D}または次のようにfor(A; B; C)D;なります。

{A}
loopBack:
if(!(B))
  goto escapeLoop;
{D}
{C}
goto loopBack;
escapeLoop:

A、B、C、Dのいずれか1つ以上を省略することができます。

この結果として、for(;;) 無限ループを好む人もいます。私while(true)はそれがより人気がある一方で、「真実が真実になるまで」と読んだためfor(;;) です。

それは好みの問題ですが、私が好きなのは私だけではないので、for(;;)それが何を意味するのかを知る価値があります。

すべての答えは正しいです：-

forループは、次のようにさまざまな方法で使用できます。

Single Statement inside For Loop
Multiple Statements inside For Loop
No Statement inside For Loop
Semicolon at the end of For Loop
Multiple Initialization Statement inside For
Missing Initialization in For Loop
Missing Increment/Decrement Statement
Infinite For Loop
Condition with no Conditional Operator.

for (u = b.size(), v = b.back(); u--; v = p[v]) 
   b[u] = v;

上記のコードでは、uおよびvで初期化されb.size()ていb.back()ます。

条件がチェックされるたびに、デクリメントステートメントも実行されますu--。

forループは終了しますuとなります0。

C＃自体で発生したエラーは疑いを解消します。forループは、

偽

終了する条件。そして、私たちが知っているように、

（ブール）FALSE =（int）0

ただし、C＃は、C ++とは異なり、これを単独で処理することはできません。だからあなたが探している状態は

u--

しかし、あなたは明示的にC＃で条件を与える必要があります

u--！= 0

または

u--> 0

しかし、それでもこの種のコーディング慣行は避けてください。の

ループ

上記の回答で述べたのは、

forループ。

C / C ++に慣れている場合、このコードは読みにくいものではありませんが、かなり簡潔で、それほど優れたコードではありません。だから、私が何よりもシスムである部分を説明させてください。まず、C forループの一般的な構文は次のようになります。

for (<initialization> ; <condition>; <increment>)
{
    <code...>
}

初期化コードは1回実行されます。次に、条件はすべてのループの前にテストされ、最後にすべてのループの後に増分が呼び出されます。したがって、あなたの例では、条件がu--

なぜu--C＃ではなくCの条件として機能するのですか？Cは暗黙のうちに多くのことを暗黙のうちに変換してしまうので、問題を引き起こす可能性があります。数値の場合、ゼロ以外のものはすべて真であり、ゼロは偽です。したがって、b.size（）-1から0までカウントダウンします。条件に副作用があることは少し厄介であり、forループのインクリメント部分に配置することをお勧めします。コードはこれを行います。私がそれを書いているなら、私は次のようにそれをするでしょう：

for (u = b.size() - 1, v = b.back(); u>=0; --u) 
{
    b[u] = v;
    v = p[v]
}

これの理由は、少なくとも私には、それはより明確です。forループの各部分は、それだけで機能します。元のコードでは、条件は変数を変更していました。インクリメント部分は、コードブロックなどにあるはずのことをしていました。

カンマ演算子は、ループのためにもあなたを投げているかもしれません。C x=1,y=2では、コンパイラに関する限り、ステートメントは1つのステートメントのように見え、初期化コードに適合します。単に各パーツを評価し、最後のパーツの値を返します。だから例えば：

std::cout << "(1,2)=" << (1,2) << std::endl;

印刷されます2。