泛型类型何时确定？可以影响吗？

Question

我一直在玩泛型，并且看到了一些奇怪的东西。希望大家给个解释！为了让一切变得更容易，我将“问题”放在一个例子中：

namespace Lab
{
    public class Animal
    {
        public Animal(string sound)
        {
            this.Sound = sound;
        }

        public string Sound { get; private set; }

        public void Kick()
        {
            Printer.Print(this, Sound);
        }
    }

    public class Dog : Animal
    {
        public Dog() : base("Bark, bark! I'll bite you!") { }
    }

    public class Printer
    {
        public static void Print<T>(T obj, string message)
        {
            System.Console.WriteLine("{0} says '{1}' \n", typeof(T).FullName.PadRight(10), message);
        }
    }

    public static class Program
    {
        static void Main(string[] args)
        {
            Animal bird = new Animal("Tweet!");
            Dog dog = new Dog();

            System.Console.WriteLine("Kick bird:");
            bird.Kick();
            System.Console.WriteLine("Kick dog:");
            dog.Kick();
            System.Console.WriteLine("Print kick dog:");
            Printer.Print(dog, dog.Sound);

            System.Console.ReadLine();
        }
    }
}

所以，我的实验室里有两只动物：一只狗和一只鸟。当我“踢”那些动物时，它们会发出声音。打印机将打印声音和动物的类型。当我运行程序时，它会打印：

踢鸟： Lab.Animal 说“鸣叫！”

踢狗： Lab.Animal 说‘吠，吠！我会咬你的！'

打印踢狗： Lab.Dog 说‘吠，吠！我会咬你的！'

为什么狗的第一脚告诉我它是Lab.Animal 类型？ 还有...我怎样才能让它返回Lab.Dog？

Answer 1

狗的第一脚告诉你类型参数的编译时类型是Lab.Animal。换句话说，您的Animal.Kick 方法有效：

Printer.Print<Animal>(this, Sound);

类型参数不是多态确定的——它们是在编译时确定的。当一个调用的类型参数实际上是调用上下文的类型参数时，情况会变得更加复杂，但它本质上是同一类东西。

要说Lab.Dog，您必须获取对象的实际执行时间类型，例如使用

obj.GetType().FullName

Answer 2

通常，泛型是在编译时确定的，但它们也是运行时特性。在这种情况下，您使用的是泛型类型推断，它使用变量等来推断类型。

在方法中：

    public void Kick()
    {
        Printer.Print(this, Sound);
    } 

在这种情况下，所有已知的this 必须是Animal，因此存在一个隐含的 Anmial，即Printer.Print<Animal>(this, Sound)

其他选项：

• 使用GetType()查找对象的实际类型
• 使用dynamic 将分辨率推迟到运行时（注意；不是理想使用动态，但它有效）