C++で構造体へのポインタを宣言すると、そのメンバに自動的にメモリが割り当てられます。私が間違っている？

Question

次のコードを書きましたが、メモリを割り当てなかった構造体のメンバーにアクセスしようとするとクラッシュすると考えました。しかし、私はC++が自動的に構造体のメモリを割り当てたことにかなり驚いていました。それは正常な行動ですか？比較のために、オブジェクトへのポインタを宣言し、実際にオペレータ "new"でオブジェクトを作成せずにメンバにアクセスしようとすると、プログラムがクラッシュします。私は信じられないときにそれがなぜ機能するのか不思議です。

これは私のプログラムです：

#include <stdio.h> 

struct Produto 
{ 
    int codigo; 
    float preco; 
}; 

int main() 
{ 
    struct Produto* sabonete; 
    sabonete->codigo = 654321; 
    sabonete->preco = 0.85; 

    printf("Codigo = %i\n", sabonete->codigo); 
    printf("Preco = R$ %.2f\n", sabonete->preco); 

    return 0; 
} 

は、OS：Windows 7の
はコンパイラ：MinGWのGCC 4.6.1

Answer 1

C++は自動的にメモリを割り当てることができませんでした。ポインタはあなたのプログラムのメモリ空間内の有効なアドレスであったばかりの任意の値を保持していますので、segfaultを取得しませんでした。あなたのプログラムは未定義の動作を示し、次回実行時に動作しない可能性があります。

未定義の動作ではなく、はクラッシュを保証します。そのため、未定義と呼ばれています。

Answer 2

あなたはそれが何でsaboneteポイント未定義だ2行目に未定義の動作

に遭遇しました。あなたがそれを変更すると何かを壊さないメモリを指し示すことができます。あるいは、あなたがそれを変更したときに核を起動するメモリを指すことができます。

C++はメモリをまったく割り当てていないため、何も破壊しないようにメモリを踏んでいるだけです。

Answer 3

全く反対です。そのポインタは初期化されておらず、逆参照によってUBを呼び出しています。ポインタが必要な場合は、既存のポインタを使用して、またはnewを呼び出すことによって初期化する必要があります（または、これはC++なので、割り当て/破棄を処理するためのコンテナとして機能するオブジェクト、つまりRAIIです）。

未定義の動作は、のいずれかがになる可能性があることを意味します。確かに、メモリのレイアウトのせいで何時でも動作するように見えるかもしれませんが、常にそうなるという保証はなく、このようなコードを書くべきではありません。

Answer 4

g ++コンパイラは、NULLに割り当てられていないポインタを初期化しないため、メモリ内の最初の外観のように見える部分を指している可能性があります。

あなたはボンネットの下「が起こってきた可能性があり、」何に興味がある場合はご質問、はい、あなたがあなたのオブジェクトにメモリを割り当てることを望んでいない通常の未定義の動作です:)

Answer 5

に答えるために、お使いのプラットフォームのsaboneteが4バイト幅で（ポインタとして）、メインがパラメータを宣言していない（OSがいずれの場合でも使用可能になっている）ので、通常はパラメータの逆になる同じメモリ空間を占有する可能性があると考えてください注文。

char ** argvは、コマンドライン部分を含む文字列を指すポインタ配列（少なくとも16個以上含む）を指しています。

あなたは実際にあなたの値をそのアレイ上に書いていますが、それはあなたのプログラムに属しているので、OSは文句を言うことはありません。そして、あなたが元の値を参照することは決してありませんし、他の誰もそれらを変更しないので、すべてが正常に動作しています。

しかし、そうではありません。これはあなたが他の何かのために使用中のスペースにフィッティングすることが幸運だったからです - この場合は興味があります。