将实例方法的参数限制为实例的类型

Question

假设我有一个抽象基类BaseClass 。

我想给它一个类似于下面的方法

public void CopyPropertiesFrom<T>(T source) where T == ThisDerivedClass : BaseClass
{
     // ...
}

我希望该方法是通用的，但要限制为当前实例的派生类最多。 （我的方法将使用反射，所以我实际上不需要在任何子类中重写CopyPropertiesFrom ，但我仍然希望编译时类型安全。）

有没有办法在有效的C＃中表达这个？

Answer 1

不，没有。 您只能允许一个类和任何派生的（与继承的深度无关）。

Answer 2

不仅无法表达这一点，而且无论如何编译器都无法执行。 泛型的关键是它们可以在编译时检查。 你期望这样做......

BaseClass foo = new DerivedClass();
foo.CopyPropertiesFrom<BaseClass>(new OtherDerivedClass());

编译器只知道foo为BaseClass - 如何知道抱怨实际上 ，你应该调用foo.CopyPropertiesFrom<DerivedClass> ？

当然，您可以在方法中进行检查 - 但我不确定我是否会将其设为通用的：

public void CopyPropertiesFrom(BaseClass other)
{
    if (other.GetClass() != GetClass())
    {
        throw new ArgumentException("...");
    }
}