Const Statement does not mean "INVARIABLE number".

ありえるえりあのBlogで以下のような記述がありました。

他人のコードを見ていると、次のような箇所を見つけました。変数名や関数名は適当です。
void func(const char *input)
{
char *pt = strstr(input, "foo");
*pt = '\0';
...
}
const char*で渡っているのに、ポインタの先が書き変わっています。しかし、コンパイラは何も言ってくれません。
やはり C は危険です。

誤解している人が多いのですが、const キーワードは変数を定数に変えるものではありません。 const がついたシンボル経由では値を書き換えられないというだけで、他のシンボルを経由するなどして値を書き換えることは可能なのです。たとえば、以下のコードもコンパイルできますし、問題なく実行できます。

int main ( void )
{
const int hoge = 10;
int * ptr_int_change = & hoge;

*ptr_int_change = 50;

printf("%d", hoge);

return 0;
}

実行結果: 50

変数 hoge には const 修飾詞がついているので、hoge = 50; というコードはエラーになります。 ( error: assignment of read-only variable `hoge' というエラーが出力されます。) しかし、ポインタ ptr_int_change には const 修飾詞はついていませんから、 ptr_int_change を経由すれば hoge の値を書き換えることが可能なのです。

ありえるえりあにあるコードでは pt には const 修飾詞がついていません。よって、pt という別経路を使うことで、input の参照先を問題なく書き換えることができたのです。 input を使って値を変更しようとしているならば、エラーが出たでしょう。 引数として渡した文字列を書き換えることが目的ならば、仕様通りの動作ということで問題ないのでは？ ( コメントで、関数の目的と動作を補足したほうがいいと思いますが。)

2006.03.06 20:50 修正