C# のボックス化・ボックス化解除とは何か、大量処理で効いてくる理由

みなさんこんにちは！ヒロポンです！

古い業務システムのコードを触っていると、ArrayList に値を詰めて回すループが「なんか遅いな？？」と引っかかることがあります。

同じ処理を List<int> に置き換えると、なぜかスッと速くなる。

この差の正体が ボックス化です。この記事では、C# ボックス化 とは何かを、値型と参照型のメモリの動きから一段ずつ積み上げて説明します。そのうえで、大量処理でパフォーマンスを落とさない書き換えを3つ紹介します。

理屈が腹に落ちると、「どこでボックス化が起きてるか」が読めるようになる。そこがゴールです。

ArrayList や object 引数が「なんか遅い」正体

まず、何が問題なのかを整理します。

int や DateTime のような値型を、object 型や ArrayList に入れると、C# は裏で「値をヒープにコピーして箱に入れる」処理を走らせています。これがボックス化。

1回あたりのコストは小さい。だから単発なら気にしなくていい。問題は、大量ループの中で無意識に繰り返されるとき。塵も積もれば、で効いてきます。

ここまでで分かったこと：値型を object 扱いすると裏でコピーが走る。単発は無害、大量ループで効く。

ボックス化以前に：値型と参照型はメモリのどこにいるか

ボックス化を理解するなら、その手前で値型と参照型の置き場所を押さえておきます。

• 値型（int / double / bool / struct / DateTime など）：値そのものがその場に置かれる。ローカル変数ならスタック上に載る
• 参照型（class / string / 配列 / object など）：実体はヒープにあって、変数はそこへの参照（アドレス）を持つ

C# はこの2つを区別して扱います。値型は軽くて速い。その代わり、object として扱おうとすると「参照型の世界」に持ち込む変換が要る。この変換がボックス化です。

ここまでで分かったこと：値型はその場に値が載る。object（参照型）として扱うには変換が要る。

ボックス化・ボックス化解除とは

用語を1文で定義しておきます。

ボックス化（boxing）とは、値型の値をヒープ上に確保した箱にコピーして、object や interface 型として参照できるようにする処理です。 逆に、その箱から値型を取り出してコピーし直すのがボックス化解除（unboxing）です。

コードで見ると、たった2行で両方が起きます。

int n = 42;
object boxed = n;      // ボックス化：ヒープに箱を作って 42 をコピー
int m = (int)boxed;    // ボックス化解除：箱から 42 を取り出してコピー

object boxed = n; の時点で、42 という値がまるごとヒープにコピーされています。boxed はその箱を指しているだけ。元の n とは別物になっている。ここがポイントです。

ここまでで分かったこと：boxing は「値→箱にコピー」、unboxing は「箱→値にコピー」。どちらもコピーが走る。

ボックス化の仕組み（メモリの動き）

さっきの2行、メモリの中では何が起きているか。図にします。

注目は B の「ヒープに箱を確保」の部分です。ヒープにオブジェクトを1個作るというのは、GC（ガベージコレクタ）が後で回収する対象を1個増やす、という意味になります。

1個なら誤差。でも100万回ループで100万個の箱を作れば、GC はそのぶん頻繁に走る。これが「大量ループで効いてくる」の中身です。

ここまでで分かったこと：ボックス化はヒープ確保を伴う。回数が増えると GC の仕事が増える。

ボックス化を避ける書き換え3つ

仕組みが分かったところで、実務での回避策です。どれもコピペで試せます。

書き換え1: ArrayList → List

一番よく効くのがこれ。ArrayList は要素を object で持つので、値型を入れるたびにボックス化、取り出すたびにボックス化解除が起きます。List<int> なら int のまま格納するから、ボックス化しません。

見た目はほとんど同じ。違うのは ArrayList か List<int> かだけ。それだけで100万回ぶんのボックス化が丸ごと消えて、いい感じに軽くなります。

書き換え2: object 引数 → ジェネリック

object 型の引数も、値型を渡すたびにボックス化します。ジェネリックにすれば、値型のまま受け取れる。

// object 引数：値型を渡すたびにボックス化
bool AreEqual(object a, object b) => a.Equals(b);
AreEqual(1, 1);   // 1 が2回ボックス化される

// ジェネリック + 型制約：ボックス化しない
bool AreEqualG<T>(T a, T b) where T : IEquatable<T> => a.Equals(b);
AreEqualG(1, 1);  // int のまま、IEquatable<int>.Equals が呼ばれる

where T : IEquatable<T> の制約がミソです。これを付けると a.Equals(b) が int 用の Equals を直接呼ぶので、こんな感じで箱を作らずに済みます。制約なしだと object.Equals(object) 経由になって、結局ボックス化してしまう。

書き換え3: 無意識のボックス化を測って確かめる

「本当にそんな差が出るの？？」を体感するために、ArrayList と List<int> を実際に回して時間を測ってみます。

using System;
using System.Collections;
using System.Collections.Generic;
using System.Diagnostics;

class Program
{
    static void Main()
    {
        const int N = 10_000_000;

        var sw = Stopwatch.StartNew();
        var arr = new ArrayList();
        for (int i = 0; i < N; i++) arr.Add(i);   // 毎回ボックス化
        long sum1 = 0;
        foreach (int x in arr) sum1 += x;          // 毎回ボックス化解除
        sw.Stop();
        Console.WriteLine($"ArrayList: {sw.ElapsedMilliseconds} ms (sum={sum1})");

        sw.Restart();
        var list = new List<int>();
        for (int i = 0; i < N; i++) list.Add(i);   // ボックス化なし
        long sum2 = 0;
        foreach (int x in list) sum2 += x;
        sw.Stop();
        Console.WriteLine($"List<int>: {sw.ElapsedMilliseconds} ms (sum={sum2})");
    }
}