正如您所料，此代碼會產生編譯器錯誤：public static IEnumerable<int> Foo(){}并非所有代碼路徑都會返回值但是，編譯時僅顯示有關無法訪問代碼的警告：public static IEnumerable<int> Foo(){ if(false) { yield return 0; }}這會產生一個空的枚舉。為什么這會起作用？它是定義的行為嗎？
1 回答
慕運維8079593
TA貢獻1876條經驗 獲得超5個贊
public static IEnumerable<int> Foo()
{
}
第一個沒有返回（因此是編譯器消息）。這是有道理的——它沒有足夠的上下文來知道該怎么做。應該返回null嗎？空枚舉？它不知道 - 所以它不會讓你編譯。
public static IEnumerable<int> Foo()
{
if(false)
{
yield return 0;
}
}
第二個確實有一個yield return（即使無法訪問），這給了它足夠的上下文來知道您想要返回一個可枚舉的（因此它可以設置必要的狀態機）?，F在，當代碼執行時，您實際上從未命中該yield return行（因此編譯器警告） - 因此調用者將得到一個空的可枚舉值。這是預期的——
如果沒有產量中斷，編譯器會在函數末尾假設有一個產量中斷（就像普通函數中的 return; 語句一樣）
考慮到第二個代碼示例是多么丑陋和不直觀，您可能希望改用：
public static IEnumerable<int> Foo()
{
yield break;
}
由于它可以編譯，因此其意圖更加清晰，并且編譯器不會抱怨無法訪問的代碼
- 1 回答
- 0 關注
- 120 瀏覽
添加回答
舉報
0/150
提交
取消