0

タイトルの通り,c言語において,配列の宣言時に要素数を明示しない配列について疑問があったので,質問させていただきました.
例えば以下の例において,

#include<stdio.h>
#include<string.h>

int main(){
  char text1[] = "I like you.";
  char *text2 = "###";

  printf("number of elements of text1 == %lu\n", sizeof(text1)/sizeof(text1[0]));
  strcat(text1, text2);
  printf("concatenated text1 == %s\n", text1);
  return 0;
}

で,結果が

number of elements of text1 == 12
concatenated text1 == I like you.###

となりました.
text1の要素数は,初期値の要素数+'\0'の分で,12個のchar型が確保されることが,上の結果の1行目からも分かります.しかし,strcat()で,text1に11個より大きい文字を格納しているにもかかわらず,エラーが出ずに,きちんと結果が出力されてしまいました.

これはどうしてなのでしょうか?定義された要素数を超えた配列の部分に格納しようとすると,

*** stack smashing detected ***:

のようなエラーが出るのかと思ったのですが...

もし何か分かる方がいらっしゃいましたら,教えていただきたいです.

1
  • 1
    gcc 7.2.0 ではデフォルトで -fstack-protector オプションが有効になっていますので stack smashing detected と表示されます。-fno-stack-protector を指定すれば表示されません。
    – user39889
    Commented 2018年2月2日 11:09

3 件の回答 3

2

MicrosoftのVisual C++であれば/RTC (ランタイム エラー チェック)が用意されています。この機能が有効化されている場合、

Run-Time Check Failure #2 - Stack around the variable 'text1' was corrupted.

という実行時エラーが検出されます。
またstrcatは質問のようなセキュリティ上の欠陥があるためstrcat_sが推奨されています。strcat_sは事前に書き込み先のバッファサイズを受け取るため、書き込み前にバッファオーバーフローを検出できます。

1

strcattext1の隣接するメモリ領域をブルドーザーのように破壊して進んだ結果です。
以下のコードでtext1の隣接するメモリ領域がわかります。

#include <stdio.h>
#include <string.h>

int main(){
    char text1[] = "I like you.";
    char *text2 = "###";

    printf("before text1\n");
    for (const char *p = text1; *p; ++p) {
        printf("[%c] = %p\n", *p, p);
    }
    printf("[\\0] = %p\n", text1 + strlen(text1));
    printf("[?] = %p\n", text1 + strlen(text1) + 1);
    printf("[?] = %p\n", text1 + strlen(text1) + 2);
    puts("");

    strcat(text1, text2);

    printf("after text1\n");
    for (const char *p = text1; *p; ++p) {
        printf("[%c] = %p\n", *p, p);
    }

    return 0;
}

実行結果。

before text1
[I] = 0x7fffc49fe470
[ ] = 0x7fffc49fe471
[l] = 0x7fffc49fe472
[i] = 0x7fffc49fe473
[k] = 0x7fffc49fe474
[e] = 0x7fffc49fe475
[ ] = 0x7fffc49fe476
[y] = 0x7fffc49fe477
[o] = 0x7fffc49fe478
[u] = 0x7fffc49fe479
[.] = 0x7fffc49fe47a
[\0] = 0x7fffc49fe47b
[?] = 0x7fffc49fe47c
[?] = 0x7fffc49fe47d

after text1
[I] = 0x7fffc49fe470
[ ] = 0x7fffc49fe471
[l] = 0x7fffc49fe472
[i] = 0x7fffc49fe473
[k] = 0x7fffc49fe474
[e] = 0x7fffc49fe475
[ ] = 0x7fffc49fe476
[y] = 0x7fffc49fe477
[o] = 0x7fffc49fe478
[u] = 0x7fffc49fe479
[.] = 0x7fffc49fe47a
[#] = 0x7fffc49fe47b
[#] = 0x7fffc49fe47c
[#] = 0x7fffc49fe47d

[?]の部分がtext1に隣接するメモリ領域です。strcatは配列のサイズを指定できないので、このようにメモリを破壊して進みます。
Cの標準ライブラリの関数にはこういった仕様の関数が多いので注意が必要です。

1

環境が分かりませんが、古くからのC ならば、stackサイズなんてチェックしないのが仕様。
運が良ければ、そのまま、動きます。
運が悪ければ、隣りの領域を壊します。 stack over flow になるとどうかは知りませんが、不正な動作となります。(環境依存)
昔、運よく動いていたのは、隣りに大きな未使用配列があった時。

1
  • 変数1つだとstackの次は、大抵、戻りアドレスなので、異常終了するのに、なんでか? と考えたら、、、 以下、参考です。 (かつ、推測) text1 の次に、text2 の宣言がされています。 text2は、ポインタ。最近のだと、32bit以上だと思うので、 4文字分の領域がある。 そこに上書きしたのか、と推測します。 実際には、処理系依存だし、コンパイラが内部の作業領域を確保する事もあるので、なんとも言えませんが。
    – user25315
    Commented 2018年2月4日 12:48

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。