int[] myIntegers;
myIntegers = new int[100];上記のコードで、新しいint [100]はヒープ上に配列を生成していますか？C＃を介してCLRで読んだことから、答えは「はい」です。しかし、私が理解できないのは、配列内の実際のintに何が起こるかです。それらは値の型なので、たとえば、ボックスにボックス化する必要があると思います。たとえば、myIntegersをプログラムの他の部分に渡すと、常に残っているとスタックが乱雑になります。 。それとも私は間違っていますか？私はそれらがボックス化されるだけで、配列が存在する限りヒープ上に存在すると思います。
回答:
配列はヒープに割り当てられ、intはボックス化されません。
参照型はヒープに割り当てられ、値型はスタックに割り当てられると人々が言っているため、混乱の原因が考えられます。これは完全に正確な表現ではありません。
すべてのローカル変数とパラメーターはスタックに割り当てられます。これには、値タイプと参照タイプの両方が含まれます。2つの違いは、変数に格納されるものだけです。当然のことながら、値型の場合、型の値は直接変数に格納され、参照型の場合、型の値はヒープに格納され、この値への参照は変数に格納されます。
フィールドについても同様です。集計タイプ（a classまたはastruct）の、そのインスタンスフィールドごとにストレージが含まれている必要があります。参照タイプのフィールドの場合、このストレージは値への参照のみを保持します。値自体は後でヒープに割り当てられます。値タイプのフィールドの場合、このストレージには実際の値が保持されます。
したがって、次のタイプが与えられます：
class RefType{
public int I;
public string S;
public long L;
}
struct ValType{
public int I;
public string S;
public long L;
}これらの各タイプの値には、16バイトのメモリが必要です（32ビットのワードサイズを想定）。フィールドIそれぞれの場合には、その値を格納するために4つのバイトをとり、フィールドは、Sその参照を格納するために4つのバイトを取り、フィールドはLその値を格納する8つのバイトを取ります。両方の値のためのメモリだから、RefTypeとValType次のようになります。
0┌───────────────────┐ │I│ 4├───────────────────┤ │S│ 8├───────────────────┤ │L│ ││ 16└───────────────────┘
今、あなたはタイプの関数内の3つのローカル変数を、持っていた場合RefType、ValTypeおよびint[]、このように：
RefType refType;
ValType valType;
int[] intArray;スタックは次のようになります。
0┌───────────────────┐ │refType│ 4├───────────────────┤ │valType│ ││ ││ ││ 20├───────────────────┤ │intArray│ 24└───────────────────┘
次のように、これらのローカル変数に値を割り当てた場合：
refType = new RefType();
refType.I = 100;
refType.S = "refType.S";
refType.L = 0x0123456789ABCDEF;
valType = new ValType();
valType.I = 200;
valType.S = "valType.S";
valType.L = 0x0011223344556677;
intArray = new int[4];
intArray[0] = 300;
intArray[1] = 301;
intArray[2] = 302;
intArray[3] = 303;次に、スタックは次のようになります。
0┌───────────────────┐ │0x4A963B68│-`refType`のヒープアドレス 4├───────────────────┤ │200│-`valType.I`の値 │0x4A984C10│-「valType.S」のヒープアドレス │0x44556677│-`valType.L`の下位32ビット │0x00112233│-`valType.L`の上位32ビット 20├───────────────────┤ │0x4AA4C288│-「intArray」のヒープアドレス 24└───────────────────┘
アドレス0x4A963B68（の値refType）のメモリは次のようになります。
0┌───────────────────┐ │100│-`refType.I`の値 4├───────────────────┤ │0x4A984D88│-「refType.S」のヒープアドレス 8├───────────────────┤ │0x89ABCDEF│-「refType.L」の下位32ビット │0x01234567│-`refType.L`の上位32ビット 16└───────────────────┘
アドレス0x4AA4C288（の値intArray）のメモリは次のようになります。
0┌───────────────────┐ │4│-配列の長さ 4├───────────────────┤ │300│-`intArray [0]` 8├───────────────────┤ │301│-`intArray [1]` 12├───────────────────┤ │302│-`intArray [2]` 16├───────────────────┤ │303│-`intArray [3]` 20└───────────────────┘
これで、intArray別の関数に渡した場合、スタックにプッシュされる値0x4AA4C288は、配列のコピーではなく配列のアドレスになります。
はい、アレイはヒープ上に配置されます。
配列内の整数はボックス化されません。値型がヒープに存在するからといって、必ずしもボックス化されるとは限りません。ボクシングは、intなどの値型が型オブジェクトの参照に割り当てられている場合にのみ発生します。
例えば
ボックス化しない：
int i = 42;
myIntegers[0] = 42;ボックス：
object i = 42;
object[] arr = new object[10]; // no boxing here
arr[0] = 42;この件に関するエリックの投稿もご覧ください。
何が起こっているのかを理解するために、ここにいくつかの事実があります：
したがって、整数の配列がある場合、配列はヒープに割り当てられ、そこに含まれる整数はヒープ上の配列オブジェクトの一部です。整数は、個別のオブジェクトとしてではなく、ヒープ上の配列オブジェクト内に存在するため、ボックス化されません。
文字列の配列がある場合、それは実際には文字列参照の配列です。参照は値型であるため、ヒープ上の配列オブジェクトの一部になります。文字列オブジェクトを配列に入れると、実際には文字列オブジェクトへの参照が配列に入れられ、文字列はヒープ上の個別のオブジェクトになります。
あなたの質問の中心にあるのは、参照型と値型に関する誤解だと思います。これはおそらく、すべての.NETおよびJava開発者が苦労したことです。
配列は単なる値のリストです。それは（例えば、参照型の配列の場合string[]）、配列は、種々の参照のリストであり、string基準となるように、ヒープ上のオブジェクト値の参照タイプの。内部的には、これらの参照はメモリ内のアドレスへのポインタとして実装されています。これを視覚化したい場合、そのような配列はメモリ内（ヒープ上）で次のようになります。
[ 00000000, 00000000, 00000000, F8AB56AA ]
これは、ヒープ上のオブジェクトstringへの4つの参照を含むの配列ですstring（ここの数値は16進数です）。現在、最後のものだけがstring実際に何かを指しています（メモリは割り当て時にすべてゼロに初期化されます）。この配列は、基本的にはC＃のこのコードの結果です。
string[] strings = new string[4];
strings[3] = "something"; // the string was allocated at 0xF8AB56AA by the CLR上記の配列は、32ビットプログラムになります。64ビットプログラムでは、参照は2倍の大きさにF8AB56AAなります（になります00000000F8AB56AA）。
あなたは（と言う値型の配列を持っている場合int[]）のように、アレイは、整数のリストである値値型のは、ある値自体（名前の由来）。このような配列の視覚化は次のようになります。
[ 00000000, 45FF32BB, 00000000, 00000000 ]
これは4つの整数の配列で、2番目のintのみに値が割り当てられ（1174352571はその16進数の10進表記です）、残りの整数は0になります（前述のように、メモリはゼロに初期化されます） 16進数の00000000は10進数の0です）。この配列を生成したコードは次のようになります。
int[] integers = new int[4];
integers[1] = 1174352571; // integers[1] = 0x45FF32BB would be valid tooこのint[]配列もヒープに格納されます。
別の例として、short[4]配列のメモリは次のようになります。
[ 0000, 0000, 0000, 0000 ]
a の値はshort2バイトの数値であるため。
値の型が格納される場所は、Eric Lippertがここで非常によく説明する実装の詳細にすぎず、値と参照の型の違い（動作の違い）に固有のものではありません。
メソッドに何か（参照型または値型）を渡すと、型の値のコピーが実際にメソッドに渡されます。参照型の場合、値は参照であり（これはメモリの一部へのポインタと考えてください。これは実装の詳細でもあります）、値型の場合、値はそのものです。
// Calling this method creates a copy of the *reference* to the string
// and a copy of the int itself, so copies of the *values*
void SomeMethod(string s, int i){}ボクシングは、値型を参照型に変換した場合にのみ発生します。このコードボックス：
object o = 5;これらは、@ P Daddyによる上記の回答を描いたイラストです
そして、対応するコンテンツを自分のスタイルでイラスト化しました。
サンプルコードにはボクシングはありません。
値型は、intの配列と同じようにヒープ上に存在できます。配列はヒープに割り当てられ、値の型であるintを格納します。配列の内容はdefault（int）に初期化され、たまたまゼロです。
値タイプを含むクラスを考えてみましょう：
class HasAnInt
{
int i;
}
HasAnInt h = new HasAnInt();変数hは、ヒープ上に存在するHasAnIntのインスタンスを参照します。たまたま値型が含まれているだけです。それはまったく問題ありません。「i」はクラスに含まれているため、たまたまヒープ上に存在します。この例でもボクシングはありません。
十分だと誰もが言っていますが、誰かがヒープ、スタック、ローカル変数、静的変数に関する明確な（ただし非公式の）サンプルとドキュメントを探している場合は、Jon Skeetの.NETのメモリに関する記事を参照してください。どこ
抜粋：
各ローカル変数（つまり、メソッドで宣言されたもの）はスタックに格納されます。これには参照型変数が含まれます-変数自体はスタック上にありますが、参照型変数の値は参照（またはnull）のみであり、オブジェクト自体ではないことに注意してください。メソッドパラメータもローカル変数としてカウントされますが、ref修飾子を使用して宣言されている場合、独自のスロットは取得されませんが、呼び出しコードで使用されている変数とスロットを共有します。詳細については、パラメーターの受け渡しに関する私の記事を参照してください。
参照型のインスタンス変数は常にヒープ上にあります。これは、オブジェクト自体が「生きている」場所です。
値型のインスタンス変数は、値型を宣言する変数と同じコンテキストに格納されます。インスタンスのメモリスロットには、インスタンス内の各フィールドのスロットが事実上含まれています。つまり、（前の2つの点を考えると）メソッド内で宣言された構造体変数は常にスタック上にありますが、クラスのインスタンスフィールドである構造体変数はヒープ上にあります。
すべての静的変数は、参照型内で宣言されているか値型内で宣言されているかに関係なく、ヒープに格納されます。作成されるインスタンスの数に関係なく、合計でスロットは1つだけです。（ただし、その1つのスロットが存在するためにインスタンスを作成する必要はありません。）変数が存在する正確なヒープの詳細は複雑ですが、この件に関するMSDNの記事で詳しく説明されています。