是否可将类型字面量的typeof表达式视为编译时常量？

问题场景 #

当前C#中，typeof()表达式不被视为编译时常量，导致无法直接在泛型方法中通过switch对typeof(T)做分支判断，例如以下代码无法通过编译：

public MyType MyGenericMethod<T>()
{
    return typeof(T) switch
    {
        typeof(KnownTypeA) => A(),
        typeof(KnownTypeB) => B(),
        typeof(KnownTypeC) => C()
    };
}

目前可通过对比typeof(T).Name与nameof(KnownTypeA)的方式规避，但这种方案并不理想。

核心问题解答 #

不存在typeof(A.Known.Type)无法在编译时确定的场景。只要A.Known.Type是编译阶段可见的具体类型（非运行时动态加载的类型），编译器完全能确定该typeof表达式对应的Type对象标识——目标类型的元数据在编译时已固定，不存在歧义或不确定性。

关于语言限制的说明 #

你遇到的switch分支限制是C#语言设计的现有规则，而非技术上无法实现。当前语言规范未将typeof表达式归类为编译时常量，因此无法直接作为switch的case分支条件。

现有规避方案的隐患 #

使用typeof(T).Name+nameof的方式存在以下风险：

• 不同命名空间下的同名类型会导致误判
• 若类型通过工具或特性修改了对外显示的名称，会触发匹配失败

内容的提问来源于stack exchange，提问作者ScottishTapWater