c# 延迟评估和返回值

Question

考虑到下面的示例，我很困惑为什么第一个示例的结果是 4, 8, 6 而第二个示例的结果是 4, 8, 3 ？对我来说，在第一个例子中，只有 succ(3) 和 dub(4) 被评估，y 应该是 3？有人可以帮忙解释它是如何工作的吗？非常感谢！

示例一：

public class Hello {
   public static void Main(string[] args) {
     int y = 0;
     Func<int,bool> even = (n) => { return n%2 == 0; }; 
     Func<int,int> dub = (n) => { y += 2; return n + n; };
     Func<int,int> succ = (n) => { y += 1; return n + 1; };

     Func<bool, int, int, int> if1 = (c, t, f) => c? t: f;

     y = 0;
     var a1 = if1(even(3), dub(3), succ(3));
     var a2 = if1(even(4), dub(4), succ(4)); 
     Console.WriteLine("{0} {1} {2}", a1, a2, y);   
   }
 }

第二个例子：

public class Hello {
public static void Main(string[] args) {
  int y = 0;
  Func<int,bool> even = (n) => { return n%2 == 0; }; 
  Func<int,int> dub = (n) => { y += 2; return n + n; };
  Func<int,int> succ = (n) => { y += 1; return n + 1; };

  Func<Func<int,bool>, Func<int,int>, Func<int,int>, Func<int,int>> if2 = (c, t, f) => (n) => { if (c(n)) return t(n); else return f(n); };

   y = 0;
   Func<int,int> x = if2(even, dub, succ); 
   var c1 = x(3);
   var c2 = x(4);
   Console.WriteLine("{0} {1} {2}", c1, c2, y);
 }
}

Answer 1

你混淆了两个不同的东西：

• 条件运算符
• 方法参数

所有方法参数在方法被调用之前被评估，即使它们在方法内部最终没有被使用。

因此，您在方法内部使用条件运算符这一事实与参数无关，它们都被评估了。

所以这个电话：

var a1 = if1(even(3), dub(3), succ(3));

将评估以下所有内容：

• even(3)
• dub(3)
• succ(3)

在实际调用方法之前。如果您不是直接返回结果，而是返回了一个可以调用以获得结果的方法，那么您将拥有真正的延迟代码（在这种情况下），但我敢说代码会开始看起来非常难看。

                                   v---v
Func<int, Func<int>> dub = (n) =>  () => { y += 2; return n + n; };
Func<int, Func<int>> succ = (n) => () => { y += 1; return n + 1; };
Func<bool, Func<int>, Func<int>, int> if1 = (c, t, f) => c ? t() : f();
           ^-------------------^                              ^^    ^^

此外，正如@atlaste 在对您的问题的评论中所说，调试将揭示其工作原理，您会看到在进入if1 之前，您将逐步完成所有其他方法。