[C言語］ const, 配列に関しての質問

Question

以下のコード（抜粋）について質問です。

・期待する動作
配列stringに対し、キーボードから読み込んだ文字を格納することを考えております。

・疑問点
結果として後述のコードで特に問題なく動作しました。
しかし、constをつける予定ではなかったのに宣言しており、なぜ問題なく動作できたのかわかりません。
constは、値の書き込みを制限するものであると認識しております。それなのにscanf()で配列stringsに文字を書き込めたのはなぜなのでしょうか。

・コード
const char strings[100] = {0};
scanf("%s", strings);

Answer 1

基本的には型の不整合は検出されることが多いですが、 scanf や print などは C の関数としては特殊な性質をもちます。 様々な型・個数の引数を受け取れるようになっているという点でちょっと特別です。

しかし C の言語機能で柔軟かつ安全に多相的な関数を作る方法はないのです。 「引数の可変長の部分については型に関する情報を持たない」という扱いをすることで柔軟にしています。 関数がどんな型を受け取ると想定しているのかわからないので適切な実引数を渡すのはプログラマの責任であり、適切でなかったときの結果は未定義です。 受け取る側ではほとんどチェックせず想定する型の値が渡されているものと仮定するので誤っていても強引に動作はします。

C における「未定義」は何が起きても良いことを意味します。 特に問題が起こっていないかのように動作するかもしれませんし、クラッシュするかもしれませんし、高度な処理系ではコンパイル時にエラーとして検出してくれるかもしれません。

Answer 2

constというのは、変更できないことを指定するキーワードです、が、実際に変更できなくなってるかどうかってのは、環境によりけりってことになります

コンパイル時に警告出るでしょう。それを無視して実行した結果、ですね

Comments

[kaitoM.]

>> コンパイル時に警告出るでしょう。それを無視して実行した結果、ですね
Visual studio を利用しているのですが、（「エラー」ではなく）「警告」の形で注意書きが書かれておりました。その警告を無視して実行した、ということになるのでしょうか。

[y_waiwai]

C言語ってのは、実行時のエラーチェックは行いません。
そのため、const指定の領域でも平気で書き込もうとしますし、その結果は規定（保証）されません。
もしかすれば、ちゃんと書き込んだような結果を返すかもしれないし、そうでないかもしれません。
どういう結果になろうが文句は言えないってはなしとなりますね

[kaitoM.]

かしこまりました。ご教授いただき感謝いたします。ありがとうございました。

[y_waiwai]

また、C言語では、コードに文法の間違いがなければ、いくらロジックに間違いがあろうと、警告を出しこそすれ、エラーとはしません
その警告の言うことを聞いて、コードを修正するのか、聞かずに無理矢理実行するのか、ってのはプログラマの責任で行うこととなります

Answer 3

c言語は何十年も触っていませんが…。
const char strings[100] = {0};
strings変数へのアクセスに対してconst制約を課してコンパイルするので、strings変数を介してアドレスの中身を書き換える（初期化は別）のは、コンパイルする上で問題と見做しますが、アドレス自体に制約が課される訳では無いので、アドレスを受け取った側が何をするかは自由ですね。
char* a = strings;
a[0] = 'x';
a[1] = 0;
と書いてstringsの中身を出力してみるとstringsの指すアドレスの中身が保証されていないことが分かるかと思います。
aの初期化で警告が出るかもですが。

Answer 4

コンパイラがconstを無視しているからです。