Question

c# 泛型为什么能解决装箱拆箱问题

比如一个普通的Test类
int obj = 2;
Test test = new Test(obj);
obj是一个int类型，是值类型，在new Test的时候传进去的obj是引用类型？反观泛型，

Test<int> test = new Test<int>(obj); 这里obj传进去的就还是值类型？这个类型转换是什么在时候发生的呢？

Answer 1

你要明白装箱拆箱只是在值类型与引用类型相互转换的时候才发生的，值转引用叫装箱，引用转值类称拆箱。两种类型的内存处理机制是不同的，因此不能直接拿来用的。
我们再把话题回到你刚说的例子上，如果test的构造函数的形参是引用类型必然发生装箱操作,值类型是不会的这类操作的。
泛型为什么不会呢，很简单，你在定义范型对象的时候要明确指定传入时的具体类型，所以相同类型之间当然不用装拆箱之类的操作了，这也是为什么使用范型能够提升性能的重要原因了。

Answer 2

1. 使用非泛型集合时引发的装箱和拆箱操作
var array = new ArrayList();
array.Add(1);
array.Add(2);

foreach (int value in array)
{
Console.WriteLine(“value is {0}”,value);
}

代码声明了一个ArrayList对象，向ArrayList中添加两个数字1，2；然后使用foreach将ArrayList中的元素打印到控制台。
在这个过程中会发生两次装箱操作和两次拆箱操作，在向ArrayList中添加int类型元素时会发生装箱，在使用foreach枚举ArrayList中的int类型元素时会发生拆箱操作，将object类型转换成int类型，在执行到Console.WriteLine时，还会执行两次的装箱操作；这一段代码执行了6次的装箱和拆箱操作；如果ArrayList的元素个数很多，执行装箱拆箱的操作会更多。
你可以通过使用ILSpy之类的工具查看IL代码的box，unbox指令查看装箱和拆箱的过程
2. 使用泛型集合的情况
请看如下代码：

var list = new List<int>();
list.Add(1);
list.Add(2);

foreach (int value in list)
{
Console.WriteLine("value is {0}", value);
}

代码和1中的代码的差别在于集合的类型使用了泛型的List，而非ArrayList；我们同样可以通过查看IL代码查看装箱拆箱的情况，上述代码只会在Console.WriteLine()方法时执行2次装箱操作，不需要拆箱操作。
可以看出泛型可以避免装箱拆箱带来的不必要的性能消耗；当然泛型的好处不止于此，泛型还可以增加程序的可读性，使程序更容易被复用等等。
本文使用的C#代码如下：
using System;
using System.Collections;
using System.Collections.Generic;

namespace boxOrUnbox
{
class Program
{
static void Main(string[] args)
{
//do nothing
}

static void Box()
{
object objValue = 9;
}

static void Unbox()
{
object objValue = 4;
int value = (int)objValue;
}

static void LookatArrayList()
{
var array = new ArrayList();
array.Add(1);
array.Add(2);

foreach (int value in array)
{
Console.WriteLine("value is {0}", value);
}
}

static void LookatGenericList()
{
var list = new List<int>();
list.Add(1);
list.Add(2);

foreach (int value in list)
{
Console.WriteLine("value is {0}", value);
}
}
}
}

Answer 3

泛型 根据泛型类型参数 会在运行时产生多个类型
Test<T> 这个类型为类型模板，当使用是根据你的使用产生多个基于Test<T> 的类型 而当T=int是
产生的新类型中所有使用T的位置会替换为Int，所以不存在装箱与拆箱的问题
泛型 也可以理解为运行时模板类型，根据类型参数替换模板内类型变量

Answer 4

泛型不发生装箱，因为CLR会为每一个值类型生成一个全新的封闭泛型，也就是生成Test<int> Test<float> Test<bool>等等类型，所以使用的时候不需要拆装箱