「C プログラミング言語」のコード スニペットは未定義の動(dòng)作を示しますか?

問題の C コード (「」の第 4 版で Bjarne Stroustrup が提供) C プログラミング言語」では、関數(shù)チェーンを使用して文字列を変更します。

<code class="cpp">void f2() {
    std::string s = "but I have heard it works even if you don't believe in it";
    s.replace(0, 4, "").replace(s.find("even"), 4, "only").replace(s.find(" don't"), 6, "");

    assert(s == "I have heard it works only if you believe in it");
}</code>

このコードは、文字列 s を変更する replace() 操作のチェーンを示しています。ただし、このコードは、GCC、Visual Studio、Clang などのさまざまなコンパイラ間で異なる動(dòng)作を示すことが観察されています。

分析

コードは単純に見えますが、不特定の順序が含まれます。特に関數(shù)呼び出しを伴う部分式の評価。 (すべての副作用は関數(shù)呼び出し內(nèi)で発生するため) 未定義の動(dòng)作は引き起こしませんが、未指定の動(dòng)作は示します。

重要な問題は、s.find( などの部分式の評価順序です)。 "even") および s.find(" don't") は明示的に定義されていません。これらの部分式は、最初の s.replace(0, 4, "") 呼び出しの前後で評価でき、結(jié)果に影響を與える可能性があります。

コード スニペットの評価順序を調(diào)べると、次のようになります。

s.replace(0, 4, "").replace(s.find("even"), 4, "only").replace(s.find(" don't"), 6, "");

次の部分式が不定に順序付けされていることがわかります (括弧內(nèi)の數(shù)字で示されています):

• s.replace(0, 4, "") (1)
• s.find("even") (2)
• s.replace(s.find("even"), 4, "only") (3)
• s.find(" しないでください") (4)
• s.replace(s.find(" しない"), 6, "") (5)

括弧の各ペア內(nèi)の式は順序付けされています (例: 2 が 3 の前にある) が、相互に異なる順序で評価することができます。具體的には、式 1 と 2 の間、および式 1 と 4 の間に不確定性があります。

コンパイラの違い

コンパイラの動(dòng)作で観察された矛盾は、それぞれが選択した異なる評価順序に起因している可能性があります。コンパイラ。場合によっては、 replace() 呼び出しが期待どおりの動(dòng)作をもたらす方法で評価されることもありますが、評価順序によって文字列が予期しない方法で変更される場合もあります。

例として、次のことを考えてみましょう。

• Clang などの一部の実裝では、replace(0, 4, "") は find("even") および find(" don't") より前に評価されます。これにより、後続の置換呼び出しが変更された文字列に対して動(dòng)作し、正しい結(jié)果が得られるようになります。
• GCC や Visual Studio などの他の実裝では、find("even") と find(" don't") が使用されます。 replace(0, 4, "") の前に評価される場合があります。 find 呼び出しは元の変更されていない文字列を操作し、意図したものとは異なる位置を検索する可能性があるため、不正確な結(jié)果が生じる可能性があります。

指定された動(dòng)作と指定されていない動(dòng)作

次の點(diǎn)に注意することが重要です。このコードは、未定義の動(dòng)作を呼び出すことはありません。未定義の動(dòng)作には、通常、初期化されていない変數(shù)にアクセスしたり、境界外のメモリにアクセスしようとしたりすることが含まれます。この場合、すべての副作用は関數(shù)呼び出し內(nèi)で発生し、コードは無効なメモリ位置にアクセスしません。

ただし、コードは指定されていない動(dòng)作を示します。つまり、コードの正確な順序は部分式の評価は C 標(biāo)準(zhǔn)では定義されていません。これにより、コンパイラが異なると、同じプログラムを?qū)g行しても異なる結(jié)果が生じる可能性があります。

提案された変更

C 標(biāo)準(zhǔn)委員會はこの問題を認(rèn)識し、式の評価順序を改良するための変更を提案しました。慣用的な C 。 C 20 の [expr.call]p5 に対する変更案では、「postfix-expression は、expression-list 內(nèi)の各式およびデフォルト引數(shù)の前に順序付けされる」と指定されており、これにより、このコードでの指定されていない動(dòng)作が排除されます。

以上が「C プログラミング言語」の関數(shù)チェーンは指定されていない動(dòng)作を示しますか?の詳細(xì)內(nèi)容です。詳細(xì)については、PHP 中國語 Web サイトの他の関連記事を參照してください。