C#效率优化（1）-- 使用泛型时避免装箱

　　本想接着上一篇详解泛型接着写一篇使用泛型时需要注意的一个性能问题，但是后来想着不如将之前的详解xx系列更正为现在的效率优化xx系列，记录在工作时遇到的一些性能优化的经验和技巧，如果有什么不足，还请大家多多指出；

　　在使用集合时，通常为了防止装箱操作而选择list<t>、dictionary<tkey, tvalue>等泛型集合，但是在使用过程中如果使用不当，依然会产生大量的装箱操作；

　　首先，将值类型的实例当做引用类型来使用时，即会产生装箱，例如：

int num = 10;
object obj = num;
iequatable<int> iequatable = num;

　　其次，对于自定义结构，在正常使用时，通常需要注意一些误装箱的操作：

public struct mystruct
{
   public int mynum;
}

　　对该结构mystruct的实例调用基类object中的方法时，都会进行装箱操作，对于静态方法（equals、referenceequals）很好理解，对于实例方法，在clr调用实例方法时，实际上会把调用这个方法的对象当作第一个参数传入实例方法，而基类object中的实例方法都会将object类型的对象作为第一个参数，因此也会发生装箱，这其中的实例方法包括gettype和虚方法equals、gethashcode、tostring；

　　其中，gettype方法本身就是通过堆内存中与实例数据一起存储的方法表指针来获取实例类型信息的，对于值类型实例，本身就没有这个开销成员，此处应使用typeof()运算符代替避免装箱；

　　三个虚方法可以通过在mystruct中重写来防止装箱操作；但是对于equals方法，有一些需要区别注意的地方：

　　在调用值类型基类valuetype中的valuetype.equals(object obj)方法进行比较操作时，会对当前实例和实参obj进行装箱，共两次装箱（抽象基类valuetype依然是类类型）；在mystruct中重写了该方法mystruct.equals(object obj)，在调用mystruct1.equals(mystruct2)时，依然会对mystruct2进行装箱，共一次装箱，此时我们可以在mystruct中声明一个equals的重载方法，参数类型同样为mystruct，同时对==和!=运算符进行重载：

public struct mystruct
{
    public int mynum;
    public override bool equals(object obj)  //调用时会对实参进行装箱
    {
        if (!(obj is mystruct))
        {
            return false;
        }
        mystruct other = (mystruct)obj;  //拆箱
        return this.mynum == other.mynum;
    }
    public bool equals(mystruct other)  //重载equals方法，避免装箱
    {
        return this.mynum == other.mynum;
    }
    public static bool operator ==(mystruct left, mystruct right)  //比较时通常采用==运算符
    {
        return left.equals(right);
    }
    public static bool operator !=(mystruct left, mystruct right)
    {
        return !(left == right);
    }
}

　　此时，在调用mystruct1.equals(mystruct2)、mystruct1 == mystruct2、mystruct1 != mystruct2时都不再产生装箱操作；

　　但是，在使用泛型方法时，例如对于以下的方法，重载方法并不会生效：

static bool myfunc<t>(t obj1, t obj2)
{
    return obj1.equals(obj2);
}

　　查看其生成的il代码可以清楚的知道不生效的原因：

　　其中默认对obj2进行了box指令调用，而对于obj1，在调用callvir指令时加入了前缀constrained指令，则会判断obj1的类型定义中是否存在equals方法的重写，如果有则调用重写方法，如果没有，则装箱后调用基类valuetype中的虚方法；前面mystruct的定义中重写了equals方法，因此会调用该重写方法，此时只触发一次对obj2的装箱，但依然不是我们想要的；

　　为了避免这个问题，我们需要在mystruct的定义中实现iequatable<t>接口，并在这个泛型方法的声明中添加约束：

public struct mystruct : iequatable<mystruct>
{
    public int mynum;
    public override bool equals(object obj)
    {
        if (!(obj is mystruct))
        {
            return false;
        }
        mystruct other = (mystruct)obj;
        return this.mynum == other.mynum;
    }
    public bool equals(mystruct other)  //实现iequatable<t>接口中的方法
    {
        return this.mynum == other.mynum;
    }
    public static bool operator ==(mystruct left, mystruct right)
    {
        return left.equals(right);
    }
    public static bool operator !=(mystruct left, mystruct right)
    {
        return !(left == right);
    }
}

static bool myfunc<t>(t obj1, t obj2) where t : iequatable<t>
{
      return obj1.equals(obj2);
}

　　此时，查看其il代码，可以发现没有了box指令，避免了装箱操作：

　　对泛型集合list<mystruct>使用一些内含比较的实例方法时，也会遇到上面的装箱问题，解决方法同样是实现iequatable<t>接口；以常用的contains方法举例：

　　list<mystruct>中的contains方法中会调用泛型抽象类equalitycomparer<t>.default的实例来进行比较，而在抽象类equalitycomparer<t>中，会根据类型参数t实例化对应的具体类实例，具体可查看equalitycomparer<t>.createcomparer()中的实例生成逻辑，其中，会根据t是否实现了iequatable<t>接口而实例化不同的类的实例：

internal class genericequalitycomparer<t>: equalitycomparer<t> where t: iequatable<t>

internal class objectequalitycomparer<t>: equalitycomparer<t>

　　这两个类的具体实现这里不再赘述；

　　基于上面的理解，对于值类型，实现基类的虚方法和iequatable<t>接口对于避免装箱十分有必要；

如果您觉得阅读本文对您有帮助，请点一下“推荐”按钮，您的认可是我写作的最大动力！

作者：minotauros
出处：

本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出原文连接，否则保留追究法律责任的权利。