c - strlen の戻り値を保存できません

Question

C 文字列ライブラリの strlen 関数を使用しています。NULL 文字列を渡したところ、不思議な結果が見つかりました。NULL 文字列を渡すことになっていないことはわかっていますが、説明が必要です。コードは次のようになります。

main()
{
  int k;
  char *s=NULL;
  strlen(s);
  // k = strlen(s);
}

私のgccコンパイラでは、コメントで問題なく動作します。ただし、行のコメントを削除する場合 k=strlen(s);

セグメンテーション違反が発生します。説明はありますか？

score 3 · Accepted Answer

null ポインターを渡すとstrlen、未定義の動作が発生します。 なんでも起こる可能性がある。 セグフォルトを含む。また、セグフォルトは含まれていません。

正確な理由を知りたい場合は、コンパイラが生成するアセンブラコードを調べる必要があります。しかし、これは有益なことは何も教えてくれません。

score 3 · Accepted Answer

戻り値を割り当てていない最初の「strlen」呼び出しは、コンパイラによって最適化されている可能性があります。

score 1 · Accepted Answer

これは int 変数への代入を行わないアセンブラコードです。

movq    $0, -16(%rbp)
movl    $0, %eax
leave
ret

値が使用されないため、コンパイラは _strlen を呼び出しません。

3 に答える 3