c# - 隐式输出参数

Question

与this question 类似，我决定看看是否可以将方法中的 out 参数提取到隐式类型的变量中，而无需定义类型。我理想的解决方案看起来像这样:

var result = LiftOutParam((out p1, out p2, out p3) => {
    return CallMyMethod(i1, i2, out p1, out p2, out p3);
});
var o1 = result.Item1;
var o2 = result.Item2;
var o3 = result.Item3;
var returnValue = result.Item4;

在这种情况下，CallMyMethod 有 2 个普通输入变量、3 个 out 参数和一个返回值。我想让编译器根据语义自动判断o1、o2、o3、returnValue的类型传递给 LiftOutParam 的委托(delegate)。所以我为输出参数的每个组合创建了一些帮助委托(delegate)和方法。下面是 3 个 out 参数的示例:

public delegate TReturn Lift<T1, T2, T3, TReturn>(
    out T1 o1, out T2 o2, out T3 o3);

public static Tuple<T1, T2, T3, TReturn> LiftOutParam<T1, T2, T3, TReturn>(
    Lift<T1, T2, T3, TReturn> Lift) {

    T1 o1;
    T2 o2;
    T3 o3;
    TReturn ret = Lift(out o1, out o2, out o3);
    return new Tuple<T1, T2, T3, TReturn>(o1, o2, o3, ret);
}

理论上，编译器应该能够确定类型T1、T2、T3和TReturn 基于委托(delegate)的语义 (out p1, out p2, out p3) => { return CallMyMethod(i1, i2, out p1, out p2, out p3); }。但是，除非我在委托(delegate)中指定每个 out 参数的类型，否则上述代码不会编译。

有没有办法完成我想要完成的事情？要编写一个通用的辅助方法，可以将 out 参数的值提取到隐式类型的局部变量中，而无需在任何地方显式定义类型？

Answer 1

这里有两个问题:

1. 当 lambda 表达式的一个或多个参数需要 ref 或 out 修饰符时，语法要求您必须 为 lambda 表达式的所有参数指定类型。这是一个语法问题，无论编译器是否能够推断出类型，它都适用。

2. 必须有一个类型来推断。如果你有方法

   void MyMethod<T>(Action<T> action)
   {
   }
   

   那么你不能像这样调用这个方法:MyMethod(t => { }); 因为在这种情况下没有办法推断出 T 是什么。 T 必须被推断为一种特定类型。这可能是一种类型，它依赖于调用 MyMethod 时范围内的另一个通用参数。