「文字列操作は「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)]

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