C# CS8131错误：解构赋值右侧需带类型表达式的原因及解决办法

CS8131错误的本质是解构赋值右侧的表达式无法被编译器推断出明确类型。当前代码的问题出在switch表达式的类型推断逻辑：

• C#的switch表达式会优先从所有分支的返回值中推导统一的公共返回类型，默认不会直接使用左侧解构赋值的目标类型做推断
• 各分支返回的元组类型不统一：前三个分支的第一个元素分别是MemberExpression、MethodCallExpression类型，默认分支返回(null, null)没有明确类型，编译器无法找到所有分支都兼容的公共元组类型，最终整个switch表达式无明确可赋值的类型，触发错误。

提供两种常用修复方式：

方案1：显式指定switch表达式的返回类型 #

在默认分支中给元组元素指定明确类型，让编译器可以推断出统一的公共元组类型，匹配左侧解构目标：

(object ret, Expression subexpr) = expr switch {
    // 实例成员
    MemberExpression mexpr when mexpr.Expression is not null =>
        (mexpr, mexpr.Expression),
    // 实例方法调用
    MethodCallExpression callExpr when callExpr.Object is not null =>
        (callExpr, callExpr.Object),
    // 包含实例方法调用、静态扩展方法调用
    MethodCallExpression callExpr when
            callExpr.Method.GetCustomAttributes(typeof(ExtensionAttribute)).Any() &&
            callExpr.Arguments.FirstOrDefault() is not null =>
        (callExpr, callExpr.Arguments.First()),
    // 显式指定默认分支元组的元素类型
    _ => (default(object), default(Expression))
};

也可以直接对整个switch表达式做显式类型转换：

(object ret, Expression subexpr) = ((object, Expression))(expr switch {
    // 原有分支不变
    _ => (null, null)
});

方案2：优化左侧变量类型（更推荐） #

观察代码可以发现MemberExpression、MethodCallExpression都是Expression的子类，没有必要把第一个变量声明为object，直接调整左侧类型为Expression，编译器可自动匹配所有分支的公共类型：

(Expression ret, Expression subexpr) = expr switch {
    // 所有分支保持原有写法不变
    MemberExpression mexpr when mexpr.Expression is not null =>
        (mexpr, mexpr.Expression),
    MethodCallExpression callExpr when callExpr.Object is not null =>
        (callExpr, callExpr.Object),
    MethodCallExpression callExpr when
            callExpr.Method.GetCustomAttributes(typeof(ExtensionAttribute)).Any() &&
            callExpr.Arguments.FirstOrDefault() is not null =>
        (callExpr, callExpr.Arguments.First()),
    _ => (null, null)
};

这种方案无需修改switch分支逻辑，同时类型更安全，是首选修复方式。

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