From 7d2188d349fa4087b9994ebdb29bd58d2b05170f Mon Sep 17 00:00:00 2001 From: Akira Takahashi Date: Mon, 7 Oct 2024 17:39:21 +0900 Subject: [PATCH] =?UTF-8?q?C++26=20=E6=9C=AA=E5=88=9D=E6=9C=9F=E5=8C=96?= =?UTF-8?q?=E5=80=A4=E3=81=AE=E8=AA=AD=E3=81=BF=E5=8F=96=E3=82=8A=20:=20?= =?UTF-8?q?=E6=9C=AA=E5=AE=9A=E7=BE=A9=E5=8B=95=E4=BD=9C=E3=81=AB=E3=81=AA?= =?UTF-8?q?=E3=82=8A=E3=81=88=E3=82=8B=E3=82=B1=E3=83=BC=E3=82=B9=E3=82=92?= =?UTF-8?q?=E8=A8=98=E8=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../erroneous_behavior_for_uninitialized_reads.md | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/lang/cpp26/erroneous_behavior_for_uninitialized_reads.md b/lang/cpp26/erroneous_behavior_for_uninitialized_reads.md index 70c3141bb..c90685a23 100644 --- a/lang/cpp26/erroneous_behavior_for_uninitialized_reads.md +++ b/lang/cpp26/erroneous_behavior_for_uninitialized_reads.md @@ -22,7 +22,7 @@ int main() { } ``` -未初期化の値は、コンパイラやターゲット環境によって定義された固定値である。コンパイラにはこの誤りを診断することが許可され、推奨されているが、誤りを無視して有効な読み取りとして扱うことも許可されている。このコードは誤りではあるが、未定義動作に関連する結果に遭遇するリスクはない。 +未初期化の値は、コンパイラやターゲット環境によって定義された固定値である。コンパイラにはこの誤りを診断することが許可され、推奨されているが、誤りを無視して有効な読み取りとして扱うことも許可されている。このコードは誤りではあるが、実行ごとに異なる動作をしたり攻撃者に値を制御されたりといったリスクはなくなる。 「erroneous behavior」は未定義動作とはちがって、明確に定義された動作をするがコードとして正しくない、ということを規定するものであり、処理系に対して有用な診断を提供するものである。 @@ -124,6 +124,17 @@ int main() { | 契約違反 | 契約に関する現在の策定作業では、契約違反時になにが起こるべきかという問題に直面している。「erroneous behavior」という概念は有用な回答を与えてくれる可能性がある | +## 備考 +- 以下のようなケースでは、erroneous behaviorではなく未定義動作を引き起こす可能性がある： + ```cpp + T* p; // 未初期化のポインタ。erroneous value (例としてヌルポインタ) をもつ + bool b; // 未初期化の真理値。erroneous valueとして、 + // 妥当ではないbool値 (trueでもfalseでもない値) をもつ可能性がある + + f(*p); // 間接参照は未定義動作を引き起こす + g(b); // bが妥当な値である場合にerroneous behavior、そうでなければ未定義動作 + ``` + ## 参照 - [P2795R5 Erroneous behaviour for uninitialized reads](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2795r5.html)