「文字列操作は「C言語最大の欠点」か？」記事へのコメント

コレで行こう

[coffe_ata (31369)]

STR07-C. TR 24731 を使用し、文字列操作を行う既存のコードの脅威を緩和する [jpcert.or.jp]

Re:

[fujisan (32326)]

これ使っても”バッファオーバーランが起きない”わけじゃないよ。

Re:

[coffe_ata (31369)]

おお、詳しく教えていただけませんか？

Re:

[Anonymous Coward]

リンク先に、そう書いてあるよ。ちゃんと読んでみて。

Re:コレで行こう

[coffe_ata (31369)]

ただし ISO/IEC TR 24731-1 関数を使ったとしても、コピー先バッファの最大長およびコピーする文字の数が間違って指定された場合、依然としてバッファオーバーフローを引き起こす可能性はある。

これですか？
うーん、そこまで徹底するとなると、文字列にメモリをアロケートするライブラリを使うか、そうなると大掛かりになって来るので、本当にCが必要なのか？を問う場面ですね。

Re:コレで行こう

[Anonymous Coward]

徹底するというか、そうではなくて、正しいサイズが必要なときに使えるようにプログラミングすることが、Cでは結構厄介なんですよ。もちろん、オブジェクトを確保してすぐにアクセスする場合は問題ありません。同じスコープ内にその値を保持した変数なり、定数なりがありますから。問題なのは、ポインタを他の関数に渡してそこで使おうとする場合です。ポインタだけではなくそのサイズも渡さないといけない。そのオブジェクトがmallocなどで動的に確保されたものはもちろん、真の配列であってもです(この文脈では配列はポインタに成り下がっちゃいますから、受け取った側でsizeof演算子を適用しても無意味です)。ましてや、確保したオブジェクトの先頭以外をさすポインタを渡すときにはちゃんとサイズを再計算しておかねばなりません。はっと我に返ると、safe-Cが自動でやってくれてることとほとんど同じことを延々とコーディングしてたりするんですね。鬱。

Re:コレで行こう

[coffe_ata (31369)]

固定長の場合、ヘッダでマクロ定義して、必要な都度includeしませんか？
私の場合、ずっとそうやってきましたが。

Re:

[Anonymous Coward]

このような人によって、再利用性の低いコードが量産されていたんですね。わかります。

Re:コレで行こう

[coffe_ata (31369)]

ううむ、そこまで細かい所で再利用性を考えます？
うまくカプセル化が出来ていれば、そんなに酷くはないと思ってますけど……。

Re:

[Anonymous Coward]

このような人によって、再利用性の低いコードが量産されていたんですね。わかります。

目的・意味付け毎にtypedefやstructで宣言するのが普通では？ 同じサイズの固定長だからといって一緒くたにするのは"再利用性"とは言えない気がする。

Re:

[Anonymous Coward]

というか、プログラマの書き間違えとそうでないものを、一緒にしていいのかなあ。
前者は言語特有の問題なのか？？？