(args is { Length：> 0})和args.Length？

Question

我浏览了dotnet运行时中的一些代码，并注意到与其编写以下代码不同：

if (args.Length > 0)

他们使用的是：

if (args is { Length: > 0})

你知道用第二种方法代替第一种方法有什么好处吗？看起来更长，更不容易阅读，但出于某种原因，使用了第二种方法？

Answer 1

如果args为null，则args.Length > 0抛出NullReferenceException。

在同样的情况下，args is { Length: > 0}的计算结果只是false。