泛型方法（C# 编程指南）

泛型方法（C# 编程指南）

Visual Studio 2005

其他版本

• Visual Studio 2010
• Visual Studio 2008

 

泛型方法是使用类型参数声明的方 法，如下所示：

VB

C#

C++

F#

JScript

复制

static
 void
 Swap<T>(ref
 T lhs, ref
 T rhs)
{
    T temp;
    temp = lhs;
    lhs = rhs;
    rhs = temp;
}

下面的代码示例演示一种使用 int 作为类型参数的方法调用方式：

VB

C#

C++

F#

JScript

复制

public
 static
 void
 TestSwap()
{
    int
 a = 1;
    int
 b = 2;

    Swap<int
>(ref
 a, ref
 b);
    System.Console.WriteLine(a + " "
 + b);
}

也可以省略类型参数，编译器将推断出该参数。下面对 Swap 的调用等效于前面的调用：

VB

C#

C++

F#

JScript

复制

Swap(ref
 a, ref
 b);

相同的类型推断规则也适用于静态方法以及实例方法。编译器能够根据传入的方法参数 推断类型参数；它无法仅从约束或返回值推断类型参数。因此，类型推断不适用于没有参数��方法。类型推断在编译时、编译器尝试解析任何重载方法签名之前进 行。编译器向共享相同名称的所有泛型方法应用类型推断逻辑。在重载解析步骤中，编译器仅包括类型推断取得成功的那些泛型方法。

在泛型类 中，非泛型方法可以访问类级别类型参数，如下所示：

VB

C#

C++

F#

JScript

复制

class
 SampleClass<T>
{
    void
 Swap(ref
 T lhs, ref
 T rhs) { }
}

如果定义的泛型方法接受与包含类相同的类型参数，编译器将生成警告 CS0693，因为在方法范围内，为内部 T 提供的参数将隐藏为外部 T 提供的参数。除了类初始化时提供的类型参数之外，如果需要灵活调用具有类型参数的泛型类方法，请考虑为方法的类型参数提供其他标识符，如下面示例中的 GenericList2<T> 所示。

VB

C#

C++

F#

JScript

复制

class
 GenericList<T>
{
    // CS0693

    void
 SampleMethod<T>() { }
}

class
 GenericList2<T>
{
    //No warning

    void
 SampleMethod<U>() { }
}

使用约束对方法中的类型参数启用更专门的操作。此版本的 Swap<T> 现在称为 SwapIfGreater<T> ，它 只能与实现 IComparable<T> 的类型参数一起使用。

VB

C#

C++

F#

JScript

复制

void
 SwapIfGreater<T>(ref
 T lhs, ref
 T rhs) where
 T : System.IComparable<T>
{
    T temp;
    if
 (lhs.CompareTo(rhs) > 0)
    {
        temp = lhs;
        lhs = rhs;
        rhs = temp;
    }
}

泛型方法可以使用许多类型参数进行重载。例如，下列方法可以全部存在于同一个类 中：

VB

C#

C++

F#

JScript

复制

void
 DoWork() { }
void
 DoWork<T>() { }
void
 DoWork<T, U>() { }