我可以在方法调用中强制自己短路吗？

Question

假设我想检查一堆对象以确保没有一个为空：

if (obj != null &&
    obj.Parameters != null &&
    obj.Parameters.UserSettings != null) {

    // do something with obj.Parameters.UserSettings
}

编写一个辅助函数来接受可变数量的参数并简化这种检查是一个诱人的前景：

static bool NoNulls(params object[] objects) {
    for (int i = 0; i < objects.Length; i++)
        if (objects[i] == null) return false;

    return true;
}

那么上面的代码可能会变成：

if (NoNulls(obj, obj.Parameters, obj.Parameters.UserSettings)) {
    // do something
}

对吗？ 错误。如果 obj 为 null，那么当我尝试传递 obj.Parameters 时，我将收到 NullReferenceException到NoNulls。

所以上述做法显然是错误的。但是使用 && 运算符的 if 语句工作得很好，因为它是短路的。那么：是否有任何方法可以使方法短路，以便在方法内显式引用之前不会评估其参数？

Answer 1

好吧，这很难看，但是......

static bool NoNulls(params Func<object>[] funcs) {
    for (int i = 0; i < funcs.Length; i++)
        if (funcs[i]() == null) return false;

    return true;
}

然后用以下方式调用它：

if (NoNulls(() => obj,
            () => obj.Parameters,
            () => obj.Parameters.UserSettings)) {
    // do something
}

基本上，您提供委托来延迟评估值，而不是值本身（因为评估这些值是导致异常的原因）。

我并不是说它很好，但它是作为一种选择...

编辑：我认为，这实际上（并且意外地）触及了 Dan 所追求的核心。 所有方法的参数都会在方法本身执行之前进行评估。有效地使用委托可以让您延迟评估，直到方法需要调用委托来检索值为止。

Answer 2

您可以编写一个函数，该函数接受表达式树并将该树转换为检查空值的形式，并返回一个可以安全评估以确定是否存在空值的 Func

我怀疑虽然生成的代码可能很酷，但它会令人困惑，并且比仅仅编写一堆短路的 a != null && 性能要差得多。 ab != null... 检查。事实上，它的性能可能比仅检查所有值并捕获 NullReferenceException 低（并不是我主张将异常处理作为控制流机制）。

这样的函数的签名类似于：

public static Func<bool> NoNulls( Expression<Func<object>> expr )

它的用法类似于：

NoNulls( () => new { a = obj, 
                     b = obj.Parameters, 
                     c = obj.Parameters.UserSettings } )();

如果我有一些空闲时间，我将编写一个函数来执行这样的表达式树转换并更新我的帖子。不过，我确信乔恩·斯基特 (Jon Skeet) 或马克·格拉维尔 (Mark Gravell) 可以闭上一只眼睛、一只手放在背后编写这样的函数。

我还希望看到 C# 实现 Eric 提到的 .? 运算符。正如另一个埃里克（卡特曼）可能会说的那样，那会“很糟糕”。

Answer 3

如果您不介意失去静态类型安全性，则可以使用反射。我确实介意，所以我只使用你的第一个短路结构。像埃里克提到的这样的功能将受到欢迎:)

我已经多次考虑过这个问题。 Lisp 有宏可以按照您提到的方式解决问题，因为它们允许您自定义评估。

我也尝试过使用扩展方法来解决这个问题，但没有什么比原始代码更丑陋了。

编辑：（回复不允许我插入代码块，因此编辑我的帖子）

哎呀，没有跟上这一点。抱歉:)

您可以使用反射通过字符串查找和评估成员或属性。我的一个朋友写的一个类采用如下语法：

new ReflectionHelper(obj)["Parameters"]["UserSettings"]

它通过方法链接工作，在每个级别返回一个 ReflectionHelper。我知道 NullReferenceException 是该示例中的一个问题。我只是想演示如何将评估推迟到运行时。

一个稍微有用的例子：

public class Something
{
  public static object ResultOrDefault(object baseObject, params string[] chainedFields)
  {
    // ...
  }
}

同样，这个语法很糟糕。但这演示了使用字符串+反射将评估推迟到运行时。