このCコードスニペットでセグメンテーションフォルトが発生しないのはなぜですか？

Question

int main(int argc, char **argv) { 
    unsigned int ptr1 = *((unsigned int *)(argv[1])); 
    printf("ptr1 = 0x%x\n", ptr1); 
    exit(0); 
} 

これはビデオチュートリアルのコードスニペットです。私はなぜコードが実行時にセグメンテーションフォールトにならないのか分かりません。

(unsigned int *)(argv[1])これは、プログラムに渡される最初の引数がunsigned intにキャストされるようです。したがって、引数が 'AAAA'の場合、 '0x41414141'はメモリ内のいくつかの場所へのポインタになりました。

これを行うと、*((unsigned int *)(argv[1]))は、アドレス0x41414141が指す値を参照していませんか？私が知っていることから、このアドレスはおそらくプロセスによってアクセス可能ではありません。だからどのようにセグメンテーションフォルトが発生しませんか？プログラムの出力は -

ptr1 = 0x41414141

私はgccでLinux上でこのプログラムをコンパイルしています。

Answer 1

注：この回答は、この特定のケースでコードがどのように機能するかを説明しています。より完全な回答については、@ Lundin postを参照してください。

---

(unsigned int *)(argv[1])unsigned int*からchar*に変換します。

*((unsigned int *)(argv[1]))逆参照char*からunsigned int*に変換されます。

argv[1]がAAAA文字列を指すとします。 41 41 41 41（16進数）としてメモリに格納されます。これをunsigned intと解釈すると、ptr1 = 0x41414141となります。

は、以下の図を見てみましょう：左ビューアはchar*としてメモリを解釈し、右ビューアがunsigned int*として解釈（リトルエンディアン/ビッグエンディアンの違いに気を気にしない）：

を

segfaultの理由はありません

Answer 2

このコードはとても危険です。コードがないと、なぜそれが悪い何であるかのステップバイステップの説明：

• argvは、文字（char*[]）へのポインタの配列です。またはもしそうなら、そのような文字へのポインタの配列の最初の項目へのポインタ（char**）。

• argv[0]実行可能ファイルの名前を指し、argv[1]は、渡された最初の引数へのポインタです。

• (unsigned int *)(argv[1])は、char*のポインタをintへのポインタunsigned int*にキャストします。これは決して安全な変換であることは保証されません。この新しい整数アドレスがずれている場合

  • 、それは未定義の動作、おそらくプログラムがクラッシュを呼び出しますアクセス：ここでは二つの主要なバグがあります。

  • 変換は（簡単に言えば）厳密なエイリアシング規則の違反では、コンパイラは、内容がchar*によって指し示さが他のランダムなポインタ型を介してアクセスされることはないと仮定することができると述べています。したがって、コンパイラは、argv[i]が指すメモリがプログラムで使用されることはないと想定することがあります。未定義のビヘイビアを呼び出すと、奇妙な最適化が発生することがあります。特定のコンパイラは非標準の拡張機能として、ポインタの変換のための確定的な動作を指定していること、それが整数だったかのように、それは先の尖った-で文字列にアクセスしようと考える

• 。文字列がたとえば"ABCD"の場合、結果の整数（32ビットと仮定）は0x41424344または0x44434241のいずれかになります。適用されるのは、CPUのエンディアンに依存します。そのようなコードは移植性がありません。ただメモリへのアクセスが

は、もちろんいかなる影響を引き起こすことはありませんargv配列が指します。このメモリを読み取れなかった場合は、argvパラメータを使用することは不可能です。格納方法はOSに依存しますが、プロセスがアクセスできる内部アドレス空間でなければなりません。

したがって、割り当てられたメモリ内でアクセスを維持している限り、プログラムは確実にクラッシュしたり、エラーが発生したりすることはありません。文字列argv[1]がちょうど1文字の長さだった場合、segフォルトが発生している可能性があります。