测试泛型方法参数是否为类

Question

我有一个带有此签名的通用方法：

private void MyGenericMethod<T>(T arg) where T : class
{}

如果我向此方法传递一个整数，我会收到一个 ArgumentException ，表明传递的值与限制不匹配。这很棒，但是我如何预先确定我传递的内容将与“类”约束匹配，以便不引发异常？

Answer 1

编译器已经为你做到了这一点 - 你实际上应该看到：

类型“int”必须是引用类型，才能将其用作泛型类型或方法“blah.MyGenericMethod(T)”中的参数“T”

在编译时将其用作泛型类型或方法“blah.MyGenericMethod(T)”中的参数“T”。

棘手的场景是：

• 泛型之上的泛型之上的泛型 - 所有这些类型约束都堆叠起来，所以你最终会得到 where T : class 很多 。有时最好对 T
• 反射使用运行时验证（MakeGenericMethod 等） - 同样，只需在运行时检查

另外，请注意 where T : class 实际上并不意味着 T 是一个类 - 它意味着它是一个引用类型，可以包含接口和委托。同样，where T : struct 实际上并不意味着 T 是一个 struct - 它意味着它是一个不 Nullable< 的结构;>。

Answer 2

您不能传递int，因为它是值类型，并且您已将您的方法限制为仅接受引用类型。
如果您想支持其中任何一个，您需要删除泛型约束，如下所示

 private void MyGenericMethod<T>(T arg)
        {
            if(arg.GetType().IsValueType)
            {
                //T is value type
            }
        }

Answer 3

如果传递的参数不是引用类型，您实际上会收到编译错误。但是，如果您对值类型进行装箱，则可以绕过该问题，但它是有效的引用类型。

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace ConsoleApplication29
{
    class Program
    {
        static void Main(string[] args)
        {
            int i = 0;
            object o = (object)i;
            MyMethod(o);
            MyMethod(i); // Doesn't compile.
        }

        static void MyMethod<T>(T arg) where T : class
        {

        }
    }
}

如果您收到此错误是因为您在运行时执行了某些操作，例如使用反射来调用方法，或者您框定了值类型，那么您只需要在使用参数之前检查参数即可：

static void MyMethod<T>(T arg) where T : class
{
    if (arg is ValueType)
        throw new ArgumentException();
}

请注意，这将捕获所有值类型，无论它们是否盒装。另请注意，使用 is 还可以匹配其层次结构（基类/派生类）中的类型 true，而根据 typeof 检查 GetType 仅需要在该级别键入：

int i = 0;
bool b = i is object;
b = i.GetType() == typeof(object);

显然在您的情况中，您不会想抛出ArgumentException，并且可能什么都不做。