Expression.Coalesce的转换参数有什么用？

有关此问题的背景，请参阅Expression.Coalesce 方法的 Coalesce(Expression, Expression, LambdaExpression) 重载的文档 https://learn.microsoft.com/en-us/dotnet/api/system.linq.expressions.expression.coalesce?view=netframework-4.7.2#System_Linq_Expressions_Expression_Coalesce_System_Linq_Expressions_Expression_System_Linq_Expressions_Expression_System_Linq_Expressions_LambdaExpression_。我特意指的是这个重载的第三个参数。我有一些关于它的问题，但我无法在任何地方找到答案，包括微软的文档：

• 为什么要选择使用这种重载来提供转换？
• 编译表达式时如何使用它？
• 应该如何LambdaExpression构建一个通道（我只能假设一个特定的参数签名和预期的返回值类型）？

我反复尝试过（通过强制转换使用以下方法的各种 lambda 函数）??代码中的运算符Expression<>）让 C# 编译器为我构建一个使用此参数的表达式树。但每次我使用调试器来检查转换参数的必然属性 https://learn.microsoft.com/en-us/dotnet/api/system.linq.expressions.binaryexpression.conversion?view=netframework-4.7.2#System_Linq_Expressions_BinaryExpression_Conversion对于表达式NodeType Coalesce在生成的树中，它是null.

我这么问是因为我正在开发一个通过分析表达式树来工作的库，我需要它来正确理解和支持这些转换。

您可以通过查看其源代码和 C# 规范来了解 C# 编译器的作用。

如果你看C# 编译器中处理表达式树的合并表达式的代码 https://github.com/dotnet/roslyn/blob/5a95c409/src/Compilers/CSharp/Portable/Lowering/LambdaRewriter/ExpressionLambdaRewriter.cs#L782-L795，你会注意到它只使用conversion当左子表达式包含用户定义的表达式时。

然后你可以看看在该部分空合并运算符C# 规范 https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/expressions#the-null-coalescing-operator看看什么时候会发生：

具体来说，a ?? b处理如下：

• If A存在并且不是可为 null 的类型或引用类型，则会发生编译时错误。
• […]
• 否则，如果b有一个类型B并且存在隐式转换a to B，结果类型为B。在运行时，a首先被评估。如果a不为空，a展开以输入A0 (if A存在且可为空）并转换为类型B，这就是结果。否则，b被评估并成为结果。
• […]

所以我们需要类型A具有隐式用户定义的转换B并在空合并表达式中使用这两种类型：

class A
{
    public static implicit operator B(A s) => null;
}

class B {}

…

Expression<Func<B>> e = () => new A() ?? new B();

If you 反编译这段代码，你会看到 https://sharplab.io/#v2:D4AQDABCCMDcCwAocVoDoAyBLAdgRzQFEAPABwCcBTAZ2qwHsdqFEkQAmVAdiQG8kIgqABYIAWQCGuABQBKAUP6IhKiCQo06jADwgArNoBCAPmMRKEALwQ5VszkoB3CAEFbAfncQHzw3JYqAL5IwazInC58CoIgAMyoAGwQWAC2pAA2WADGWAAuEPSklOQSufTkEH4uENSydt4ArunpLKFsnIYQvIFAA:

NewExpression left = Expression.New(typeof(A));
NewExpression right = Expression.New(typeof(B));
ParameterExpression parameterExpression = Expression.Parameter(typeof(A), "p");
UnaryExpression body = Expression.Convert(
    parameterExpression, typeof(B),
    (MethodInfo)MethodBase.GetMethodFromHandle((RuntimeMethodHandle)/*OpCode not supported: LdMemberToken*/));
ParameterExpression[] obj = new ParameterExpression[1];
obj[0] = parameterExpression;
Expression.Lambda<Func<B>>(
    Expression.Coalesce(left, right, Expression.Lambda(body, obj)), Array.Empty<ParameterExpression>());

Replace GetMethodFromHandle用反射代码得到A.op_Implicit并且您有代码来创建有效的Coalesce非空表达式树Conversion.