一時文字列を作成した関数が戻った後も一時文字列が有効なままなのはなぜですか?

一時変数の有効期間を再考

元の質問で提供されたコード スニペットは、一時文字列が foo() によって返されるという一見矛盾した動作を示しています。入場時に破壊されたとされる後でも有効ですbar().

想定に反して、一時オブジェクトは、それを作成した関数が完了しても完全には破棄されません。代わりに、その有効期間は、一時的なものを含む式全体が完全に評価されるまで延長されます。

この概念を説明するために、コードをそのコンポーネントに分解してみましょう。

• 一時的な出力は次のとおりです。 foo() 関数で作成されました。
• 式 foo().c_str() は、out の c_str() メンバーにアクセスし、一時的なconst char* pointer.

C 言語の規則に従って、foo().c_str() によって一時的に生成された const char* は、完全な式 bar(foo().c_str() が完成するまで保持されます。 ）完全に評価されます。これは、foo() の実行が終了した後でもポインターは有効なままであることを意味します。

この動作を視覚化するには、次のタイムラインを想像してください。

|--------------------|-----------|-----------|-----------|
|                    | birth    | funeral    |           |
|                    |  ^^^    |  ^^^^     |           |
|--------------------|           |           |           |
|                     | bar()     |           |           |
|                     |           |           |           |
|--------------------|           |           |           |
|                     |           |           |  evaluated |
|                     |           |           |  bar()     |
|--------------------|           |           |           |
|                     |           | foo()      |           |
|                     |           |           |           |
|--------------------|           |           |           |

一時オブジェクト (文字列 out)および const char* ポインタ) は、式 foo().c_str() が評価されるときに作成され、式 bar(foo().c_str()) 全体が評価されるまで保持されます。評価されました。これにより、関数が文字列にアクセスしようとするときに、bar() に提供されたポインタが依然として有効であることが保証されます。

したがって、foo() によって返された一時的なポインタは、への呼び出し後に破棄されると考えるのは正しいことです。 bar() が完了します。これは一時的なものを含む完全な式の終わりを示します。

以上が一時文字列を作成した関数が戻った後も一時文字列が有効なままなのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。