Los métodos genéricos deben proporcionar el parámetro de tipo

Artículo
10/07/2008

Actualización: noviembre 2007

TypeName	GenericMethodsShouldProvideTypeParameter
Identificador de comprobación	CA1004
Category	Microsoft.Design
Cambio problemático	Sí

Motivo

La firma del parámetro de un método genérico visible externamente no contiene tipos que corresponden a todos los parámetros type del método.

Descripción de la regla

La inferencia es el modo en que se determina el argumento de tipo de un método genérico partiendo del tipo de argumento pasado al método, en lugar de especificar directamente el argumento de tipo. Para habilitar la inferencia, la firma de parámetro de un método genérico debe incluir un parámetro del mismo tipo que el parámetro type del método. En este caso, no es necesario especificar el argumento de tipo. Cuando se utiliza la inferencia para todos los parámetros de tipo, la sintaxis para llamar a los métodos de instancia genéricos y no genéricos es la misma. Así se simplifica el uso de los métodos genéricos.

Cómo corregir infracciones

Para corregir una infracción de esta regla, cambie el diseño de modo que la firma del parámetro contenga exactamente el mismo tipo para cada uno de los parámetros de tipo del método.

Cuándo suprimir advertencias

No suprima las advertencias de esta regla. Al proporcionar genéricos con una sintaxis fácil de entender y utilizar se reduce el tiempo necesario de aprendizaje y se aumenta la velocidad de adopción de nuevas bibliotecas.

Ejemplo

El ejemplo siguiente muestra la sintaxis para llamar a dos métodos genéricos. El argumento de tipo de InferredTypeArgument se infiere, mientras que el argumento de tipo para NotInferredTypeArgument se debe especificar de manera explícita.

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