[過去ﾛｸﾞ] /**ファイルシステム総合スレ その7**/ (955ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
337: 2007/04/15(日)11:46 ID:oxd97bM6(2/4) AAS
>>334
変な先生ってｱﾅﾀ、滅亡しかけているとはいえトロンの創始者だょ
338(1): 2007/04/15(日)11:53 ID:oxd97bM6(3/4) AAS
>>336
エラー表示が増えたのは確かだろうね。
バグは増えたのではなく、かかれていたものが露呈しただけなワケだけど
同じコードでもassertいれないときはなんとなくうまく動くこともあるんだよね。
もしかして、見えざる神の手によるコンバイル時最適化じゃなかろうか（嘘）
339: 2007/04/15(日)11:55 ID:d2Q38sCM(3/4) AAS
>>338
どっかのスタックが壊れてたりしそうっすねｗ
340(1): 2007/04/15(日)11:57 ID:akjI4/2c(1) AAS
この文脈で坂村先生の話を持ち出すのはおかしいと思う。
どっちかというと、FSのエラーでディスクに誤データが書き込まれる方が「死んだらまずい」に相当するのではあるまいか。
341(2): 2007/04/15(日)12:24 ID:1iaTM/ra(2/2) AAS
>>332 死ねない、それは一理ある。
しかしそれは assertion とは無関係の話。
だって実稼動するバイナリはくときには assert() なんて消えてるでしょ。
多くの実装ではリリースビルドの際に assert() はバイナリ吐かないように
なってるし、プロジェクトによってはログにメッセージを吐いて
何事も無かったかのように通過するような assert() に置き換えられている
ものもある。
342: 2007/04/15(日)12:26 ID:d2Q38sCM(4/4) AAS
>>341
一般的な理想論は敢えてしまいませんか？
343: 2007/04/15(日)12:47 ID:e/AcCsTx(1) AAS
消せと言った側の理屈は、コーディングスタンダードに従えってことでしょ
assertが良いか悪いかとは別の次元の要求
オレ流正義を貫きたいだけの人のコードはマージしないから他所で好きに作って
っていうのは難癖じゃなく真っ当な対応かと
344: 2007/04/15(日)13:05 ID:+g+iSlzK(1/4) AAS
> 消せと言った側の理屈は、コーディングスタンダードに従えってことでしょ
実際と違う
原文読もうよな
345(1): 2007/04/15(日)13:56 ID:+g+iSlzK(2/4) AAS
LKML
外部ﾘﾝｸ:lkml.org
8. Remove all assertions because they clutter the code and make it hard to read
346(1): 2007/04/15(日)15:33 ID:oxd97bM6(4/4) AAS
>>340-341
実働ｼｽﾃﾑではテスト時にうまく動いても、ユーザの予期できない使用でバグが露呈することがある。
しかしいかなる状況であっても制御不能になることは避けなければならない
という言い方をしていたと記憶している。
その意味でassertは使えない、という話だったと思う。
>>345
コード読みにくいから消せってのでは、言い掛かり以外の何者でもないように見えるけど
それほど多くのassertいれてたんだろうか。
347(1): 2007/04/15(日)17:10 ID:lpIFzX7p(1/2) AAS
>>346
手元の奴でこんな感じだな
% zcat ./reiser4-for-2.6.11-3.patch.gz |grep assert |wc
3847 18265 212260
% zcat ./reiser4-for-2.6.17-3.patch.gz |grep assert |wc
3538 15552 179184
もとのパッチが8万行ぐらい
348: 2007/04/15(日)17:14 ID:lpIFzX7p(2/2) AAS
しまった、>>347コメント行排除し忘れた
200行ぐらい減るなあ
349: 2007/04/15(日)17:25 ID:hd/uG6pJ(1) AAS
xfsも山ほどassert入ってるがこれは問題にならんのかね
350: 2007/04/15(日)17:35 ID:ESTrXwKf(1) AAS
しーっ!
351(1): 2007/04/15(日)18:19 ID:zdNxM7OE(1/2) AAS
必要なパラメタチェックは必ずしなきゃ駄目だし、冗長なチェックは意味が無いから消すべきだ。
オレは坂村信者じゃないが、突き詰めていくとassertを使うべきところって実は殆ど無い。
assertなんて曖昧な事するのはプログラマの怠慢だと思う。
ドライバならたとえハードウェアが壊れようと、それが原因で不正な挙動をするようなコードを許すべきじゃないだろう。
352(1): 2007/04/15(日)18:20 ID:MxJYIN/+(1) AAS
>>351
なんていうか、NULLなfpをreadしたりしそうな人ですね。
353: 2007/04/15(日)18:39 ID:zdNxM7OE(2/2) AAS
>>352
ポインタのNULLチェックは必要なチェックの代表格ですよ？
354: 2007/04/15(日)19:05 ID:xr2AL1Zu(1) AAS
外部ﾘﾝｸ[html]:www.linux.or.jpでも読んでおちけつ
355: 2007/04/15(日)19:39 ID:Y9LbL+ge(1) AAS
ぬるぽ
356: 2007/04/15(日)20:47 ID:hy33rfT5(1) AAS
assertが入ってるとその関数がどういうパラメータを許すのかが
一目で分るからいいな、というのが初心者の考えなんだけど
上下前次1-新書関写板覧索設栞歴
あと 599 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s