C言語の関数にchar配列を渡し、ポインタとして扱った時の動作

Question

はじめに

C言語でタイトルに書いたことが気になり、プログラムを実行してみたところ、よくわからない結果となったため、どのような仕様でそうなってるのか気になったので質問します。

基本のコード

#include <stdio.h>

void charrr(char*);

int main(void) {
    char c[5] = "ABC";

    charrr(c);

    puts("a");

    puts(c);

    return 0;
}

void charrr(char *c) {
    c = "XYZ";
    c[1] = 'O';
}

まず、このコードはコンパイルに成功します。
そして実行してみると、puts("a");を実行することなく終了します。関数の中で文字列を渡したポインタを添え字でアクセスして代入してしまっていることが原因と考えられます。
次に、関数内のc[1] = 0;をコメントアウトして実行してみます。その結果がこちらです。

a
ABC

配列に文字列は代入できないので当然と言えば当然ですが、それならば上のコードはなぜ実行停止してしまうのか分かりません。c言語のどのような仕様がこれを引き起こしているのか教えていただきたいです。よろしくお願いします。

Answer 1

C言語の仕様としては、それはアクセス違反となるので、なにが起こるかわからない、なにが起こっても文句言えない、ということになっとります。

まあ、至極正しい反応、ということになろうかとおもいます

Answer 2

前提1

同じ文字列リテラルでも、文脈に依って意味が異なります。

• char c[5] = "ABC";

これは配列の要素の初期化です。
書き換え可能な領域に各文字が確保されるので、後から要素を入れ替えられます。

• *char c = "ABC";

書き換え不可能な連続領域に文字列を確保した後、先頭アドレスをcに代入しています。

前提2

関数charrr内では、cはただのポインタ変数です。
中に配列が入っているかどうかなんて知ったこっちゃありません。

void charrr(char *c) {
    c = "XYZ";   // この "XYZ" は書き換え不可能な領域に確保されます
    c[1] = 'O';
}

本題

関数の中で文字列を渡したポインタを添え字でアクセスして代入してしまっていることが原因と考えられます。

落ちるのは書き換え不可能な領域を書き換えようとしているからでしょう。

配列に文字列は代入できないので当然と言えば当然ですが

関数charrr内の変数cはただのポインタ変数ですので、代入それ自体には成功しています。
呼び出し元に影響しないのは別件です。

次のように書いたとき、『0』と表示されないことは理解できるでしょうか。
これと同じ理由で、ポインタ変数そのものを書き換えても呼び出し元には影響しません。

void func(int a) {
    a = 0;
}

int main(void) {
    int a = 42;
    func(a)

    printf("%d\n", a);   // 42と表示される

    return 0;
}

Answer 3

配列に文字列は代入できないので当然と言えば当然ですが

いえ、charrr内でのc = "XYZ";は、cのポインタ値を変えているだけで、渡されたchar c[5]のほうにはまったく影響しません。

Answer 4

「文字列リテラルを書き換えてはダメですよ．未定義ですぞ」　←　どうなるかやってみた

とか　わざとやっておいて
「何故止まるのか？」とか言われましても．