c# - 如何在 C# 的泛型类型参数中使用 Switch...Case？

Question

我有一个类，我在其中使用 Generic Type Parameter 来动态使用它。现在，我正在使用 if..else，它可以很好地处理我的自定义类。我想知道我是否可以在这里使用 switch..case。

如果数据类型是 decimal 或 int 那么我可以像这样使用 TypeCode。

switch (Type.GetTypeCode(typeof(T)))
{
    case TypeCode.Int32:
       break;
    case TypeCode.Decimal:
       break;
}

但是我有自己创建的自定义类，我想使用它们。下面的代码有效并尝试使用 switch..case 如果可能的话。

我的代码:

void LogError<T>(T response, string orderId)
{
    if (typeof(T) == typeof(QuoteResponse))
    {
        var quoteResponse = response as QuoteResponse;

        //Do something
    }
    else if (typeof(T) == typeof(CommitResponse))
    {
        var commitResponse = response as CommitResponse;

        //Do something
    }
    else if (typeof(T) == typeof(CancelResponse))
    {
        var cancelResponse = response as CancelResponse;

        //Do something
    }
    else if (typeof(T) == typeof(StatusResponse))
    {
        var statusResponse = response as StatusResponse;

        //Do something
    }
}

Answer 1

C# switch关于泛型类型参数的声明，即 <T>

---

0. 下面代码中使用的演示类型。

class MyClass { };    struct MyStruct { };    enum MyEnum { };

1. 在您的项目中全局定义一个 struct具有单个泛型类型参数，如下所示。

public struct TokenOf<X> { };

3. switch陈述。该演示展示了一个通用方法，但当然该技术也可以在通用class 范围内的任何地方使用。或 struct :(请注意，此方法使用 C# 8 中提供的 switch expression 语法):

string GenericMethod<T>() =>
    default(TokenOf<T>) switch
    {
        TokenOf<int> _      /**/ => "II",
        TokenOf<Guid> _     /**/ => "GG",
        TokenOf<string> _   /**/ => "SS",
        TokenOf<object> _   /**/ => "OO",
        TokenOf<MyEnum> _   /**/ => "EE",
        TokenOf<MyClass> _  /**/ => "CC",
        TokenOf<MyStruct> _ /**/ => "QQ",
        _                   /**/ => "??",
    };

3a. In these switch expression examples, you can use { } instead of the "discard symbol" _ for equivalent results. This suggests cute (or perhaps abusive) code formatting options such as:

string GenericMethod<T>() => default(TokenOf<T>) switch
{
    TokenOf<int>      /**/ _ => "II",
    TokenOf<Guid>     /**/ _ => "GG",
    // etc...
    TokenOf<MyStruct> /**/ _ => "QQ",
    {                 /**/ } => "??",
};

4.演示测试代码

void switch_on_generic_type() =>
    Console.WriteLine($@"{
        GenericMethod<int>()}   {
        GenericMethod<Guid>()}   {
        GenericMethod<string>()}   {
        GenericMethod<object>()}   {
        GenericMethod<MyEnum>()}   {
        GenericMethod<MyClass>()}   {
        GenericMethod<MyStruct>()}   {
        GenericMethod<double>()}");
    }

5.演示输出

II GG SS OO EE CC QQ ??

6.讨论

此技术利用了 .NET 值类型永远无法实例化这一事实。因此，值类型(与引用类型不同——例如，如果 System.Type 存储在一个未指定的变量中，它就会失去它们的 null 身份)永远不会失去它们的特定身份。因此，TokenOf<>保证结构代表不同的 System.Type X 对每个不同参数化的标识，即使所有实例始终是“默认”实例(实际上大小为 1 字节)。 struct 的通用类型参数是区分它们的必要和充分条件。

为了清楚起见，请注意虽然 TokenOf<>因此必须是struct , 开启的通用类型参数 <X>可以是任何有效的 .NET 类型。事实上，如果 X保证表示值类型，您甚至不需要 TokenOf<>完全包装。例如，考虑一个带有类型参数 T 的泛型类或方法。受制于 unmanaged (或 struct )关键字。在这种情况下，上面的 (3.) 之类的示例将简化为:

string GenericMethod<T>() where T : unmanaged =>
    default(T) switch
    {
        int _      /**/ => "II",
        Guid _     /**/ => "GG",
        MyEnum _   /**/ => "EE",
        MyStruct _ /**/ => "QQ",
        TimeSpan _ /**/ => "TS",
        _          /**/ => "??",
    };

typeof(T)此页面上的其他答案中使用了运算符，但因为它(根据定义)显示了一个 reification在 T 上操作这对静态分析来说本质上是不透明的，并且在 System.Type 上存在硬 block 。实例(显然，它本身只能在运行时存在)我认为它是一个非常直率和戏剧性的工具。

通过避免typeof ，此处显示的技术可能对编译器、优化器、分析器和其他工具更友好 CTS offline-metadata系统(待调查)。最重要的是，一个放松过度强制的习惯国际法制度System.Type实例化(通过 typeof )可能证明对 JIT 有利。