VB.NET通用约束和子类

这是通过在VB中应用的扩展方法来实现的。我不知道为什么他们为vb构建了不同的扩展,但是对于vb,约束tderive:tbase不存在。不幸的是,如果没有它,就不能将dterived强制转换为tbase,因此issatisfiedby函数失败。供参考:

Extension method ' <methodname> ' has type constraints that can never be satisfied

第一个实现似乎是唯一可行的,这是在VB框架中如何设计扩展方法的一个限制。

我在想这样的事情应该行得通,但它没有:

<Extension()> 
Public Function Satisfies(Of TBase, TDerived As TBase)(
           ByVal subject As TDerived, 
           ByVal specification As ISpecification(Of TBase)) As Boolean
    Return specification.IsSatisfiedBy(subject)
End Function

VB编译器说:“extension method”满足“具有永远无法满足的类型约束”,这很奇怪,因为在C中它确实起作用:

public static class Extensions
{
    public static bool Satisfies<TDerived, TBase>(
              this TDerived subject, 
              ISpecification<TBase> spec) where TDerived:TBase
    {
        return spec.IsSatisfiedBy(subject);
    }
}

public interface ISpecification<T>
{
    bool IsSatisfiedBy(T subject);
}

因此,答案似乎是:将c_用于这个构造,或者,如@dario所指出的,将满足方法实现为常规模块方法,而不是扩展方法。