CA1004: ジェネリックメソッドは型パラメーターを指定しなければなりません

[アーティクル]
02/10/2024

Item	[値]
規則 ID	CA1004
カテゴリ	Microsoft.Design
互換性に影響する変更点	あり

原因

外部から参照できるジェネリックメソッドのパラメーターシグネチャに、そのメソッドのすべての型パラメーターに対応する型が含まれていません。

規則の説明

型引数を明示的に指定するのではなく、メソッドに渡す引数の型によってジェネリックメソッドの型引数を決定する方法が推論されます。推論を有効にするには、ジェネリックメソッドのパラメーターシグネチャに、そのメソッドの型パラメーターと同じ型のパラメーターが含まれている必要があります。この場合、型引数を指定する必要がなくなります。すべての型パラメーターについて推論を使用する場合、ジェネリックインスタンスメソッドを呼び出す構文と、非ジェネリックインスタンスメソッドを呼び出す構文は同じになります。これにより、ジェネリックメソッドの使用方法が単純化されます。

違反の修正方法

この規則の違反を修正するには、メソッドの各型パラメーターと同じ型がパラメーターシグネチャに含まれるように設計を変更します。

どのようなときに警告を抑制するか

この規則による警告は抑制しないでください。わかりやすく使いやすい構文でジェネリックスを提供すると、学習に必要な時間が短縮され、新しいライブラリの採用率が高まります。

例

次の例は、2 つのジェネリックメソッドを呼び出すための構文を示しています。 InferredTypeArgument の型引数は推論されます。NotInferredTypeArgument の型引数は明示的に指定する必要があります。

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

CA1005: ジェネリック型でパラメーターを使用しすぎないでください

CA1010: コレクションは、ジェネリックインターフェイスを実装しなければなりません

CA1000: ジェネリック型の静的メンバーを宣言しません

CA1002:ジェネリックリストを公開しません

CA1006: ジェネリック型をメンバーシグネチャ内で入れ子にしません

CA1003:汎用イベントハンドラーのインスタンスを使用します

CA1007: 適切な場所にジェネリックを使用します