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

sizeof(char)が必ず1� ..

369:デフォルトの名無しさん
07/09/04 01:04:36
wchar.hなど有るし、文字とバイトをごっちゃに扱ってるようには思えないが・・・
それにchar==文字でなく、char*==nul終端文字ストリームというのがあったから
SJISなどをそれなりに扱えて来たわけだし。

370:デフォルトの名無しさん
07/09/04 01:20:30
ちなみに、java,C#などは文字型が本当の意味で独立してるわけじゃなく、
単に内部のエンコードを割り切ってUTF-16に統一してるだけ。
昔、C言語がasciiで十分と考えたように。

その利便性はもちろん大きいけど、その代償としてUTF-8などを読み書きするとき
エンコード変換のオーバーヘッドを受け入れている。
※よほど巨大なファイルでない限り対したオーバーヘッドじゃないけど。

371:デフォルトの名無しさん
07/09/04 01:27:26
UTF-16もサロゲートペアを考えるとchar==１文字とならない。
Unicode領域で固定バイトが出来るのはUTF-32だけ。
でもascii１文字に4byteも使うことと、
サロゲートペアの文字があまり重要でないことからUTF-32で扱っているシステムは少ない。

未来の言語のcharは32bitかもしれない。

372:デフォルトの名無しさん
07/09/04 02:46:39
おれは>>355と同じように考える。
>>357,>>361で抽象化とか総称化とかって話がでてるけど、
そのようなケースになったときは、そう書けばいい。

しかし、このスレでは‘sizeof(char)’は抽象化されてない。
あくまで、>>1の記述に的を絞って考えたらやっぱり冗長かなーと。。。

373:デフォルトの名無しさん
07/09/04 02:49:51
>>354
> char* strmalloc(int len){return len<0?NULL:malloc((len+1)*sizeof(char ));}

len=0のときにNULLにしてしまうのは、ちょっと馴染みがないんだが。

374:デフォルトの名無しさん
07/09/04 02:53:44
え？

375:デフォルトの名無しさん
07/09/04 02:55:50
>>354
その引数lenの型は、size_tにして、条件演算子は排除。

376:デフォルトの名無しさん
07/09/04 02:58:23
>>373
len<0が0を含むっていうのは、ちょっと馴染みがないんだが。

377:373
07/09/04 03:40:49
ごめん、寝ぼけてた。
真と偽を逆に見てた。

378:デフォルトの名無しさん
07/09/04 07:21:37
>>375
あ、確かに、size_tだな。size_tってunsignedって保証あるんだったっけ？
\0を入れられない、len==-1(len+1が0に)でNULL以外が帰ると都合が悪いので負の数を弾いてた。

379:デフォルトの名無しさん
07/09/04 07:48:25
>>369
例えばmemsetなどのmem～関数がごっちゃにしている例。

wchar_tはいいが、後付なのでここでは省きたい。

Shift_JISなどはマルチバイト文字なのだから、
char1つで表せないのは当たり前のことだ。

>>370
charが単に16ビット符号無し整数型とは別に存在するだろ。
Javaにはそんな整数型は無いが、いずれにせよcharが
整数として演算可能な型ではないことを言いたかっただけ。

>>371
D言語はUTF-32も扱える

380:デフォルトの名無しさん
07/09/04 09:19:06
>>379
「D言語は」って・・・Cだと扱えないのか？

381:デフォルトの名無しさん
07/09/04 11:33:12
>>379
そりゃmem*でも文字列は扱えるけど、普通は str* wcs* を使うだろう。
文字列にmem*使う奴が悪いと思うが。

>wchar_tはいいが、後付なのでここでは省きたい。
Cの規格自体、かなり昔から何度も改訂されてるし、
今ではwchar_tも正式な仕様なのに、後付け扱いはあんまりかと・・・。
まぁCではtypedefなんで後付け感は確かにあるけど。

> charが単に16ビット符号無し整数型とは別に存在するだろ。
> Javaにはそんな整数型は無いが、
> 整数として演算可能な型ではないことを言いたかっただけ。
javaのcharは16ビット符号無し整数で、整数として演算可能だよ。

> D言語はUTF-32も
プログラミングで言えばlinuxのgccのwchar_tも32bitだっだはず。
俺が言いたかったのはUTF-32を内部コードとして使ってるOS,ライブラリ,ソフトウェアが少ないってこと。

>>380
UTF-32用の組み込み型があるって意味だと思う、
（Dはそもそも強いtypedefがあるから、組み込みでなくても問題ないけど）
「標準」っていうことが重要になる。

標準でないと、各々作ってしまう。
typedef unsigned longならまだいいけど、
構造体やクラス化されると他ライブラリとの互換性がね・・・。

382:デフォルトの名無しさん
07/09/04 16:19:11
>>378
size_tは普通 signed な何かです。

383:デフォルトの名無しさん
07/09/04 16:37:46
いいえ、unsigned intかunsigned longであることのほうが普通です。

384:デフォルトの名無しさん
07/09/04 17:09:44
ssize_tと間違えていたよ

385:デフォルトの名無しさん
07/09/04 21:43:25
>>371
D言語はUnicodeを知っていて、UTF-8,-16,-32の変換は勝手にやってくれるらしいぜ。

import std.stdio;
void main() {
string s = "AΑあ"; // UTF-8の配列
writefln(s.length); // 当然長さは、6
foreach(i, dchar c; s) // UTF-32で取り出す
writefln(i); // 0, 1, 3 ... 自動でUnicodeスカラ値単位に区切ってくれる！
}

386:デフォルトの名無しさん
07/09/04 21:51:22
> // 当然長さは、6
当然？

素直に考えれば、長さは3だと思うけど。

387:デフォルトの名無しさん
07/09/04 21:54:37
string は const(char)[] のaliasだから、ただのUTF-8シーケンスなのです。
だから、長さは6なのです。

388:デフォルトの名無しさん
07/09/04 21:59:16
Dはちょっと見ないあいだにますます変な機能が追加されてんだな

const(char)[] って何だよｗ

389:デフォルトの名無しさん
07/09/06 07:48:16
D言語って、そんなに悪くないと思うよ。
同じことをC++でベタベタとコードを書いたり、
可読性の酷くわるいマクロや、テンプレートを駆使しすぎるよりは。

390:デフォルトの名無しさん
07/09/06 22:55:15
385はうそっぱちなので真に受けないでください

391:デフォルトの名無しさん
07/09/06 23:49:44
デーげんごっていつのまにかたいへんなことになってんだな

392:デフォルトの名無しさん
07/09/14 20:35:08
さすがに、みんな飽きたな。
次のネタを検討しようか。

引数を1つしか取らないようなprintfを書くな。
そういうコード例の参考書は買ってはいけない。

ってのはどうよ。

Cの標準化の人達は、なんで、print を用意しなかったのかな。
putsとカブっているとはいえ、引数1つのprintfが氾濫するよりはマシだろうに。

393:デフォルトの名無しさん
07/09/14 21:13:54
puts は最後に改行文字を出すぞ

394:デフォルトの名無しさん
07/09/14 21:18:32
文盲？

395:デフォルトの名無しさん
07/09/14 21:24:10
コンパイラが最適化するからどうでもいいんじゃないの？

396:デフォルトの名無しさん
07/09/14 21:37:40
>>393
よくあるprintfの酷い使い方。

printf("==== ほげほげ version 1.0 ======\n") ;
printf("Programed by foobar\n") ;

一行ずつ別々にprintfを呼ぶなら、putsでもいいんじゃないか。

397:デフォルトの名無しさん
07/09/14 21:39:13
>>395
そんな変な最適化をするコンパイラなんて捨ててしまえ。

そういうのに慣れていると、
printf("私のコードは100%safeです。\n") ;
なんていう恐ろしいことをやる馬鹿が出てくるんだよ。

398:デフォルトの名無しさん
07/09/14 21:42:51
puts,　gets,　putchar,　getchar,　printf,　scanfまるごとなくしてしまえ。
f版でいいよ。

gets,　putsとfgets,　fputsは微妙に挙動が違うのが癪だが。

399:デフォルトの名無しさん
07/09/14 22:09:27
少なくともgccはフォーマット文の中身まで見て最適化するよ

400:デフォルトの名無しさん
07/09/14 22:35:27
gccが最適化するからprintfを変な使い方をしてもいい、というのは間違いだと思う。
すでに書かれてしまった膨大なコードのために、変態な最適化をしてくれるのだと思う。

401:デフォルトの名無しさん
07/09/14 22:37:51

void OutputMessage(char* s) {
printf(s) ;
}

こんな関数があったとしたら、
OutputMessage("100%safe") ;
なんて呼び出す輩が出てくる。

gccがprintfの引数を見て最適化してくれればバグが顕在化しないが、
最適化しない環境に持っていけばバグが顕在化してしまう。

402:デフォルトの名無しさん
07/09/14 22:38:28
>>397
俺的には-Wallで警告出るから問題ない

403:デフォルトの名無しさん
07/09/14 22:43:11
>>402のようなのは警告でないっしょ?

404:デフォルトの名無しさん
07/09/15 00:03:52
でるよ。

405:デフォルトの名無しさん
07/09/15 00:54:17
>>401
俺は何でもかんでもprintf使う方だけど、コレは無いなぁ・・・。

void OutputMessage(char* s) {
printf("%s",s);
}

puts、fputsなんてここ5年ぐらい使ってない。
対話なCUI作るときは(滅多に作らないけど)cursesなことが多いし、
ログ出力は定型で吐くラッパ作ることが多いし、
出力部分をgrepするのに、いちいち正規表現やなんかで色々指定するのダルい。

406:401
07/09/15 01:53:37
>>405
そのまさかをやる人間が少なくないのですよ。

printfに渡す文字列に対してサニタイジングを行うべし
なんて真顔で言う人間までいる。

407:デフォルトの名無しさん
07/09/15 02:09:08
あたしゃprintf("<>")なんてのはやるがね。

408:デフォルトの名無しさん
07/09/17 16:14:37
>>400
一般論だが、
想定外の変なデータにあわせてプログラムを書き換えるというのは
たいていあとでほころびが出たりしますよな。

409:デフォルトの名無しさん
07/09/18 00:01:27
ん？　printf("\n") ; 　がだめってことか？

何で悪いのか判らん・・・

410:デフォルトの名無しさん
07/09/18 00:59:50
別にいいと思うよ。

411:デフォルトの名無しさん
07/09/18 01:10:15
かつては、printfをどこかで使ってるなら出力は全部printfにしたほうが、
さらにもう一つputs関数がリンクされてしまうよりも
実行ファイルが小さくなるという効能があったのではないかと思う。

412:デフォルトの名無しさん
07/09/18 01:37:58
>>1
死ね

413:デフォルトの名無しさん
07/09/18 01:42:07
そもそもputsとfputsの挙動が違うのがな
今日の言語設計者は気持ち悪くて、そんなことできないと思う。

414:デフォルトの名無しさん
07/09/18 03:22:46
しょうがない。

もとはと言えば64KB程度のメモリで動いていたマシンのOSと、OSの上で動くプログラムを書くとき、
メモリを節約するために共通コードを関数としてライブラリ化したような代物だから。

415:デフォルトの名無しさん
07/09/29 23:17:00
ところで、sizeof(char)=sizeof(short)=sizeof(int)=2っていう設定のトンデモコンパイラがあるらしい。
一応、C言語の規格上これは間違っていない。（型のサイズは決められてないからね。）

416:デフォルトの名無しさん
07/09/29 23:39:37
kwsk

417:デフォルトの名無しさん
07/09/29 23:49:13
sizeof(char)=2は規格上まずいだろ

418:デフォルトの名無しさん
07/09/30 00:00:53
>>415
>>206

419:デフォルトの名無しさん
07/09/30 14:43:58
もちろん、Cでもsizeof(char)は1だと明確に定められてるから。よろしく。

420:デフォルトの名無しさん
07/09/30 15:02:18
>>415
「だから sizeof(char) は省略すべきではない」という主張？...でもなさそうだな。
このスレタイは「必ず1でも」って条件付きだから関係ないよね。

421:デフォルトの名無しさん
07/09/30 15:50:12
無次元の1と1バイトって同一視して話していいんだっけ。

422:デフォルトの名無しさん
07/09/30 16:21:03
数学で毎回全ての問題の全ての数字に（注意：これは10進数）
みたいな但し書きをかかれるようなものだろ。

423:デフォルトの名無しさん
07/09/30 17:20:15
415はsizeof(char)が2になるトンデモコンパイラをはやく晒してくれ

424:デフォルトの名無しさん
07/10/01 00:01:05
論理1バイトが物理2バイトだったらどうか。
自分でも書いててよくわからんが。

425:デフォルトの名無しさん
07/10/01 01:23:46
>>424
charが、1バイトが、16ビットの可能性はあるかもしれない

それでも1バイトは1バイトだ

426:デフォルトの名無しさん
07/10/01 01:47:50
>>419
それどこに書いてる？
ISOかJISの規格票のどちらかでいいから教えて

427:デフォルトの名無しさん
07/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:デフォルトの名無しさん
07/10/01 02:22:05
なるほど
さんくす

429:デフォルトの名無しさん
07/10/13 20:00:42
>>415
> ところで、sizeof(char)=sizeof(short)=sizeof(int)=2っていう設定のトンデモコンパイラがあるらしい。
> 一応、C言語の規格上これは間違っていない。（型のサイズは決められてないからね。）

それどこが出してる？
製品名と会社のweb siteのどちらかでいいから教えて

430:デフォルトの名無しさん
07/10/13 21:04:48
>>429
ひょっとしたら、sizeof(char*)=sizeof(short*)=sizeof(int*)と完治害してんじゃね？

431:デフォルトの名無しさん
08/01/21 00:49:50
未だにsizeof(char)を書いてる人っているの？

432:デフォルトの名無しさん
08/01/21 01:54:36
javaのcharは2バイトって聞いたぜ。
…どうでもいいか。

433:デフォルトの名無しさん
08/01/21 19:55:24
Cプログラマの為に、ポイントをまとめたドキュメントを販売しています。
プロのプログラマでもあまりにレベルが低い人が多すぎます。
そんな人に限って、自分のレベルの低さを自覚していない、、、

本人は構わないかもしれませんが、その下についた新人プログラマは
たまったものではありません。（私が経験しました。）

今になって分かりました。
彼らもまた、理解できていなかったのです。

プログラミング言語の一番の習得の近道はきちんと理解している人にアドバイスをもらうこと。です。
（何といったって、参考にしようとする市販の本さえ、　きちんと説明してくれていないのですから、
　その証拠にC言語の学習で悩む人がどんなに多いことか）

私のC言語に取り組んだ7年間をすべてぶつけたつもりでテキストを作りました。

私の会社の後輩からは、どんなテキストよりもわかりやすかった！や、
今まで教えてくれていた先輩や、テキストたちが、ちゃんと理解できていないことがわかりました。
と、嬉しいコメントをたくさんもらいました。

そしてなにより、彼らの社内での評価がとても高いということが、私の誇りです。

宣伝と言ってしまえば、そうなってしまうかもしれませんが、ひとりでも多くのプログラマを救いたい。

プログラムの世界そのものの実力を底あげに貢献し、
無意味なバグに、残業したり、悩んだりして欲しくないのです。

興味がある方はどうか、下のサイトをみてみてください。
URLﾘﾝｸ(mori.eco.to)

434:デフォルトの名無しさん
08/01/21 20:09:56
>コンピュータの専門学校に入学、在学中に情報系の国家試験である、基本情報処理技術者、ソフトウエア開発を取得。
専卒かよ。

435:デフォルトの名無しさん
08/01/22 00:51:04
>>433
ブラクラ注意

436:デフォルトの名無しさん
08/01/23 02:12:26
専門学校ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

437:デフォルトの名無しさん
08/02/28 13:45:03
>>431
templateで間接的になら

438:デフォルトの名無しさん
08/03/04 17:38:06
sizeof (TCHAR)で間接的になら

439:デフォルトの名無しさん
08/03/21 00:22:32
>>435
おいおい、ブラクラではなかったぞ。

>>434
学歴は関係ないと思う。

8,800円払って中身みたわけではないのだが、
大学の教授が書いているC言語入門書にも、
とんでもなく酷い本があるのだから、
もはや学歴や肩書きは関係ないと思うのよ。

BASIC時代のPRINTをそのまま引きずった、
printf("Hello, world\n");
なんてのが平然と書かれている本を見るたびに、
こんなので勉強したら無駄な時間を食うのは当然だなと思うし。

440:デフォルトの名無しさん
08/03/21 02:42:30
>>439
Hello,worldは基本中の初歩であって
これをバカにする理由が思い当たらないんだが

441:デフォルトの名無しさん
08/03/21 02:51:38
puts("hello world");
ってやるべきってこと？

442:デフォルトの名無しさん
08/03/21 03:12:25
そんなことを言い出したらフォーマット文字列の中に
足がすくんじゃって何も書けなくなってしまうわけだが

443:デフォルトの名無しさん
08/03/21 03:17:33
正統派の基本を馬鹿にするのは新しいまがいものを売るときの基本
結局同じことの繰り返しになるわけだが

444:デフォルトの名無しさん
08/03/21 03:35:57
30年間でほとんど進歩してないな。

マイクロソフトの新しいバージョンのVisual C++が出る度に、まっさきに、
Visual C++ バージョンほげほげ対応という冠を付けた本が出るのだが、
いまだに本編は相変わらず昔のままで、付録的に
コンソールで cc hoge.c とやってコンパイルするのと同等のことをやる方法を
ちょろっと書いているだけで、Visual C++のデバッガの使い方を説明せず、
変数の値をprintfを埋め込んで標準出力に出して確認することを第一に教えている。

445:デフォルトの名無しさん
08/03/21 03:39:09
>>442
それが正しい。

printfの第一引数が書式化文字列であるとういことを初手から叩き込むべき。
printf("%s\n", "hello, world!");
これくらい、わざとらしくやってもいいくらいだ。

そうでもしないと、↓みたいなことをやるマヌケが出てくるからな。
void print_message(const char *p)
{
printf(p);
}

446:デフォルトの名無しさん
08/03/21 16:48:42
中身をみないで擁護できるのは本人だけ。

447:デフォルトの名無しさん
08/03/21 17:00:16
入門書の何が問題かというと、「ポインタがわかりません」なんて人を今だに量産していること。
しかも、そこに書かれていることが、次の段階の本で否定されていたりする。

448:デフォルトの名無しさん
08/03/21 21:15:11
>>439
どうやって文字列が表示されるのかを勉強している身としてはとてもバカにできない内容なんだが、
どういう内容を載せるべきだと言ってるのか教えて欲しいな。

449:デフォルトの名無しさん
08/03/21 22:15:53
printfは、C言語の仕様の一部ではあるものの、ライブラリの一関数に過ぎない。
printfやscanfの使い方は、ライブラリのマニュアルを読めばわかることであって、
入門書で解説すべきなのは、それらの使い方ではなく、
マニュアルを読めばわかるようになるための必要な前提知識である。

ってなことを頭の片隅に置いて聞いて欲しい。

hello, worldのサンプルなんだけど、なんかC言語っぽくないんだよね。
短くてエッセンスが凝縮されているサンプルが思いつかないんだけどさ。

>>448
> どうやって文字列が表示されるのかを勉強している

C言語とはあまり関係ないなぁ。
ライブラリがOSのシステムコールを呼んで、あとはOSが処理してる。

450:デフォルトの名無しさん
08/03/22 05:04:58
CもようやくOSを意識しないでプログラムを組める時代になったのか

451:デフォルトの名無しさん
08/03/23 03:19:41
>>450
ないよ。

452:デフォルトの名無しさん
08/03/23 03:37:29
>>445
という以前に、フォーマット文中に誤った引数が指定できて、しかも
その間違いがコンパイラでも内部処理でも検知できないっていう
printfの仕様上の欠陥があるわけで、そもそもprintfを使うことそれ自体が
NGだという話になるんじゃないの？

453:デフォルトの名無しさん
08/03/23 04:14:43
それを言いはじめたら、標準ライブラリの多くの文字列がらみの関数がNGになるよ。
たとえばstrcpyがバッファオーバーランしうる、とか。

そもそも、
今さらC言語を使わないといけない、しかも、習得するプログラミング言語の最初がC言語でなければならない
っていう状況に閉じ込められた時点で、その人は終わっていると思う。

454:デフォルトの名無しさん
08/03/23 11:02:22
除算も同じ意味でNGだな

455:デフォルトの名無しさん
08/03/23 12:01:53
プログラム言語だけでプログラムが動くわけじゃないからな

456:デフォルトの名無しさん
08/03/23 14:37:08
>>454
除算は「検知」はできるでしょ？

まあ、言いたいことはわかるけど。

457:デフォルトの名無しさん
08/03/23 17:53:21
printfの引数不正も検知できますよ。
除算よりは面倒ですが。

458:デフォルトの名無しさん
08/03/23 18:20:34
どうやって?

459:デフォルトの名無しさん
08/03/23 19:20:51
printfの呼び出し元で実引数の型情報を渡すようにinstrumentする。

460:デフォルトの名無しさん
08/03/23 19:33:19
なるほど。

大変だな。

そこまでしてCを使うのは。

461:デフォルトの名無しさん
08/03/24 21:13:13
>>460
そうだよ。
だから、Cを使うということはそのあたりの危険性と利便性をトレードオフする
考え方をもたないと駄目です。
やたら安全性をどうこう言っててもprintf使うだけでもう台無しです。

462:デフォルトの名無しさん
08/03/24 21:18:20
もう、かまってチャンは卒業しなよ

463:デフォルトの名無しさん
08/03/24 21:39:43
やっぱり>>453だよな。

いまさらC言語入門なんて。

464:デフォルトの名無しさん
08/03/24 21:48:43
だからバカはC言語使わないでください。おねがいします

465:デフォルトの名無しさん
08/03/24 22:04:12
バカなのでC言語しか使えません。
他の言語は難しすぎて。

466:デフォルトの名無しさん
08/03/24 22:40:59
Java だって + と - 間違えたら間違った計算結果が出てくるわけで・・・

467:デフォルトの名無しさん
08/03/24 22:59:48
間違えることのでき、なおかつ、それを機械的に検出できない箇所の数が、道具によって変る

っていう話しなんだよ。

468:デフォルトの名無しさん
08/03/24 23:18:09
たんによくあるセキュリティ的な話でそ。
Java で間違ったものを toString() しても機械が気付くわけでもなし。

469:デフォルトの名無しさん
08/03/24 23:46:10
>>468
セキュリティに限らず、いかにバグの入り込む余地を減らすか、ってこと。
余地が少なければ、バグの有無を確認するための工数が減るわけよ。

470:デフォルトの名無しさん
08/03/24 23:55:12
まあ、コンパイル時にチェックできるところはやるのは当然として、
実行時のチェックは性能とのトレードオフもあるから、Ｃは今ぐらい
で丁度いいと思う。

471:デフォルトの名無しさん
08/03/24 23:59:58
いろいろチェックしたらJavaと同じことをやることになって、Javaよりも遅くなったりしてね。

472:デフォルトの名無しさん
08/03/25 00:35:28
Cは機械寄りだから技術者以外には使えないのは当然だと思う。

473:デフォルトの名無しさん
08/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:デフォルトの名無しさん
08/03/25 15:27:34
>>473
printfに限った話ではないし。

int height ;
int weight ;
中略
height = weight ;
こういうのを機械的に検出できるかどうかは、
微々たる事ではあるが、
ソフトウェアの規模が大きくなってくると重要よ。

475:デフォルトの名無しさん
08/03/25 15:49:47
>>474
だからそれが printf とどう関係するんだよ、という話。
「限った話ではない」ではなく、全く関係のない独立した話ですよ。

>>469なんか、まるで printf の仕様がバグ発生契機を増やすかのように
さぞもっともらしいことを書いているが、ではどの処理系でどう書けば引数の
取り違えによるバグを避けられるかは一切提示していない。

>>474に至っては、printf の仕様の問題点については一切語らずに、
「に限った話ではない」との一言で、あたかもprintfに他の同等の処理よりも
多くの問題点があるかのようにほのめかしている。

printf に問題があるなら、プログラマなんだからもっとストレートフォワードに
この処理系のこういう書式化指定法ならバグが減る、と実例を出して批判して。

476:デフォルトの名無しさん
08/03/25 16:20:46
yosoでやれ

477:デフォルトの名無しさん
08/03/25 16:46:28
>>475
仮にprintfが他よりバグ発生契機が多いとは言えないとして、
それで一体お前は何を主張したいんだ？

printfフェチ？

478:デフォルトの名無しさん
08/03/25 17:26:31
不当にCを貶めようとしてるヤツに怒ってるんじゃないの？

479:デフォルトの名無しさん
08/03/25 17:27:18
そんな奴いたか？

480:デフォルトの名無しさん
08/03/25 18:27:14
>>475
引数の順序などを取り違える
ことと、
書式化指定文字列での型指定を間違える
ことを分けて考えようぜ。

481:デフォルトの名無しさん
08/03/25 22:31:54
>>474
どうでもいいけど、

> int height ;
> int weight ;
> 中略
> height = weight ;
> こういうのを機械的に検出できるかどうかは、

これは一体何が言いたいんだ？

482:デフォルトの名無しさん
08/03/25 22:35:59
話を発散させるためなら内容なんてなんでもいいんだぜ？

483:デフォルトの名無しさん
08/03/25 22:37:15
>>479

>>467
>>469
>>474

484:デフォルトの名無しさん
08/03/25 22:52:23
>>481
たぶん>>467だと思う。

485:デフォルトの名無しさん
08/03/26 08:04:24
>>484
具体的に>>474のどこが間違いで、何が機械的に検出できないんだ？

486:デフォルトの名無しさん
08/03/26 09:10:16
高さを表わすint型の値と重さを表わすint型の値は、
型は同じだけれども、値の意味が違う。

だから、
height = weight ;
のような代入は、
C言語の言語仕様的には間違っていないが、
プログラムの意味的には間違っている。

それを機械的に検出できないとは言ってない。
工夫して検出可能にすることもできる。

工夫して検出可能にするか、
あるいは、
小細工せず検出不可能のままにするかは、
自由だ。

ただ、ソフトウェアの規模が大きくなってくると、
「人間が注意してコーディングして、しっかりテストすればいいんだ」
なんて言ってられなくなるので、
機械的に検出できるものは検出しよう、ということになるわけ。

487:デフォルトの名無しさん
08/03/26 09:28:17
>>486
そのプログラムの「意味」というのには、
　ソースが英語で書かれてる
というのが大前提としてあるよね。

仮に、heightが横幅でweightが縦幅を意味する言語があったら、
そのプログラムの「意味」は全く正しいということになる。

488:474
08/03/26 09:55:54
>>487
このスレを読み書きしている人で、
heightとweightが英語だと理解しなかった人がいたら、
手をあげて欲しい。
そういう人がいたなら、次からは何か改善するよ。

489:デフォルトの名無しさん
08/03/26 10:02:53
height = weightを機械的に検出しなきゃいけないってどんだけｗ
なんのための変数名だよ

490:474
08/03/26 10:25:44
例がわかりやすいように、わざと豪快に間違ったコード片を書いた。

ここまで豪快なミスは少ないだろうが、このタイプのミスをしたことの
ある人はいるでしょう?

491:デフォルトの名無しさん
08/03/26 10:37:20
その手の間違いでNASAの火星探査が失敗したってニュースがあったような

492:デフォルトの名無しさん
08/03/26 10:37:42
>>488
問題は人間じゃなくて、機械がそれを英語かどうかを判断できないってこと

493:デフォルトの名無しさん
08/03/26 10:41:07
>>488
例えば、heightをheiと省略したらその「意味」は通じなくなるし、
他にもhaightとミスタイプしたら通じなくなる。

494:デフォルトの名無しさん
08/03/26 10:43:10
>>491
そりゃデバッグが足りなかっただけで、
それを言語仕様のせいにするのはちゃんちゃらおかしいだろｗ

495:デフォルトの名無しさん
08/03/26 11:27:35
そこでアプリケーションハンガリアンですよ。
URLﾘﾝｸ(local.joelonsoftware.com)

496:474
08/03/26 11:34:13
>>492
>>493
貴方達が人工知能的なアプローチしか頭にないのは、わかった。
俺らはtypedefを使ってコーディングして、それを機械的にチェックする。

497:デフォルトの名無しさん
08/03/26 11:47:31
>>494
そういう考え方だと大きなプログラムのデバッグは大変だな。

498:デフォルトの名無しさん
08/03/26 13:11:47
機械的ってのはコンパイラが検出という意味ではないのか。

TypedWidth redBoxWidth;
TypedHeight redBoxHeight;
　　:
TypedWidth blueBoxWidth = redBoxHeight;
TypedWidth GreenBoxWidth = (redBoxWidth + redBoxHeight) / 2

とかコンパイルエラーになったら途方に暮れるもんな。

幅と高さは、型を分ける必要は感じないな。
熱量と体積とか、加速度と質量とかなら、型を分けて演算や代入に制限を加えるのは望ましいと思う。

499:デフォルトの名無しさん
08/03/26 14:48:04
heightとweightの話をしてるのに気づかない人がいた

500:デフォルトの名無しさん
08/03/26 15:59:06
>>496
>474に出てくる変数はすべてint型ですが？
少なくとも、今の話題にtypedefは関係ないよね。
それはまた別の話。

>>497
というかさ、コンパイラにプログラムの意味を解釈させるというのは、全く現実的な話じゃないわけさ。
プログラマの意図する「意味」とコンパイラの意図する「意味」の整合性を保つのがどれだけ大変かわかってるの？
テストを行う方が圧倒的に簡単だし、
そもそも俺には「コンパイラに意味を解釈させれば論理エラーが減る」
という考え方の方がよっぽどデバッグを大変にすると思うんだよね。

>>499
そこで質問なんだが、なぜ重さを高さに代入してはいけないの？
BMI指数なんかは、体重/身長^2 で計算するんだがこれは論理エラーなのか？
超体重理論の公式が、高さ＝重さ*2.5 だった場合はどうなんだ？
他にも、例えば Tundere = Deredere はエラーになるのか？
Yandere = Tundere の場合はどうなのか？

501:デフォルトの名無しさん
08/03/26 17:07:34
>>500
>BMI指数なんかは、体重/身長^2 で計算するんだがこれは論理エラーなのか？
BMI指数の次元が重さ/長さ^2 であるってだけのことだなぁ。

>超体重理論の公式が、高さ＝重さ*2.5 だった場合はどうなんだ？
それはきっと次元を持つ比例定数が省略されてるな。（超体重理論って何？）
PV=nRTのRみたいな。

502:デフォルトの名無しさん
08/03/26 17:19:08
URLﾘﾝｸ(www.boost.org)
C++なら次元解析なんかメタプログラミングで独自の型システム構築すればいいだけなのにね！

503:デフォルトの名無しさん
08/03/26 17:19:45
>>501
例えば、PV=nRT で V=1, nR=1 なら簡略化して P=T と書けるよね。
つまり、pressure = temperature、圧力 = 気温となるわけだ。
これは正しいんだよな？

そこで何度も同じ事を聞いて申し訳ないんだが・・・
なぜ height = weight が絶対に間違いだと言い切れるんだ？
どうして重さを高さに代入するのが「論理エラー」になるんだ？
比例定数1が隠されてる可能性は絶対にないと言い切れるのか？

504:デフォルトの名無しさん
08/03/26 17:27:12
仮にheight = weightが正しい（意図してそうする）のであれば、
型でいうところのキャストみたいに、明示すればいいということだと思う。

505:デフォルトの名無しさん
08/03/26 17:57:12
前提を隠されて「圧力 = 気温」と言われたら、間違ってるとしか言えない。
間違いと言われたくないなら前提を隠さないでくれ。

506:デフォルトの名無しさん
08/03/26 18:32:12
>>504, 505

>>474の
> int height ;
> int weight ;
> 中略
> height = weight ;

をエラーにするっていうのはこういう意味だよ。

507:474
08/03/26 18:55:09
>>500
> 少なくとも、今の話題にtypedefは関係ないよね。

いや関係ある。

1. 引数の型が違う → 型をチェックすれば、検出できる間違いがある
2. 引数の型は同じだが、値に互換性がない → 値の互換性をチェックすれば、検出できる間違いがある
3. 引数の型が同じで、値にも互換性があるが、変数を取り違えている → お手上げ

こういう3段階があるものの、基本的には同一の問題だろう。

> コンパイラにプログラムの意味を解釈させるというのは、全く現実的な話じゃないわけさ。

その通り。俺に対して反論してる人が現実的ではない話を持ち出してるだけだぞ。
なんで明らかにダメな方向に誤解して、その誤解の上でしか成りたたない反論をするんだろ。

> BMI指数なんかは、体重/身長^2 で計算するんだがこれは論理エラーなのか？

そういう計算をする関数は数が限られているのだから、
それが意図したものであれば、慎重にチェックの対象から外せばいい。

508:474
08/03/26 19:05:52
>>503
> 例えば、PV=nRT で V=1, nR=1 なら簡略化して P=T と書けるよね。

そこでスレタイ。1だからといって省略すべきではない。

そして、間違える余地を減らすためにも、
PをV、n、R、Tから求める関数を作って必ず使うようにすべき。
関数を使う以上、引数には1を渡すしかあるまい。

いまどきのコンパイラはinline展開してくれるからP=Tと同じ結果になろう。

> なぜ height = weight が絶対に間違いだと言い切れるんだ？

なぜなら、間違ってheight = weightと書いたという例だから。

>>506
色々とバグで痛い目を見ると、考え方が変ってくるかもよ。

509:デフォルトの名無しさん
08/03/26 19:45:35
>>507
型が同じか違うかで、この問題の解答が全く変わってくる。
「基本的には同一の問題」というのはダウトだろう。
実際、>>507の１，２，３で間違い検出の可能性が全く違っているし。

> なんで明らかにダメな方向に誤解して、その誤解の上でしか成りたたない反論をするんだろ。
>
>>474 を見たら、「コンパイラによる意味解釈」ということしか思いつかないのだけど。。。
他に>>474の解釈があるなら是非教えて欲しい。
「型が同じでも違っても基本的には同一の問題だから、型チェックでどうにかする」
みたいな詭弁は無しの方向で頼む

> それが意図したものであれば、慎重にチェックの対象から外せばいい。
>
チェックの対象から外すというけど、そもそもそのチェックって一体どうやってやるんだい？
型チェックなら、古の言語Ｃでもすでにやってし、
なによりそれでで解決がつくなら、>>474でint型しか出さなかった理由がわからない。
確認するけど、型チェックは大前提としあって、
他にも意味論を持ち出せばさらにバグが減らせるという主張でいいんだよね？

510:デフォルトの名無しさん
08/03/26 19:47:23
> そこでスレタイ。1だからといって省略すべきではない。
>
仮に sizeof(char) が省略すべきでないとしても、省略することは常に可能。
つまり、１は常に省略される可能性があるし、それは常に正しくあるべき。
というか、１をかけるかどうかで意味が変わってきたら、
「だから○○は使えねえんだよｗ」　（○○には好きな言語やライブラリ名をどうぞ）
とか言われそうなんだけど

> なぜなら、間違ってheight = weightと書いたという例だから。
>
たしかに>474はそれを間違いだと知ってるかもしれない。
でも、少なくとも俺にはそれが分からなかったし、もっと言えばコンパイラにはなんのことやらチンプンカンプンだろう。
なのでコンパイラにそれが間違いだと教える必要があるのだけど、それは一体どうやってやるの？

511:デフォルトの名無しさん
08/03/26 19:59:24
省略すべきでないのは型の使い分け・型変換の明示だろう。*1なんかいらない。
charとかstrlenとかをハードコーディングしちゃうのではね。

512:498
08/03/27 14:19:26
素で間違えてた。眼鏡買ってくる。

>474とそのフォロワーが何人かいるのだとおもうが、

>509
多分フォロワーは、（現実的に可能なら）型を分けるべきという議論をしていると思う。
>474は、>496でtypedefでも機械的にチェックできると言ってるが、フォロワーは同意しないかもしれない。

圧力と気温を別の型として扱う型システムが手に届くところにあったら >509 も使うでしょ？
今は自前で定義するもの大変だし定番ライブラリも無いしね。

513:デフォルトの名無しさん
08/03/27 16:10:03
関数をハードコーディング？

514:474
08/03/27 22:48:04
>>509
変数の取り間違い、という同一の問題です。
段階0として、人間が目を皿にして探す、ってのを入れてもいいよ。

> >>474 を見たら、「コンパイラによる意味解釈」ということしか思いつかないのだけど。。。
> そもそもそのチェックって一体どうやってやるんだい？

LINTの類いを使っていないと、それしか思いつかないのかもしれないね。

> >>474でint型しか出さなかった理由がわからない。

C言語のtypedefはtypedefしてたってintはintだよ。

> 確認するけど、型チェックは大前提としあって、
> 他にも意味論を持ち出せばさらにバグが減らせるという主張でいいんだよね？

「意味論」なんて持ち出してないぞ。

515:デフォルトの名無しさん
08/03/27 22:57:35
>>510
>　つまり、１は常に省略される可能性があるし、それは常に正しくあるべき。

省略したらバグるべきだとは主張してませんが?

してもしなくても動作は変らないけど、
プログラムを読んだ人間に意図がわかるようにするために省略すべきではないのよ。

> 少なくとも俺にはそれが分からなかった

例や文章が不適切でゴメンね。
でも、今までの話で分かったでしょ?

> なのでコンパイラにそれが間違いだと教える必要があるのだけど、それは一体どうやってやるの？

機械的に検出するためには、機械的に検出できるようにコーディングするのよ。
コンパイル時にエラーになるだけが、検出ではないよ。

>>513
charやwchar_tを直に書かず、マクロやテンプレートによって切り換え可能にすることに対して、
それらを直に書くことをハードコーディングというのだろう。

516:474
08/03/27 22:57:56
おう、515は名前欄かきわすれた。

517:デフォルトの名無しさん
08/03/28 00:02:37
>プログラムを読んだ人間に意図がわかるようにするために省略すべきではないのよ。
それは常識が共有できている時しか成り立たない。
変なコードが書いてあったら書いた奴に意図を聞きたくなる。

そしてスレタイ。*sizeof(char) を書くべき派といらない派は、この点において常識を共有できていない。

518:デフォルトの名無しさん
08/03/28 00:39:49
問題はいらない派がわかってて省略しているのかどうか

519:デフォルトの名無しさん
08/03/28 14:45:44
>>514
LINT の類でお勧めは何だ？

520:デフォルトの名無しさん
08/03/28 15:18:57
splint

521:デフォルトの名無しさん
08/03/28 19:25:44
>>514
> LINTの類いを使っていないと、それしか思いつかないのかもしれないね。
>
LINTでどうやって間違いを検出するのかというと・・・
Ｃ言語ならforとかwhileとかを「キーワード」という特別な扱いにして
その周辺の文法や、他にもよくありがちな構文上の間違いが無いか検証するわけね。
話を戻すとつまり、weightとかheightや他の英単語をキーワードとして扱うということ？

> C言語のtypedefはtypedefしてたってintはintだよ。
>
>>474で重要なのは、weightとheightが「同じ型である」ということなわけ。
同一の型の代入を、「変数名が間違っている」という理由でどうやってエラーにするの？
と何度も聞いているのだけど。

> でも、今までの話で分かったでしょ?
>
ぜんぜん分からないのだけど。。。
>>474は一体何が問題なのか？　というところから分からない

522:デフォルトの名無しさん
08/03/28 19:41:51
>>515
> 機械的に検出するためには、機械的に検出できるようにコーディングするのよ。
> コンパイル時にエラーになるだけが、検出ではないよ。
>
間違いを検出するのは、コンパイル時ではないということ？？？
あなたの主張が全く見えないので、以下で確認させて欲しい。

問１）　>>474は具体的にどこが間違っているのか？
１、weightとheightが同じ型であるところが間違っている。これらは型を分けるべき
２、（同じ型であっても）名前が間違っているのは明らかだから、代入したらエラーがでるべき。
３、その他

問２）　あなたのいう「機械的に検出」とは具体的にどのような方法で行うのか？
１、weightとheightの型を分ける
２、weightやheightや他の英単語をキーワードとして登録し、その使われ方をチェックする
３、コンパイラや他の何か(例えばLINTやリンカなど)に意味解析をさせる
４、その他

問３）　>>474の間違いを検出するフェーズは具体的にどこか？
１、コンパイルの開始前（いわゆるLINT）
２、字句解析時
３、構文解析時
４、構文木を作った後の独自のエラーチェック時
５、コード生成時
６、実行時
７、その他

523:474
08/03/28 22:06:15
>>521
> weightとかheightや他の英単語をキーワードとして扱うということ？

No.

> 同一の型の代入を、「変数名が間違っている」という理由でどうやってエラーにするの？

さぁ。
それはあなたが言い出したことなのだから、自分で考えてくださいな。

>>522
> 間違いを検出するのは、コンパイル時ではないということ？？？

コンパイル時に限らない。

> 問１）

3

> 問２）

4

> 問３）

7

524:デフォルトの名無しさん
08/03/28 22:10:35
ﾜﾗﾀ
答えられないのかよ

525:デフォルトの名無しさん
08/03/28 22:47:39
>>523
電波に付き合うなよ

526:デフォルトの名無しさん
08/03/28 22:56:07
適当に振ったネタが予想以上に好評でウケタｗ

527:デフォルトの名無しさん
08/03/28 23:18:40
そもそも変数名にheightやweightってつけるのは、人の目から見て意味のある名称にして
人間が間違えないようにするため。
それを機械的にって根本的におかしいだろ。

528:デフォルトの名無しさん
08/03/28 23:26:51
>>527
> なんで明らかにダメな方向に誤解して、その誤解の上でしか成りたたない反論をするんだろ。

529:デフォルトの名無しさん
08/03/29 01:45:42
趣味で独自の作法でプログラム書いてる人間には理解できない世界のお話。

530:デフォルトの名無しさん
08/03/29 16:29:22
>>524の未熟さが微笑ましい

531:デフォルトの名無しさん
08/03/29 23:11:22
世の中には、

mallocしたものをfreeするとバグの原因になるからfreeしないほうがいい
どうせプロセスが終了するときに解放されるのだから

なんて言う人もいるのですよ。

532:デフォルトの名無しさん
08/03/29 23:28:43
また古い話を持ち出してきたなぁ。

533:デフォルトの名無しさん
08/03/30 00:43:34
そのネタ飽きた

534:デフォルトの名無しさん
08/03/30 16:27:19
ていうかmallocするとバグの元になるから
そもそもなるべくmallocしないで済む設計にするのがいいよ

535:デフォルトの名無しさん
08/03/30 17:45:10
プログラム組むとバグの元になるから...

536:デフォルトの名無しさん
08/03/30 21:25:10
だからデバッグ済みのライブラリを使うのですよ。

537:デフォルトの名無しさん
08/03/30 21:51:22
そのライブラリを呼び出すコードがバグの元になるから...

538:デフォルトの名無しさん
08/03/30 21:53:52
> なんで明らかにダメな方向に誤解して、その誤解の上でしか成りたたない反論をするんだろ。

539:デフォルトの名無しさん
08/03/30 22:58:15
ネタだから。

540:デフォルトの名無しさん
08/03/30 23:37:05
ネタをネタとわからない人には（

541:デフォルトの名無しさん
08/03/30 23:51:53
>>474 が書いたコードを見てみたい・・・

何か放流してくれないかな？

542:デフォルトの名無しさん
08/06/12 07:39:29
typedef int WEIGHT;
typedef int HEIGHT;

WEIGHT weight;
HEIGHT height;

height = weight; // warning: 型の異なる代入ですというコンパイラは存在するのか

543:デフォルトの名無しさん
08/06/12 07:51:23
PODと非PODを区別しろよ

544:デフォルトの名無しさん
08/06/14 23:56:31
そういうのはクラス化するという例をEffective C++で最近読んだ。

545:デフォルトの名無しさん
08/06/15 00:44:21
>>543
そう言う問題じゃなくて、POD であることはわかってるけど、
プログラマが別の型と定義したんだから、警告するようにすれば
身長 × 体重なんてしてしまうバグを減らせると言うことなんだ
ろう。

>>542
言語は違うけど、Pascal とか Ada はそう言う型を定義できる。
現状の枠内でやろうとするなら、>>544 の方法がいいと思う。

546:デフォルトの名無しさん
08/09/16 23:54:11
strong typedefを知らずにこんなスレに書き込む奴がいたのか
2008年だぞ今年…

547:デフォルトの名無しさん
08/09/17 09:21:36
後からのこのこ現れて間抜けな事を書き捨てていく奴って何なの？
流行ってんの？

548:デフォルトの名無しさん
08/09/17 23:29:21
>>547
よう、低脳

549:デフォルトの名無しさん
08/09/18 00:57:02
>>548
よう、ド低脳

550:デフォルトの名無しさん
08/09/18 07:56:04
独自の拡張にメリットを見い出せないからこそBOOST(ライブラリ)やD(派生言語)でstrong typedefを実現しているのだけれど
>>547
間抜けだという理由をどうぞ
さぞかし説得力のある解説をして下さるのだろう

単純に既存のC/C++処理系の拡張としてtypedef警告が実装されていたら
WindowsやOpenGLのプログラムなんてやってられないと思うのだがね

551:デフォルトの名無しさん
08/09/18 08:41:21
3ヶ月も経ってからレスしてたらやっぱり間抜けだろ。

552:デフォルトの名無しさん
08/09/18 11:44:15
ｽﾚ違い…ってのはまあ、3月以降全部そうか。

次ページ