C# - 泛型类中的方法，对 T 有附加约束

Question

我有一个通用类Foo<T> where T: SomeBaseType。

在T 是SpecificDerivedType 的特定情况下，我希望我的班级有一个额外的方法。

类似：

class Foo<T> where T: SomeBaseType
{
    //.... lots of regular methods taking T, outputting T, etc.

    //in pseudo code
    void SpecialMethod() visible if T: SpecificDerivedType
    {
        //...code...
    }
}

我怎样才能做到这一点？

Answer 1

为Foo<T>创建一个extension method：

public static void SpecialMethod<T>(this Foo<T> foo)
    where T : SpecificDerivedType
{
}

Answer 2

我怎样才能做到这一点？

你不能。创建一个专门的Foo。

class SpecialFoo<T> : Foo<T> where T: SpecificDerivedType
{
    void SpecialMethod()
    {
        //...code...
    }
}

其他人建议extension method，显然和你问的不一样。不过，这可能是一种解决方法。

Answer 3

没有什么完全一样的，但是您可以在Foo<T> 上添加一个extension method，其约束比T 通常具有的更具体。这是一个完整的例子：

using System;

class SomeBaseType {}
class SomeDerivedType : SomeBaseType {}

static class FooExtensions
{
    public static void Extra<T>(this Foo<T> foo)
        where T : SomeDerivedType
    {
        Console.WriteLine("You have extra functionality!");
    }
}

class Foo<T> where T : SomeBaseType
{
}

class Program
{
    static void Main(string[] args)        
    {
        Foo<SomeBaseType> foo1 = new Foo<SomeBaseType>();
        Foo<SomeDerivedType> foo2 = new Foo<SomeDerivedType>();

        // Doesn't compile: the constraint isn't met
        // foo1.Extra();

        // Does compile
        foo2.Extra();
    }
}

这允许您在现有实例上调用该方法，而不必创建更专业的实例。另一方面，它依赖于扩展方法，它有足够的访问权限来执行Foo<T> 中所需的任何操作。您可能需要在 Foo<T> 中有一个不受约束的 internal 方法，以便 FooExtensions.Extra 调用。

Answer 4

您可以创建一个如下所示的extension method：

public static void SpecificMethod<T>(this Generic<T> instance) 
    where T : SpecificDerivedType