LINQ 在 VB.NET 中进行短路评估吗？

Question

今天，我们在这行代码上遇到了 Nullable object must have a value 错误：

list = From x In Me Where x.FooDate.HasValue AndAlso x.FooDate.Value.Date >= barDate

有趣的是，我确信这曾经工作得很好（并且底层中总是有一些空值）数据）。从逻辑上讲，它对我来说看起来不错。对 HasValue 和 AndAlso 的检查看起来好像它们会保护我们免受任何 Null 危险。

但突然间他们似乎就不是了。我错过了什么吗？

好的，我们可以更正它，从而消除错误：

list = From x In Me Where If(x.FooDate.HasValue, x.FooDate.Value.Date >= barDate,False)

但这在我看来不太可读。有什么想法吗？

更新...和忏悔：
在简化上面的代码以缩短代码行时，我遗漏了代码的关键部分。最初的问题应该是这样的：

list = From x In Me Where x.FooDate.HasValue AndAlso x.FooDate.Value.Date >= fromDate And x.FooDate.Value.Date <= toDate

因为短路和运算符优先级的规则（如在答案中概述很久以前我自己的问题）我需要在指令的第二部分周围添加括号，以便停止 LINQ 评估第二个 x.FooDate.Value.Date：

list = From x In Me Where x.FooDate.HasValue AndAlso (x.FooDate.Value.Date >= fromDate and x.FooDate.Value.Date <= toDate)

感谢两个答案的抛出快速测试代码来验证 LINQ 确实遵守 AndAlso 并迫使我更仔细地查看原始问题。

Answer 1

我很确定您的查询是安全的，至少以下示例代码是：

Dim dateList As New List(Of Nullable(Of Date))
For i As Int32 = 0 To 12
    If (i Mod 3 = 0) Then
        dateList.Add(Nothing)
    Else
        dateList.Add(New Date(2012, i, 1))
    End If
Next
Dim july = New Date(2012, 7, 1)
Dim fromJuly = (From m In dateList
      Where m.HasValue AndAlso m.Value.Date >= july).ToList

_{注意：如果我将 AndAlso 替换为 And 我会得到您的异常。}

所以问题一定出在其他地方。请向我们展示更多您的课程。

Answer 2

它应该有效。我编写了这段代码，即使将 barDate 设置为 Nothing，它对我来说也很好用。

Sub Main()

    Dim barDate As Nullable(Of DateTime) = Nothing

    Dim List = From x In GetDates() Where x.FooDate.HasValue AndAlso x.FooDate.Value.Date > barDate

    Console.WriteLine(List.Count())

End Sub

Function GetDates() As List(Of Foo)
    Dim l = New List(Of Foo)
    l.Add(New Foo With {.FooDate = DateTime.Now})
    l.Add(New Foo)
    Return l
End Function

Class Foo
    Private m_fooDate As DateTime?
    Public Property FooDate() As DateTime?
        Get
            Return m_fooDate
        End Get
        Set(ByVal value As DateTime?)
            m_fooDate = value
        End Set
    End Property

End Class