c# - 泛型是运行时多态还是编译时多态？

Question

我读到以下格式属于参数多态性，但我们能否将其归为一类，即运行时多态性或编译时多态性？

public class Stack<T>
{  // items are of type T, which is known when we create the object
   T[] items;  
   int count;  
   public void Push(T item)    {...}
   //type of method pop will be decided when we create the object  
   public T Pop() 
   {...} 
 }  

Answer 1

两者兼而有之。为了使用泛型类，你必须在编译时给它一个类型参数，但类型参数可以是接口(interface)或基类，所以在运行时使用的对象的实际具体类型可能会有所不同。

例如，这里有一段代码带有 Stack<T> field 。我选择使用接口(interface)作为类型参数。这利用了 parametric polymorphism在编译时。您必须选择您的 _stack 类型参数字段将在编译时使用:

public interface IFoo { void Foo(); }

public Stack<IFoo> _stack = new Stack<IFoo>();

现在，当这段代码实际运行时，我可以使用其类实现 IFoo 的任何对象，并且在运行时之前不必做出该决定:

public class Foo1 : IFoo { public void Foo() { Console.WriteLine("Foo1"); } }

public class Foo2 : IFoo { public void Foo() { Console.WriteLine("Foo2"); } }

public class Foo3 : IFoo { public void Foo() { Console.WriteLine("Foo2"); } }

_stack.Push(new Foo1());
_stack.Push(new Foo2());
_stack.Push(new Foo3());

这是 subtype polymorphism 的示例，在运行时使用。