c# - 获取警告 "The source expression is always of pattern' s 类型，匹配所有非空值”

Question

我正在尝试在这行代码中使用新的 C# 7 模式匹配功能

if (Customers.SingleOrDefault(x => x.Type == CustomerType.Company) is Customer customer)
{
    ...
}

但出于某种原因，Resharper/Visual Studio 2017 在 is Customer 下给我一个警告，并显示以下消息

The source expression is always of pattern's type, matches on all non-null values

但是 customer 也可以是 null 对吗？任何人都可以向我解释为什么会发出此警告吗？

Answer 1

你是对的!

ReSharper(不是 Visual Studio)事实上是正确的，尽管我不知道为什么这会是一个警告。

尽管 Customers 是 Customer 的集合，但 SingleOrDefault 的使用暗示该值可能为 null这不是 Customer。

没有人说所有来自Customers 的值都是非null。