「C プログラミング言語」のコード スニペットは未定義の動作を示しますか?
問題の 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 などのさまざまなコンパイラ間で異なる動作を示すことが観察されています。
分析
コードは単純に見えますが、不特定の順序が含まれます。特に関數(shù)呼び出しを伴う部分式の評価。 (すべての副作用は関數(shù)呼び出し內(nèi)で発生するため) 未定義の動作は引き起こしませんが、未指定の動作は示します。
重要な問題は、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 の間に不確定性があります。
コンパイラの違い
コンパイラの動作で観察された矛盾は、それぞれが選択した異なる評価順序に起因している可能性があります。コンパイラ。場合によっては、 replace() 呼び出しが期待どおりの動作をもたらす方法で評価されることもありますが、評価順序によって文字列が予期しない方法で変更される場合もあります。
例として、次のことを考えてみましょう。
- Clang などの一部の実裝では、replace(0, 4, "") は find("even") および find(" don't") より前に評価されます。これにより、後続の置換呼び出しが変更された文字列に対して動作し、正しい結(jié)果が得られるようになります。
- GCC や Visual Studio などの他の実裝では、find("even") と find(" don't") が使用されます。 replace(0, 4, "") の前に評価される場合があります。 find 呼び出しは元の変更されていない文字列を操作し、意図したものとは異なる位置を検索する可能性があるため、不正確な結(jié)果が生じる可能性があります。
指定された動作と指定されていない動作
次の點(diǎn)に注意することが重要です。このコードは、未定義の動作を呼び出すことはありません。未定義の動作には、通常、初期化されていない変數(shù)にアクセスしたり、境界外のメモリにアクセスしようとしたりすることが含まれます。この場合、すべての副作用は関數(shù)呼び出し內(nèi)で発生し、コードは無効なメモリ位置にアクセスしません。
ただし、コードは指定されていない動作を示します。つまり、コードの正確な順序は部分式の評価は 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ù)の前に順序付けされる」と指定されており、これにより、このコードでの指定されていない動作が排除されます。
以上が「C プログラミング言語」の関數(shù)チェーンは指定されていない動作を示しますか?の詳細(xì)內(nèi)容です。詳細(xì)については、PHP 中國語 Web サイトの他の関連記事を參照してください。
ホットAIツール
Undress AI Tool
脫衣畫像を無料で
Undresser.AI Undress
リアルなヌード寫真を作成する AI 搭載アプリ
AI Clothes Remover
寫真から衣服を削除するオンライン AI ツール。
Clothoff.io
AI衣類リムーバー
Video Face Swap
完全無料の AI 顔交換ツールを使用して、あらゆるビデオの顔を簡単に交換できます。
人気の記事
ホットツール
メモ帳++7.3.1
使いやすく無料のコードエディター
SublimeText3 中國語版
中國語版、とても使いやすい
ゼンドスタジオ 13.0.1
強(qiáng)力な PHP 統(tǒng)合開発環(huán)境
ドリームウィーバー CS6
ビジュアル Web 開発ツール
SublimeText3 Mac版
神レベルのコード編集ソフト（SublimeText3）
c
Jul 15, 2025 am 01:30 AM
STD :: Chronoは、現(xiàn)在の時間の取得、実行時間の測定、操作時點(diǎn)と期間の測定、分析時間のフォーマットなど、時間の処理にCで使用されます。 1。STD:: Chrono :: System_Clock :: now（）を使用して、現(xiàn)在の時間を取得します。 2。STD:: CHRONO :: STEADY_CLOCKを使用して実行時間を測定して単調(diào)さを確保し、DurateR_CASTを通じてミリ秒、秒、その他のユニットに変換します。 3。時點(diǎn)（Time_Point）と期間（期間）は相互運(yùn)用可能ですが、ユニットの互換性と時計エポック（エポック）に注意を払う必要があります
Cでスタックトレースを取得する方法は？
Jul 07, 2025 am 01:41 AM
主にCでスタックトレースを取得するための次の方法があります。1。LinuxプラットフォームでBackTraceおよびBackTrace_Symbols関數(shù)を使用します。コールスタックと印刷記號情報を取得することを含めることにより、コンパイル時に-RDYNAMICパラメーターを追加する必要があります。 2。WindowsプラットフォームでCaptureStackBackTrace関數(shù)を使用すると、dbghelp.libをリンクし、PDBファイルに依存して関數(shù)名を解析する必要があります。 3. Google BreakPadやBoost.StackTraceなどのサードパーティライブラリを使用して、スタックキャプチャ操作をクロスプラットフォームして簡素化します。 4.例外処理では、上記の方法を組み合わせて、キャッチブロックにスタック情報を自動的に出力します
cのポッド（平易な古いデータ）タイプとは何ですか？
Jul 12, 2025 am 02:15 AM
Cでは、POD（PlainOldData）タイプは、単純な構(gòu)造を持つタイプを指し、C言語データ処理と互換性があります。 2つの條件を満たす必要があります。MEMCPYでコピーできる通常のコピーセマンティクスがあります。標(biāo)準(zhǔn)のレイアウトがあり、メモリ構(gòu)造は予測可能です。特定の要件には、すべての非靜的メンバーが公開されており、ユーザー定義のコンストラクターまたはデストラクタがなく、仮想関數(shù)や基本クラスがなく、すべての非靜的メンバー自體がポッドです。たとえば、structpoint {intx; inty;}はpodです。その用途には、バイナリI/O、Cの相互運(yùn)用性、パフォーマンスの最適化などが含まれます。タイプがstd :: is_podを介してポッドであるかどうかを確認(rèn)できますが、c 11の後にstd :: is_triviaを使用することをお勧めします。
CからPythonを呼び出す方法は？
Jul 08, 2025 am 12:40 AM
CでPythonコードを呼び出すには、最初にインタープリターを初期化する必要があります。次に、文字列、ファイルを?qū)g行するか、特定の関數(shù)を呼び出すことでインタラクションを?qū)g現(xiàn)できます。 1。py_initialize（）でインタープリターを初期化し、py_finalize（）で閉じます。 2。pyrun_simplefileを使用して文字列コードまたはpyrun_simplefileを?qū)g行します。 3. pyimport_importmoduleを介してモジュールをインポートし、pyobject_getattringを介して関數(shù)を取得し、py_buildvalueのパラメーターを構(gòu)築し、関數(shù)を呼び出し、プロセスリターンを呼び出します
Cに隠れている関數(shù)とは何ですか？
Jul 05, 2025 am 01:44 AM
機(jī)能することは、aMenAmeaSabaseClassfunctionとの際にclassdefinesivinesivinesivinesivinesivinesを使用することで発生します
cのパラメーターとして関數(shù)を渡す方法は？
Jul 12, 2025 am 01:34 AM
Cには、関數(shù)をパラメーターとして渡す3つの主な方法があります。関數(shù)ポインター、STD ::関數(shù)式とラムダ式、およびテンプレートジェネリックを使用しています。 1。関數(shù)ポインターは最も基本的な方法であり、単純なシナリオまたはCインターフェイスに適していますが、読みやすさが低いです。 2。STD:: LAMBDA式と組み合わせた関數(shù)は、現(xiàn)代のCで推奨される方法であり、さまざまな呼び出し可能なオブジェクトをサポートし、タイプセーフです。 3.テンプレートジェネリックメソッドは、最も柔軟で、ライブラリコードまたは一般的なロジックに適していますが、コンピレーション時間とコードボリュームを増やす可能性があります。コンテキストをキャプチャするラムダは、std :: functionまたはテンプレートを介して渡す必要があり、関數(shù)ポインターに直接変換することはできません。
Cのヌルポインターとは何ですか？
Jul 09, 2025 am 02:38 AM
anullpointerincは、aspocialvalueIndicationating notpointtopointtonyvalidmemorylocation、および炎癥を起こしたことをsusedafelymanageandcheckpointerseforeferencing.1.beforec 11,0orullwasuse、butnownullptrispreredandtypeTy.2
std :: cで作業(yè)をどのように移動しますか？
Jul 07, 2025 am 01:27 AM
std :: moveは実際には何も移動せず、オブジェクトをrvalueリファレンスに変換するだけで、オブジェクトを移動操作に使用できることをコンパイラに伝えます。たとえば、文字列の割り當(dāng)ての場合、クラスが移動セマンティクスをサポートする場合、ターゲットオブジェクトはコピーせずにソースオブジェクトリソースを引き継ぐことができます。ローカルオブジェクトの返卻、コンテナの挿入、所有権の交換など、リソースを転送し、パフォーマンスに敏感なリソースを譲渡する必要があるシナリオで使用する必要があります。ただし、動く構(gòu)造なしでコピーに退化するため、亂用するべきではなく、元のオブジェクトステータスは動き後に指定されていません。オブジェクトを通過または返すときに適切に使用すると不要なコピーを回避できますが、関數(shù)がローカル変數(shù)を返す場合、RVO最適化が既に発生する可能性があるため、STD ::移動を追加すると最適化に影響を與える可能性があります。エラーが発生しやすいことには、まだ使用する必要があるオブジェクトの誤用、不必要な動き、および動機(jī)付け不可能なタイプが含まれます
