Compartilhar via

Métodos genéricos (guia de programação em C#)

Um método genérico é um método que é declarado com parâmetros de tipo, da seguinte maneira:

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

O exemplo de código a seguir mostra uma maneira de chamar o método usando int o argumento type:

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

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

Você também pode omitir o argumento de tipo e o compilador o inferirá. Esta chamada para Swap é equivalente à chamada anterior:

Swap(ref a, ref b);

As mesmas regras para inferência de tipo se aplicam a métodos estáticos e métodos de instância. O compilador pode inferir os parâmetros de tipo com base nos argumentos de método que você passa; ele não pode inferir os parâmetros de tipo apenas de uma restrição ou valor retornado. Portanto, a inferência de tipo não funciona com métodos que não têm parâmetros. A inferência de tipo ocorre no tempo de compilação antes que o compilador tente resolver assinaturas de método sobrecarregadas. O compilador aplica a lógica de inferência de tipo a todos os métodos genéricos que compartilham o mesmo nome. Na etapa de resolução de sobrecarga, o compilador inclui apenas os métodos genéricos nos quais a inferência de tipo foi bem-sucedida.

Em uma classe genérica, métodos não genéricos podem acessar os parâmetros de tipo de nível de classe, da seguinte maneira:

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

Se você definir um método genérico que usa os mesmos parâmetros de tipo que a classe de contenção, o compilador gerará um aviso CS0693 porque, dentro do escopo do método, o argumento fornecido para o interior T ocultará o argumento fornecido para o exterior T. Se você precisar da flexibilidade de chamar um método de classe genérico com argumentos de tipo diferentes daqueles fornecidos quando a classe foi instanciada, considere fornecer outro identificador para o parâmetro de tipo do método, conforme mostrado no GenericList2<T> exemplo a seguir.

class GenericList<T>
{
    // CS0693.
    void SampleMethod<T>() { }
}

class GenericList2<T>
{
    // No warning.
    void SampleMethod<U>() { }
}

Use restrições para habilitar operações mais especializadas em parâmetros de tipo em métodos. Esta versão de Swap<T>, agora nomeada SwapIfGreater<T>, só pode ser usada com argumentos de tipo que implementam IComparable<T>.

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;
    }
}

Métodos genéricos podem ser sobrecarregados em vários parâmetros de tipo. Por exemplo, todos os métodos a seguir podem estar localizados na mesma classe:

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

Você também pode usar o parâmetro de tipo como o tipo de retorno de um método. O exemplo de código a seguir mostra um método que retorna uma matriz de tipo T:

T[] Swap<T>(T a, T b)
{
    return [b, a];
}

Especificação da linguagem C#

Para obter mais informações, consulte a Especificação da Linguagem C# .

Consulte também