c# - (args 之间的区别是 { Length : > 0}) and 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。