类型参数约束是一个类

本文关键字：一个 参数约束 类型 | 更新日期: 2023-09-27 18:30:47

我注意到其他开发人员使用这种技术，但它总是让我感到困惑。我决定今天早上进行调查，并在MSDN上遇到了以下内容（来自 http://msdn.microsoft.com/en-us/library/d5x73970（v=vs.100）.aspx）：

public class GenericList<T> where T : Employee
{
...
}

为什么我们要使用此方法而不是将类中的所有 T 实例替换为 Employee？对我来说，这似乎是可维护性的胜利。我可以理解限制到接口作为包含来自不同继承层次结构的类的一种手段，但继承已经以更明显的方式解决了上面的问题，不是吗？

这可以被认为是一个错误，还是像这样"修复"代码是一个错误？

类型参数约束是一个类

因为它可能是从员工派生的东西。

public class EvilEmployee : Employee {
    public Int32 Evilness { get; set; }
}

现在可以做...

GenericList<EvilEmployee> list = GetEvilEmployees();
var mostEvilEmployee = list.OrderByDescending(e => e.Evilness).First();

这是可能的，因为我们知道，在编译时，T = EvilEmployee，并且EvilEmployee具有Evilness属性。如果我们要强制将列表强制为员工列表，那是不可能的（不使用 OfType）。

为什么我们要使用此方法而不是将类中的所有 T 实例替换为 Employee？

要启用： 

class Manager : Employee { ... }
var board = new GenericList<Manager> ();

请注意，在这种情况下，您的名字"GenericList"更像是"EmployeeList"

我可以理解限制到接口作为包含来自不同继承层次结构的类的一种手段

类继承和接口有很多共同点。

但是继承已经以更明显的方式解决了上面的问题，不是吗？

是的，但它不一样。 board.Add(lowlyProgrammer);在这里会失败，而继承会允许它。

where 语句是故意添加的。考虑这样一种情况：存在从员工类派生的类;如果未定义泛型类，则需要为每个派生类定义一个类。

例如，如果 EmployeeX 继承了 Employee，并且您希望定义一个仅接受 EmployeeX 实例的列表，则通过使用泛型方法，您不需要定义新类。

泛

型允许您在不需要强制转换的情况下实现类型安全。

如果你有

  public class Manager : Employee
  {
     public double CalculateManagerBonus();
  }

你可以做 

   GenericList<Manager> managers = ....
   managers[0].CalculateManagerBonus();

如果你有 

   GenericList<Employee> managers = ....
   // this is a compiler error
   managers[0].CalculateManagerBonus();
  // this is neccessary if there where no generics.
  ((Manager)managers[0]).CalculateManagerBonus();
相关文章：