C#泛型回顾点滴

前言

C#的泛型一直是学习者津津乐道的课题了，这确实是一个非常有用的特性，不过在实际使用中，还是有很多需要注意的地方，我们需要通过自己动手实践以及结合理论进行理解，最终总结出自己的编码规范和最佳实践

案例1

internal struct TestStruct : IEquatable<TestStruct>
{
    bool IEquatable<TestStruct>.Equals(TestStruct other)
    {
        return true;
    }
}

internal class TesterClass
{
    // Methods
    public static bool AreEqual<T>(T arg1, T arg2) where T : IEquatable<T>
    {
        return arg1.Equals(arg2);
    }

    public static void Run()
    {
        TestStruct t1 = new TestStruct();
        TestStruct t2 = new TestStruct();
        Debug.Assert(((IEquatable<TestStruct>)t1).Equals(t2));
        Debug.Assert(AreEqual<TestStruct>(t1, t2));
    }
}

案例2

class Program
{
    static void Main(string[] args)
    {
        Print1(1);
        Print2(1);
        Print3(1);

        string a = "ABC";
        string b = "AB";
        string c = b + "C";

        bool genericEquals = IsEquals<string>(a, c);
        bool directEquals = (a == c);

        Console.ReadKey();
    }

    static void Print1<T>(T item)
        where T : struct
    {
        string s = item.ToString();
    }

    static void Print2<T>(T item)
    {
        string s = item.ToString();
    }

    static void Print3(int item)
    {
        string s = item.ToString();
    }

    static bool IsEquals<T>(T t1, T t2)
        where T : class
    {
        return t1 == t2;
    }

}

思考以上代码，在内部是怎样的执行过程？结果如何？为什么？

要点

• 泛型中的装箱和拆箱
• 泛型中的逆变与协变

未完待续、、、

参考：

http://stackoverflow.com/questions/5531948/how-does-a-generic-constraint-prevent-boxing-of-a-value-type-with-an-implicitly

http://stackoverflow.com/questions/4403055/boxing-unboxing-and-generics

http://stackoverflow.com/questions/390900/cant-operator-be-applied-to-generic-types-in-c

http://blogs.msdn.com/b/ericlippert/archive/2010/09/30/the-truth-about-value-types.aspx