这个问题的核心在于C#中三元运算符的类型推断规则和return语句的类型处理逻辑完全不一样，咱们一步步拆解清楚：

先看编译器报错的根本原因 #

你的三元运算符代码：

private Base Property => m_IsAbsolute ? new A() : new B();

编译器处理三元运算符condition ? expr1 : expr2时，会先单独分析两个分支的类型：

• new A()的类型是A，new B()的类型是B
• A和B虽然都是Base的子类，但它们彼此之间没有继承关系（既不是A派生自B，也不是B派生自A），所以不存在隐式转换的路径

编译器需要从这两个分支里推断出一个共同的类型作为三元运算符的整体类型，但它没办法自动猜到要转成Base——因为三元运算符的类型推断是基于分支本身的类型，而不是上下文的返回类型（这里的属性返回类型Base）。所以它会直接报错“无法在类型A和类型B之间进行隐式转换”。

再看if-return写法为什么能正常运行 #

你的第二个代码：

private Base Property2 { get { if (m_IsAbsolute) { return new A(); } return new B(); } }

在getter的return语句里，编译器明确知道最终要返回的类型是Base。所以它会直接把每个return后面的表达式（new A()和new B()）隐式转换为Base类型——毕竟A和B都继承自Base，这种隐式转换是C#默认允许的，自然不会有问题。

怎么解决三元运算符的报错？ #

你提到的把B强制转换为Base是可行的，本质是给编译器一个明确的提示：让其中一个分支的类型变成Base，这样另一个分支（A）可以自动隐式转换为Base，编译器就能推断出三元运算符的整体类型是Base，完美适配属性的返回要求。

比如这几种写法都能解决问题：

// 转换A为Base
private Base Property => m_IsAbsolute ? (Base)new A() : new B();
// 转换B为Base（你用的方法）
private Base Property => m_IsAbsolute ? new A() : (Base)new B();

总结一下：三元运算符是“先确定自身类型，再适配上下文”，而return语句是“先明确目标类型，再转换分支表达式”——这就是两者行为差异的核心根源。

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