泛型:更好的匹配方法【翻译】

原文地址: http://www.srtsolutions.com/generics-the-better-method-match?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed%3A+billwagner+%28Bill+Blogs+in+C%23%29

 

这个问题又出现在我参与分享的一个C#开发人员邮件列表中。因为还有这一主题的合理数量混乱，我想我会发布规则以及这些规则背后的原因。

 

这里发布的所有东西都来自<<C#语言规范>>(第四版)  7.5.2节(类型引用) 和7.5.3节(重载解析).

 

考虑这两个Log的重载方法:

    

static void Log<K,V>(K key, V value)

static void Log<K,V>(string key, IDictionary<K, V> values)

假如你调用下列代码:

 

class FooDict : Dictionary<string, int>

{

}

// create custom dictionary

FooDict fooDict = new FooDict();

// should *not* use the IDictionary<K,V>

Log("FooDict", fooDict);

// try a regular dictionary value

Dictionary<string, int> dict = fooDict;

// should *not* use the IDictionary<K,V> 

Log("Dictionary", dict);

// now try the EXACT type

IDictionary<string, int> idict = fooDict;

// should use the IDictionary<K,V> - does

Log("IDictionary", idict);

注释描述了代码的调用执行情况，为什么会有这样的结果？

作任何操作执行之前，编译器会先寻找所有合适的候选方法，那些候选方法可能包括泛型方法。如果方法调用不指定参数具体类型，编译器就会推断参数类型。Eric Lippert在说明的解释已经很详细了（如下）

类型推断规则被设计成回答一个问题：仅给定实参和形式参数类型,什么是最合适的实参被推断成每个类型参数。

对于第一个重载方法，Log<string, FooDict>是推断出最匹配的参数类型。现在分析下重载的运算规则，有两个候选方法。使用类型推断，第一个重载方法更匹配，因为调用第一个重载方法是确定转换:Log<string, FooDict> 是一个来自于Log<string, FooDict>的确定转换，调用第二个重载方法则是一个继承转换，Log<string, FooDict> 到Log<string, IDictionary<string, int>>的继承转换，因为FooDict类继承IDictionary<string, int>接口。确定转换优先于接口转换。

同样的处理逻辑可以应用于其它的继承转换：比如转换成父类，长度转换(如int类型转成long类型)或者用户定义类继承转换。

引用规范和说”就是这样工作运行的”是一样的，但是为什么这是正确的选择对于编程语言来说呢？简略地说，因为接口类型在真正编译的时候类型转换才起作用(注:泛型是生成后就已经起作用了)。 我完成的部分已经发布到这里 C# Puzzlers Live Lessons。

以下是本人写的完整的测试运行代码

class Program

    {

        static void Main(string[] args)

        {

            // create custom dictionary

            FooDict fooDict = new FooDict();

            // should *not* use the IDictionary<K,V>

            Logger.Log("FooDict", fooDict);

            // try a regular dictionary value

            Dictionary<string, int> dict = fooDict;

            // should *not* use the IDictionary<K,V> 

            Logger.Log("Dictionary", dict);

            // now try the EXACT type

            IDictionary<string, int> idict = fooDict;

            // should use the IDictionary<K,V> - does

            Logger.Log("IDictionary", idict);

        }

    }

     class FooDict : Dictionary<string, int>

    {

    }

    class Logger

    { 

        public static void Log<K, V>(string key, IDictionary<K, V> values)

        {

            Console.WriteLine("call:Log<K, V>(string key, IDictionary<K, V> values)");

        }

        public static void Log<K, V>(K key, V value)

        {

            Console.WriteLine("call:Log<K,V>(K key, V value)");

        }

    }