C# 8.0 中容错运算符的确切语义？

Question

根据文档：

后缀。 运算符没有运行时影响 - 它计算底层表达式的结果，它的唯一作用是更改表达式的 null state。 并限制对其使用的警告。

例子：

IEnumerable<object?>? foo = GetFromSomewhere();
IEnumerable<object> bar = foo; // warning CS8619: Nullability of reference types in value of type 'IEnumerable<object?>' doesn't match target type 'IEnumerable<object>'.

（请注意，警告没有正确地将值的类型识别为IEnumerable<object?>? ，但声称它是IEnumerable<object?> 。）

添加时! ：

IEnumerable<object?>? foo = GetFromSomewhere();
IEnumerable<object> bar = foo!; // No warning.

! seems to change the nullability of the concrete generic argument (from object? to object ) too, not only the null state of the actual object instance denoted by the expression foo .

但只有当我明确注释bar的类型时。 当使用var代替时，行为更像是我如何解释文档：

IEnumerable<object?>? foo = GetFromSomewhere();
var bar = foo!;
IEnumerable<object> baz = bar; // warning CS8619: Nullability of reference types in value of type 'IEnumerable<object?>' doesn't match target type 'IEnumerable<object>'.

所以bar被推断为IEnumerable<object?> ，只删除最外面的问号。

C# 8.0 null-forgiving operator ( ! ) 的确切语义是什么？

Answer 1

正如你所引用的：

后缀。 运算符没有运行时影响 - 它计算底层表达式的结果，它的唯一作用是更改表达式的 null state，并限制在其使用时给出的警告。

因此，操作员通常会限制可空性警告。

! 似乎也改变了具体通用参数的可空性（从 object? 到对象）

您将bar的类型明确指定为IEnumerable<object> ，并使用了! 操作员也是如此，这抑制了警告。