C# でボックス化とアンボックス化が必要なのはなぜですか? 質問する

なぜ

統一された型システムを持ち、値型が、参照型が基になるデータを表す方法とはまったく異なる基になるデータの表現を持つことを許可します (たとえば、 はint32 ビットのバケットであり、参照型とはまったく異なります)。

o次のように考えてください。型の変数がありますobject。 そして、 がありint、それを に入れたいとしますo。はoどこかの何かへの参照ですが、 はintどこかの何かへの参照ではありません (結局のところ、単なる数値です)。 つまり、objectを格納できる新しい を作成しint、そのオブジェクトへの参照を に割り当てますo。 このプロセスを「ボックス化」と呼びます。

したがって、統一された型システムを必要としない場合 (つまり、参照型と値型の表現方法が大きく異なり、これら 2 つを「表現」する共通の方法を必要としない場合)、ボックス化は必要ありません。int基になる値を表現する必要がない場合 (つまり、代わりにint参照型も必要であり、基になる値への参照を格納するだけの場合)、ボックス化は必要ありません。

どこで使えばいいですか。

たとえば、古いコレクション型はsArrayListのみを消費しますobject。つまり、どこかに存在するものへの参照のみを格納します。ボックス化しないと、intそのようなコレクションに を入れることはできません。しかし、ボックス化すれば可能です。

ジェネリック医薬品の時代では、このようなことは実際には必要なく、この問題について考えずに楽しく過ごすことができます。ただし、注意すべき点がいくつかあります。

これは正しいです：

double e = 2.718281828459045;
int ee = (int)e;

double e = 2.718281828459045;
object o = e; // box
int ee = (int)o; // runtime exception

double e = 2.718281828459045;
object o = e; // box
int ee = (int)(double)o;

double e = 2.718281828459045;
double d = e;
object o1 = d;
object o2 = e;
Console.WriteLine(d == e);
Console.WriteLine(o1 == o2);

double e = 2.718281828459045;
object o1 = e;
object o2 = e;
Console.WriteLine(o1 == o2);

Console.WriteLine(o1.Equals(o2));

[struct|class] Point {
    public int x, y;

    public Point(int x, int y) {
        this.x = x;
        this.y = y;
    }
}

Point p = new Point(1, 1);
object o = p;
p.x = 2;
Console.WriteLine(((Point)o).x);