Compartilhar via


CA1004: Métodos genéricos devem fornecer o parâmetro de tipo

TypeName

GenericMethodsShouldProvideTypeParameter

CheckId

CA1004

<strong>Categoria</strong>

Microsoft.design

Alteração significativa

Quebrando

Causa

A assinatura de parâmetro de um método genérico visível externamente não contém tipos que correspondem a todos os parâmetros de tipo do método.

Descrição da regra

Inferência de tipos é como o argumento de tipo de um método genérico é determinado pelo tipo de argumento passado para o método, em vez de pela especificação do argumento de tipo explícita.Para habilitar a inferência de tipos, a assinatura de parâmetro de um método genérico deve incluir um parâmetro que é do mesmo tipo do parâmetro de tipo para o método.Nesse caso, o argumento Tipo não precisa ser especificado.Quando você usa a inferência de tipos para todos os parâmetros de tipo, a sintaxe para chamada dos métodos de instância genéricas e é idêntica.Isso simplifica a usabilidade de métodos genéricos.

Como corrigir violações

Para corrigir uma violação desta regra, altere o design para que a assinatura do parâmetro contém o mesmo tipo para cada parâmetro do tipo do método.

Quando suprimir avisos

Não suprimir um aviso da regra.Fornecer uma sintaxe fácil de entender e usar os genéricos reduz o tempo que é necessário para aprender e aumenta a taxa de adoção de novas bibliotecas.

Exemplo

O exemplo a seguir mostra a sintaxe para chamar os dois métodos genéricos.O argumento de tipo de InferredTypeArgument é inferido e o argumento de tipo para NotInferredTypeArgument deve ser especificado explicitamente.

Imports System

Namespace DesignLibrary

   Public Class Inference

      ' This method violates the rule.
      Sub NotInferredTypeArgument(Of T)()

         Console.WriteLine(GetType(T))

      End Sub

      ' This method satisfies the rule.
      Sub InferredTypeArgument(Of T)(sameAsTypeParameter As T)

         Console.WriteLine(sameAsTypeParameter)

      End Sub

   End Class

   Class Test

      Shared Sub Main()

         Dim infer As New Inference()
         infer.NotInferredTypeArgument(Of Integer)()
         infer.InferredTypeArgument(3)

      End Sub

   End Class

End Namespace
using System;

namespace DesignLibrary
{
   public class Inference
   {
      // This method violates the rule.
      public void NotInferredTypeArgument<T>()
      {
         Console.WriteLine(typeof(T));
      }

      // This method satisfies the rule.
      public void InferredTypeArgument<T>(T sameAsTypeParameter)
      {
         Console.WriteLine(sameAsTypeParameter);
      }
   }

   class Test
   {
      static void Main()
      {
         Inference infer = new Inference();
         infer.NotInferredTypeArgument<int>();
         infer.InferredTypeArgument(3);
      }
   }
}

Regras relacionadas

CA1005: Evitar excessivos parâmetros em tipos genéricos

CA1010: Coleções devem implementar a interface genérica

CA1000: Não declarar membros estáticos em tipos genéricos

CA1002: Não expõem listas genéricas

CA1006: Não se aninham tipos genéricos em assinaturas de membros

CA1003: Usar instâncias de manipulador de evento genérico

CA1007: Use genéricos onde for apropriado

Consulte também

Referência

Genéricos (guia de programação do C#)