我可以在方法調用中強制自己的短路嗎？

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爲空，那麼當我嘗試將obj.Parameters傳遞給NoNulls時，我會得到NullReferenceException。

所以上述方法顯然是錯誤的。但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 
} 

基本上你提供委託延遲計算的值，而不是值本身（因爲評估這些值是導致異常的原因）。

我不是說這是不錯，但它的存在作爲一個選項...

編輯：其實，這（和意外）獲取到什麼丹後的心臟，我想。 全部在方法本身執行之前評估方法的參數。有效地使用委託讓您可以延遲評估，直到方法需要調用委託來檢索值。

Answer 2

您可以編寫一個接受表達式樹的函數，並將該樹轉換爲將檢查空值的表單，並返回Func<bool>，該表單可以安全地評估以確定是否存在空值。

我懷疑，雖然最終的代碼可能很酷，但它會令人困惑，並且性能遠遠低於僅編寫一堆短路檢查。事實上，它可能不如僅檢查所有值並捕獲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) 
    { 
    // ... 
    } 
} 

再次，此語法臭。但是，這表明使用字符串+反射來推遲評估運行時。