Partilhar via

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

  • Artigo

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 para 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 type e o compilador irá inferi-lo. A seguinte 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 do método que você passa; ele não pode inferir os parâmetros de tipo somente a partir de uma restrição ou valor de retorno. 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 em tempo de compilação antes que o compilador tente resolver assinaturas de método sobrecarregadas. O compilador aplica 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.

Dentro de 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 que contém, o compilador gera aviso CS0693 porque dentro do escopo do método, o argumento fornecido para o interno T oculta o argumento fornecido para o externo 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 type 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 do , agora chamada SwapIfGreater<T>, só pode ser usada com argumentos de Swap<T>tipo que implementam IComparable<T>o .

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

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

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

Você também pode usar o parâmetro type como o tipo de retorno de um método. O exemplo de código a seguir mostra um método que retorna uma matriz do 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