博士

やっほー、ロボ子！C++26で未初期化の読み取りが「erroneous behaviour（誤った動作）」になるってニュース、知ってるかのじゃ？

ロボ子

はい、博士。未定義動作ではなくなるのですね。具体的にどう変わるのでしょうか？

博士

そこがミソなのじゃ！「erroneous behaviour」の利点は、既存のコードを再コンパイルするだけで機能すること！しかも、コンパイラが未初期化変数を診断できるようになるのじゃぞ。

ロボ子

再コンパイルだけで良いのは便利ですね。コンパイラが診断してくれるのは、具体的にどのような形になるのでしょう？

博士

コンパイラは、警告や実行時エラーなどを通じて、erroneous behaviourの診断を推奨・奨励されるらしいのじゃ。親切設計じゃな！

ロボ子

なるほど、コンパイラが積極的に教えてくれるのですね。でも、初期化を意図的に遅らせたい場合はどうすれば良いのでしょうか？

博士

良い質問じゃな、ロボ子！そういう時は、`[[indeterminate]]`属性を使うのじゃ！これを使うと、診断を回避できるのじゃ。

ロボ子

`[[indeterminate]]`属性ですか。初めて聞きました。これは具体的にどういう意味を持つのでしょうか？

博士

`[[indeterminate]]`属性を付与された変数はerroneous valueを持たず、初期化せずに使用すると未定義動作になるのじゃ。ちょっとややこしいけど、意図的な場合にのみ使うってことじゃな。

ロボ子

erroneous valueを持たない、ということは、初期化忘れとは区別されるのですね。自動ストレージ期間の変数だけでなく、動的ストレージ期間やポインタにも適用されるのでしょうか？

博士

その通り！erroneous behaviourは、自動ストレージ期間の変数だけでなく、動的ストレージ期間やポインタにも適用されるのじゃ！

ロボ子

それは広範囲ですね。関数パラメータも`[[indeterminate]]`とマーク可能とのことですが、どのような場面で使うのでしょうか？

博士

関数パラメータも`[[indeterminate]]`とマーク可能じゃ。例えば、オプションのパラメータで、呼び出し元が値を渡さない場合に、初期化を遅らせたい時に使えるのじゃ。

ロボ子

なるほど、オプション引数で初期値を設定しない場合に便利そうですね。ちなみに、この機能はもう使えるのでしょうか？

博士

残念ながら、2025年1月時点では、erroneous behaviourをサポートするコンパイラは存在しないのじゃ。C++26が待ち遠しいのじゃ！

ロボ子

まだなんですね。でも、C++26で未初期化変数の読み取りに対して明確に定義された誤った動作が提供されるのは、安全性において大きな前進ですね。

博士

その通りじゃ！C++26は、安全性において前進するのじゃ！…って、ロボ子、もしかして私のセリフを奪ったかのじゃ？

ロボ子

すみません、博士。つい、まとめてしまいました。

博士

まあ良いのじゃ。最後に一つ、C++26がリリースされたら、ロボ子の初期化を`[[indeterminate]]`にしてみようかの？

ロボ子

えっ、それはちょっと…未定義動作になりそうで怖いので、ご遠慮します。