C# switch表达式返回类型不符合预期问题咨询

核心原因：Switch表达式的类型推断规则 #

C#编译器对switch表达式的返回类型推断遵循以下优先级：

1. 首先收集所有分支返回表达式的类型，形成类型集合
2. 在该集合内部查找最佳公共类型：即集合中存在一个类型Tc，其他所有类型都可以隐式转换到Tc，则Tc会被作为整个switch表达式的返回类型
3. 只有当步骤2找不到符合要求的公共类型时，才会参考上下文的目标类型（比如方法返回值类型、接收变量的声明类型）作为switch表达式的类型

你的场景的具体推导过程 #

• 未添加显式转换的版本中，三个分支的表达式类型分别为Base1、Base2、BaseContainer，类型集合为{Base1, Base2, BaseContainer}
• 你为BaseContainer定义了从Base1和Base2到BaseContainer的用户自定义隐式转换，因此集合中BaseContainer满足「其他所有类型都可隐式转换到它」的要求，被判定为最佳公共类型，整个switch表达式的返回类型确定为BaseContainer
• 此时new Base1()会先被隐式转换为BaseContainer实例，再被转换为方法要求的返回类型IBase，所以最终得到的实例实际类型是BaseContainer，和你看到的输出一致
• 当你给任意分支添加(IBase)显式转换后，该分支的类型变为IBase，类型集合更新为{Base1, IBase, BaseContainer}，此时集合中的IBase满足最佳公共类型的要求，switch表达式的返回类型被判定为IBase，Base1实例直接装箱为IBase返回，不会触发到BaseContainer的隐式转换，输出符合预期

规范说明 #

该行为完全符合C#语言设计规范，不属于BUG。除switch表达式外，三元表达式?:的类型推断也遵循相同的逻辑。

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