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

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.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。 (this, Sound)

其他选项：

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