[過去ﾛｸﾞ] C++相談室 part130 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
438(1): (ﾜｯﾁｮｲ 0baa-BUW4) 2017/06/10(土)23:22 ID:xSl9wCDP0(3/3) AAS
たぶん、あいまいなのは、規格が抽象的な表現で書いているからだろ。
いざ具体的な事例を出した場合に、それが正しいのか悪いのか、簡単には分からない
だから、MISRA-C みたいな解釈・説明書が必要になる
型変換のルールでも、潜在型とか、そういう用語を定義して、
わかりやすく説明している
法律でも、最高裁の判例を、数十年研究して解釈している。
それでも判事が7対6で、ひやひやもので決まった判例もある。
数年後に判断したら、結論が変わる
規格の抜け穴・論理矛盾などを研究するには、数十年かかる。
規格書を読んで、分かるようなものじゃない。
省1
445: (ﾜｯﾁｮｲ 859a-1pl6) 2017/06/11(日)09:54 ID:IXRoGBtM0(1) AAS
>>438
MISRA-C はどこで読めるのか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.892s*