sizeof(char)が必ず1でも、省略すべきではない

1 名前：デフォルトの名無しさん mailto:sage [2007/08/19(日) 20:06:26 ] malloc(sizeof(char)*(strlen(s)+1)) ではなく malloc(strlen(s)+1) と書くような糞コードばかり見て育った、 悪しき慣習を引きずった人は引退すべし 403 名前：デフォルトの名無しさん mailto:sage [2007/09/14(金) 22:43:11 ] >>402のようなのは警告でないっしょ? 404 名前：デフォルトの名無しさん mailto:sage [2007/09/15(土) 00:03:52 ] でるよ。 405 名前：デフォルトの名無しさん mailto:sage [2007/09/15(土) 00:54:17 ] >>401 俺は何でもかんでもprintf使う方だけど、コレは無いなぁ・・・。 void OutputMessage(char* s) { printf("%s",s); } puts、fputsなんてここ5年ぐらい使ってない。 対話なCUI作るときは(滅多に作らないけど)cursesなことが多いし、 ログ出力は定型で吐くラッパ作ることが多いし、 出力部分をgrepするのに、いちいち正規表現やなんかで色々指定するのダルい。 406 名前：401 mailto:sage [2007/09/15(土) 01:53:37 ] >>405 そのまさかをやる人間が少なくないのですよ。 printfに渡す文字列に対してサニタイジングを行うべし なんて真顔で言う人間までいる。 407 名前：デフォルトの名無しさん mailto:sage [2007/09/15(土) 02:09:08 ] あたしゃprintf("<>")なんてのはやるがね。 408 名前：デフォルトの名無しさん mailto:sage [2007/09/17(月) 16:14:37 ] >>400 一般論だが、 想定外の変なデータにあわせてプログラムを書き換えるというのは たいていあとでほころびが出たりしますよな。 409 名前：デフォルトの名無しさん mailto:sage [2007/09/18(火) 00:01:27 ] ん？　printf("\n") ; 　がだめってことか？ 何で悪いのか判らん・・・ 410 名前：デフォルトの名無しさん mailto:sage [2007/09/18(火) 00:59:50 ] 別にいいと思うよ。 411 名前：デフォルトの名無しさん [2007/09/18(火) 01:10:15 ] かつては、printfをどこかで使ってるなら出力は全部printfにしたほうが、 さらにもう一つputs関数がリンクされてしまうよりも 実行ファイルが小さくなるという効能があったのではないかと思う。 412 名前：デフォルトの名無しさん mailto:sage [2007/09/18(火) 01:37:58 ] >>1 死ね 413 名前：デフォルトの名無しさん mailto:sage [2007/09/18(火) 01:42:07 ] そもそもputsとfputsの挙動が違うのがな 今日の言語設計者は気持ち悪くて、そんなことできないと思う。 414 名前：デフォルトの名無しさん mailto:sage [2007/09/18(火) 03:22:46 ] しょうがない。 もとはと言えば64KB程度のメモリで動いていたマシンのOSと、OSの上で動くプログラムを書くとき、 メモリを節約するために共通コードを関数としてライブラリ化したような代物だから。 415 名前：デフォルトの名無しさん mailto:sage [2007/09/29(土) 23:17:00 ] ところで、sizeof(char)=sizeof(short)=sizeof(int)=2っていう設定のトンデモコンパイラがあるらしい。 一応、C言語の規格上これは間違っていない。（型のサイズは決められてないからね。） 416 名前：デフォルトの名無しさん mailto:sage [2007/09/29(土) 23:39:37 ] kwsk 417 名前：デフォルトの名無しさん mailto:sage [2007/09/29(土) 23:49:13 ] sizeof(char)=2は規格上まずいだろ 418 名前：デフォルトの名無しさん mailto:sage [2007/09/30(日) 00:00:53 ] >>415 >>206 419 名前：デフォルトの名無しさん mailto:sage [2007/09/30(日) 14:43:58 ] もちろん、Cでもsizeof(char)は1だと明確に定められてるから。よろしく。 420 名前：デフォルトの名無しさん mailto:sage [2007/09/30(日) 15:02:18 ] >>415 「だから sizeof(char) は省略すべきではない」という主張？...でもなさそうだな。 このスレタイは「必ず1でも」って条件付きだから関係ないよね。 421 名前：デフォルトの名無しさん mailto:sage [2007/09/30(日) 15:50:12 ] 無次元の1と1バイトって同一視して話していいんだっけ。 422 名前：デフォルトの名無しさん mailto:sage [2007/09/30(日) 16:21:03 ] 数学で毎回全ての問題の全ての数字に （注意：これは10進数） みたいな但し書きをかかれるようなものだろ。 423 名前：デフォルトの名無しさん mailto:sage [2007/09/30(日) 17:20:15 ] 415はsizeof(char)が2になるトンデモコンパイラをはやく晒してくれ 424 名前：デフォルトの名無しさん mailto:sage [2007/10/01(月) 00:01:05 ] 論理1バイトが物理2バイトだったらどうか。 自分でも書いててよくわからんが。 425 名前：デフォルトの名無しさん mailto:sage [2007/10/01(月) 01:23:46 ] >>424 charが、1バイトが、16ビットの可能性はあるかもしれない それでも1バイトは1バイトだ 426 名前：デフォルトの名無しさん mailto:sage [2007/10/01(月) 01:47:50 ] >>419 それどこに書いてる？ ISOかJISの規格票のどちらかでいいから教えて 427 名前：デフォルトの名無しさん mailto:sage [2007/10/01(月) 02:04:21 ] >>426 ISO/IEC 9899とか。 ついでにググったらすぐ出てきた 6.5.3.4 The sizeof operator の抜粋な 2. The sizeof operator yields the size (in bytes) of its operand.... 3 When applied to an operand that has type char, unsigned char, or signed char, (or a qualified version thereof) the result is 1. 428 名前：デフォルトの名無しさん mailto:sage [2007/10/01(月) 02:22:05 ] なるほど さんくす 429 名前：デフォルトの名無しさん mailto:sage [2007/10/13(土) 20:00:42 ] >>415 > ところで、sizeof(char)=sizeof(short)=sizeof(int)=2っていう設定のトンデモコンパイラがあるらしい。 > 一応、C言語の規格上これは間違っていない。（型のサイズは決められてないからね。） それどこが出してる？ 製品名と会社のweb siteのどちらかでいいから教えて 430 名前：デフォルトの名無しさん mailto:sage [2007/10/13(土) 21:04:48 ] >>429 ひょっとしたら、sizeof(char*)=sizeof(short*)=sizeof(int*)と完治害してんじゃね？ 431 名前：デフォルトの名無しさん [2008/01/21(月) 00:49:50 ] 未だにsizeof(char)を書いてる人っているの？ 432 名前：デフォルトの名無しさん mailto:sage [2008/01/21(月) 01:54:36 ] javaのcharは2バイトって聞いたぜ。 …どうでもいいか。 433 名前：デフォルトの名無しさん [2008/01/21(月) 19:55:24 ] Cプログラマの為に、ポイントをまとめたドキュメントを販売しています。 プロのプログラマでもあまりにレベルが低い人が多すぎます。 そんな人に限って、自分のレベルの低さを自覚していない、、、 本人は構わないかもしれませんが、その下についた新人プログラマは たまったものではありません。（私が経験しました。） 今になって分かりました。 彼らもまた、理解できていなかったのです。 プログラミング言語の一番の習得の近道はきちんと理解している人にアドバイスをもらうこと。です。 （何といったって、参考にしようとする市販の本さえ、　きちんと説明してくれていないのですから、 　その証拠にC言語の学習で悩む人がどんなに多いことか） 私のC言語に取り組んだ7年間をすべてぶつけたつもりでテキストを作りました。 私の会社の後輩からは、どんなテキストよりもわかりやすかった！や、 今まで教えてくれていた先輩や、テキストたちが、ちゃんと理解できていないことがわかりました。 と、嬉しいコメントをたくさんもらいました。 そしてなにより、彼らの社内での評価がとても高いということが、私の誇りです。 宣伝と言ってしまえば、そうなってしまうかもしれませんが、ひとりでも多くのプログラマを救いたい。 プログラムの世界そのものの実力を底あげに貢献し、 無意味なバグに、残業したり、悩んだりして欲しくないのです。 興味がある方はどうか、下のサイトをみてみてください。 mori.eco.to/ 434 名前：デフォルトの名無しさん mailto:sage [2008/01/21(月) 20:09:56 ] >コンピュータの専門学校に入学、在学中に情報系の国家試験である、基本情報処理技術者、ソフトウエア開発を取得。 専卒かよ。 435 名前：デフォルトの名無しさん mailto:sage [2008/01/22(火) 00:51:04 ] >>433 ブラクラ注意 436 名前：デフォルトの名無しさん mailto:sage [2008/01/23(水) 02:12:26 ] 専門学校ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ 437 名前：デフォルトの名無しさん mailto:sage [2008/02/28(木) 13:45:03 ] >>431 templateで間接的になら 438 名前：デフォルトの名無しさん mailto:sage [2008/03/04(火) 17:38:06 ] sizeof (TCHAR)で間接的になら 439 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 00:22:32 ] >>435 おいおい、ブラクラではなかったぞ。 >>434 学歴は関係ないと思う。 8,800円払って中身みたわけではないのだが、 大学の教授が書いているC言語入門書にも、 とんでもなく酷い本があるのだから、 もはや学歴や肩書きは関係ないと思うのよ。 BASIC時代のPRINTをそのまま引きずった、 printf("Hello, world\n"); なんてのが平然と書かれている本を見るたびに、 こんなので勉強したら無駄な時間を食うのは当然だなと思うし。 440 名前：デフォルトの名無しさん [2008/03/21(金) 02:42:30 ] >>439 Hello,worldは基本中の初歩であって これをバカにする理由が思い当たらないんだが 441 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 02:51:38 ] puts("hello world"); ってやるべきってこと？ 442 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 03:12:25 ] そんなことを言い出したらフォーマット文字列の中に 足がすくんじゃって何も書けなくなってしまうわけだが 443 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 03:17:33 ] 正統派の基本を馬鹿にするのは新しいまがいものを売るときの基本 結局同じことの繰り返しになるわけだが 444 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 03:35:57 ] 30年間でほとんど進歩してないな。 マイクロソフトの新しいバージョンのVisual C++が出る度に、まっさきに、 Visual C++ バージョンほげほげ対応 という冠を付けた本が出るのだが、 いまだに本編は相変わらず昔のままで、付録的に コンソールで cc hoge.c とやってコンパイルするのと同等のことをやる方法を ちょろっと書いているだけで、Visual C++のデバッガの使い方を説明せず、 変数の値をprintfを埋め込んで標準出力に出して確認することを第一に教えている。 445 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 03:39:09 ] >>442 それが正しい。 printfの第一引数が書式化文字列であるとういことを初手から叩き込むべき。 printf("%s\n", "hello, world!"); これくらい、わざとらしくやってもいいくらいだ。 そうでもしないと、↓みたいなことをやるマヌケが出てくるからな。 void print_message(const char *p) { printf(p); } 446 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 16:48:42 ] 中身をみないで擁護できるのは本人だけ。 447 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 17:00:16 ] 入門書の何が問題かというと、「ポインタがわかりません」なんて人を今だに量産していること。 しかも、そこに書かれていることが、次の段階の本で否定されていたりする。 448 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 21:15:11 ] >>439 どうやって文字列が表示されるのかを勉強している身としてはとてもバカにできない内容なんだが、 どういう内容を載せるべきだと言ってるのか教えて欲しいな。 449 名前：デフォルトの名無しさん mailto:sage [2008/03/21(金) 22:15:53 ] printfは、C言語の仕様の一部ではあるものの、ライブラリの一関数に過ぎない。 printfやscanfの使い方は、ライブラリのマニュアルを読めばわかることであって、 入門書で解説すべきなのは、それらの使い方ではなく、 マニュアルを読めばわかるようになるための必要な前提知識である。 ってなことを頭の片隅に置いて聞いて欲しい。 hello, worldのサンプルなんだけど、なんかC言語っぽくないんだよね。 短くてエッセンスが凝縮されているサンプルが思いつかないんだけどさ。 >>448 > どうやって文字列が表示されるのかを勉強している C言語とはあまり関係ないなぁ。 ライブラリがOSのシステムコールを呼んで、あとはOSが処理してる。 450 名前：デフォルトの名無しさん mailto:sage [2008/03/22(土) 05:04:58 ] CもようやくOSを意識しないでプログラムを組める時代になったのか 451 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 03:19:41 ] >>450 ないよ。 452 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 03:37:29 ] >>445 という以前に、フォーマット文中に誤った引数が指定できて、しかも その間違いがコンパイラでも内部処理でも検知できないっていう printfの仕様上の欠陥があるわけで、そもそもprintfを使うことそれ自体が NGだという話になるんじゃないの？ 453 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 04:14:43 ] それを言いはじめたら、標準ライブラリの多くの文字列がらみの関数がNGになるよ。 たとえばstrcpyがバッファオーバーランしうる、とか。 そもそも、 今さらC言語を使わないといけない、しかも、習得するプログラミング言語の最初がC言語でなければならない っていう状況に閉じ込められた時点で、その人は終わっていると思う。 454 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 11:02:22 ] 除算も同じ意味でNGだな 455 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 12:01:53 ] プログラム言語だけでプログラムが動くわけじゃないからな 456 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 14:37:08 ] >>454 除算は「検知」はできるでしょ？ まあ、言いたいことはわかるけど。 457 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 17:53:21 ] printfの引数不正も検知できますよ。 除算よりは面倒ですが。 458 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 18:20:34 ] どうやって? 459 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 19:20:51 ] printfの呼び出し元で実引数の型情報を渡すようにinstrumentする。 460 名前：デフォルトの名無しさん mailto:sage [2008/03/23(日) 19:33:19 ] なるほど。 大変だな。 そこまでしてCを使うのは。 461 名前：デフォルトの名無しさん [2008/03/24(月) 21:13:13 ] >>460 そうだよ。 だから、Cを使うということはそのあたりの危険性と利便性をトレードオフする 考え方をもたないと駄目です。 やたら安全性をどうこう言っててもprintf使うだけでもう台無しです。 462 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 21:18:20 ] もう、かまってチャンは卒業しなよ 463 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 21:39:43 ] やっぱり>>453だよな。 いまさらC言語入門なんて。 464 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 21:48:43 ] だからバカはC言語使わないでください。おねがいします 465 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 22:04:12 ] バカなのでC言語しか使えません。 他の言語は難しすぎて。 466 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 22:40:59 ] Java だって + と - 間違えたら間違った計算結果が出てくるわけで・・・ 467 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 22:59:48 ] 間違えることのでき、なおかつ、それを機械的に検出できない箇所の数が、道具によって変る っていう話しなんだよ。 468 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 23:18:09 ] たんによくあるセキュリティ的な話でそ。 Java で間違ったものを toString() しても機械が気付くわけでもなし。 469 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 23:46:10 ] >>468 セキュリティに限らず、いかにバグの入り込む余地を減らすか、ってこと。 余地が少なければ、バグの有無を確認するための工数が減るわけよ。 470 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 23:55:12 ] まあ、コンパイル時にチェックできるところはやるのは当然として、 実行時のチェックは性能とのトレードオフもあるから、Ｃは今ぐらい で丁度いいと思う。 471 名前：デフォルトの名無しさん mailto:sage [2008/03/24(月) 23:59:58 ] いろいろチェックしたらJavaと同じことをやることになって、Javaよりも遅くなったりしてね。 472 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 00:35:28 ] Cは機械寄りだから技術者以外には使えないのは当然だと思う。 473 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 15:13:05 ] >>469 まだわかってないな。 ＞バグの入り込む余地を減らすか という観点では、printf が他の関数等よりもバグ発生契機が多いとは言えないだろう、 と言ってるわけ。もちろんセキュリティに関しては全く別だよ。 実際 gcc は printf("name=%s, qty=%d\n", qty, name) に warning だしてくれるけど、 Java は WriteLine( "name="+qty.toString()+"qty="+name) をスルーする。 printf でチェックが必要なら他のどの方法でもやはりチェックが必要。 漏れは LISP 使いだし出力は全て内部構造のままS式で出すよ、という人は別だけど。 474 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 15:27:34 ] >>473 printfに限った話ではないし。 int height ; int weight ; 中略 height = weight ; こういうのを機械的に検出できるかどうかは、 微々たる事ではあるが、 ソフトウェアの規模が大きくなってくると重要よ。 475 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 15:49:47 ] >>474 だからそれが printf とどう関係するんだよ、という話。 「限った話ではない」ではなく、全く関係のない独立した話ですよ。 >>469なんか、まるで printf の仕様がバグ発生契機を増やすかのように さぞもっともらしいことを書いているが、ではどの処理系でどう書けば引数の 取り違えによるバグを避けられるかは一切提示していない。 >>474に至っては、printf の仕様の問題点については一切語らずに、 「に限った話ではない」との一言で、あたかもprintfに他の同等の処理よりも 多くの問題点があるかのようにほのめかしている。 printf に問題があるなら、プログラマなんだからもっとストレートフォワードに この処理系のこういう書式化指定法ならバグが減る、と実例を出して批判して。 476 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 16:20:46 ] yosoでやれ 477 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 16:46:28 ] >>475 仮にprintfが他よりバグ発生契機が多いとは言えないとして、 それで一体お前は何を主張したいんだ？ printfフェチ？ 478 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 17:26:31 ] 不当にCを貶めようとしてるヤツに怒ってるんじゃないの？ 479 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 17:27:18 ] そんな奴いたか？ 480 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 18:27:14 ] >>475 引数の順序などを取り違える ことと、 書式化指定文字列での型指定を間違える ことを分けて考えようぜ。 481 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 22:31:54 ] >>474 どうでもいいけど、 > int height ; > int weight ; > 中略 > height = weight ; > こういうのを機械的に検出できるかどうかは、 これは一体何が言いたいんだ？ 482 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 22:35:59 ] 話を発散させるためなら内容なんてなんでもいいんだぜ？ 483 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 22:37:15 ] >>479 >>467 >>469 >>474 484 名前：デフォルトの名無しさん mailto:sage [2008/03/25(火) 22:52:23 ] >>481 たぶん>>467だと思う。 485 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 08:04:24 ] >>484 具体的に>>474のどこが間違いで、何が機械的に検出できないんだ？ 486 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 09:10:16 ] 高さを表わすint型の値と重さを表わすint型の値は、 型は同じだけれども、値の意味が違う。 だから、 height = weight ; のような代入は、 C言語の言語仕様的には間違っていないが、 プログラムの意味的には間違っている。 それを機械的に検出できないとは言ってない。 工夫して検出可能にすることもできる。 工夫して検出可能にするか、 あるいは、 小細工せず検出不可能のままにするかは、 自由だ。 ただ、ソフトウェアの規模が大きくなってくると、 「人間が注意してコーディングして、しっかりテストすればいいんだ」 なんて言ってられなくなるので、 機械的に検出できるものは検出しよう、ということになるわけ。 487 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 09:28:17 ] >>486 そのプログラムの「意味」というのには、 　ソースが英語で書かれてる というのが大前提としてあるよね。 仮に、heightが横幅でweightが縦幅を意味する言語があったら、 そのプログラムの「意味」は全く正しいということになる。 488 名前：474 mailto:sage [2008/03/26(水) 09:55:54 ] >>487 このスレを読み書きしている人で、 heightとweightが英語だと理解しなかった人がいたら、 手をあげて欲しい。 そういう人がいたなら、次からは何か改善するよ。 489 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 10:02:53 ] height = weightを機械的に検出しなきゃいけないってどんだけｗ なんのための変数名だよ 490 名前：474 mailto:sage [2008/03/26(水) 10:25:44 ] 例がわかりやすいように、わざと豪快に間違ったコード片を書いた。 ここまで豪快なミスは少ないだろうが、このタイプのミスをしたことの ある人はいるでしょう? 491 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 10:37:20 ] その手の間違いでNASAの火星探査が失敗したってニュースがあったような 492 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 10:37:42 ] >>488 問題は人間じゃなくて、機械がそれを英語かどうかを判断できないってこと 493 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 10:41:07 ] >>488 例えば、heightをheiと省略したらその「意味」は通じなくなるし、 他にもhaightとミスタイプしたら通じなくなる。 494 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 10:43:10 ] >>491 そりゃデバッグが足りなかっただけで、 それを言語仕様のせいにするのはちゃんちゃらおかしいだろｗ 495 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 11:27:35 ] そこでアプリケーションハンガリアンですよ。 local.joelonsoftware.com/mediawiki/index.php/%E9%96%93%E9%81%95%E3%81%A3%E3%81%9F%E3%82%B3%E3%83%BC%E3%83%89%E3%81%AF%E9%96%93%E9%81%95%E3%81%A3%E3%81%A6%E8%A6%8B%E3%81%88%E3%82%8B%E3%82%88%E3%81%86%E3%81%AB%E3%81%99%E3%82%8B 496 名前：474 mailto:sage [2008/03/26(水) 11:34:13 ] >>492 >>493 貴方達が人工知能的なアプローチしか頭にないのは、わかった。 俺らはtypedefを使ってコーディングして、それを機械的にチェックする。 497 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 11:47:31 ] >>494 そういう考え方だと大きなプログラムのデバッグは大変だな。 498 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 13:11:47 ] 機械的ってのはコンパイラが検出という意味ではないのか。 TypedWidth redBoxWidth; TypedHeight redBoxHeight; 　　: TypedWidth blueBoxWidth = redBoxHeight; TypedWidth GreenBoxWidth = (redBoxWidth + redBoxHeight) / 2 とかコンパイルエラーになったら途方に暮れるもんな。 幅と高さは、型を分ける必要は感じないな。 熱量と体積とか、加速度と質量とかなら、型を分けて演算や代入に制限を加えるのは望ましいと思う。 499 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 14:48:04 ] heightとweightの話をしてるのに気づかない人がいた 500 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 15:59:06 ] >>496 >474に出てくる変数はすべてint型ですが？ 少なくとも、今の話題にtypedefは関係ないよね。 それはまた別の話。 >>497 というかさ、コンパイラにプログラムの意味を解釈させるというのは、全く現実的な話じゃないわけさ。 プログラマの意図する「意味」とコンパイラの意図する「意味」の整合性を保つのがどれだけ大変かわかってるの？ テストを行う方が圧倒的に簡単だし、 そもそも俺には「コンパイラに意味を解釈させれば論理エラーが減る」 という考え方の方がよっぽどデバッグを大変にすると思うんだよね。 >>499 そこで質問なんだが、なぜ重さを高さに代入してはいけないの？ BMI指数なんかは、体重/身長^2 で計算するんだがこれは論理エラーなのか？ 超体重理論の公式が、高さ＝重さ*2.5 だった場合はどうなんだ？ 他にも、例えば Tundere = Deredere はエラーになるのか？ Yandere = Tundere の場合はどうなのか？ 501 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 17:07:34 ] >>500 >BMI指数なんかは、体重/身長^2 で計算するんだがこれは論理エラーなのか？ BMI指数の次元が 重さ/長さ^2 であるってだけのことだなぁ。 >超体重理論の公式が、高さ＝重さ*2.5 だった場合はどうなんだ？ それはきっと次元を持つ比例定数が省略されてるな。（超体重理論って何？） PV=nRTのRみたいな。 502 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 17:19:08 ] www.boost.org/libs/mpl/doc/tutorial/dimensional-analysis.html C++なら次元解析なんかメタプログラミングで独自の型システム構築すればいいだけなのにね！ 503 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 17:19:45 ] >>501 例えば、PV=nRT で V=1, nR=1 なら簡略化して P=T と書けるよね。 つまり、pressure = temperature、圧力 = 気温 となるわけだ。 これは正しいんだよな？ そこで何度も同じ事を聞いて申し訳ないんだが・・・ なぜ height = weight が絶対に間違いだと言い切れるんだ？ どうして重さを高さに代入するのが「論理エラー」になるんだ？ 比例定数1が隠されてる可能性は絶対にないと言い切れるのか？

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef