C++相談室 part161

**デフォルトの名無しさん** · 2022/05/21(土) 21:23:29.59

前スレ
C++相談室 part160
https://mevius.5ch.net/test/read.cgi/tech/1649979572/

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/21(土) 21:24:45.56

>>1
乙

**デフォルトの名無しさん** · 2022/05/21(土) 21:44:08.96

C（ちんちん）+（ぷら）+（ぷら）

**デフォルトの名無しさん** · 2022/05/22(日) 00:57:58.97

おいおいまだ続けんのかよ！

**デフォルトの名無しさん** · 2022/05/22(日) 03:20:20.13

ODRってC++処理系の仕様？
処理系はODRの記述を含まない仕様だけあればその通り作ったら
合理的な手間で検知可能な範囲のODR違反コードをエラーにする
ふるまいになるというのが当然で、つまりODRは仕様の結果であってODRを仕様に含めるのは論理的に冗長という印象

どっちかというとODRは正しく動くためにプログラマーが従わねばならないルール、という認識やったわ、
この観点ではinlineがODRの例外というのは例外も糞もなくてそんなプログラムは書いたらあかんからODR違反
コンパイラが合理的な手間でそれを検出できなかったり、それがあってもコードの動きに破綻が無いこととは関係無い
的な、

**デフォルトの名無しさん** · 2022/05/22(日) 09:08:20.74

ちんちん！シュッ！シュッ！シュッ！

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/22(日) 09:12:58.50

>>5
One definition rule は仕様に項目がある。
https://timsong-cpp.github.io/cppwp/n3337/basic.def.odr

インライン関数は同じアドレスを持つ (事実上統合することの要求) というのも仕様にある動作。
https://timsong-cpp.github.io/cppwp/n3337/dcl.fct.spec

no diagnostic と書いてある部分については (可能であれば処理系も検出するけど) どちらかというとユーザに対する要求というニュアンスはあるかも。

**デフォルトの名無しさん** · 2022/05/22(日) 19:47:14.24

有料無料関係なしで最高のIDEってなに？