是否有任何“宽恕的零宽恕操作员”警告设施？

Question

考虑一下这个不太安全的 sn-p：

private object? _obj;

private void Dummy()
{
    if (this._obj == null)
    {
        this.Create();
    }
    Console.WriteLine(this._obj!.ToString());  //note the null-forgiving operator
}

private void Create()
{
    this._obj = new object();
}

虽然_obj字段明确保证不为空，但检查器无法理解。清除警告的解决方案是添加 null-forgiving 运算符，尽管我希望避免或谨慎使用它。

修改后的 sn-p 导致了更安全的模式和完全可检查的代码：

private void BetterDummy()
{
    this._obj ??= this.BetterCreate();
    Console.WriteLine(this._obj!.ToString());
}

private object BetterCreate()
{
    return new object();
}

但是，我可能忘记从它所在的位置删除!（假设有很多这样的地方）。该操作员禁止对该点进行检查，因此我想将代码设置为最佳。

我想知道是否有一个选项可以突出显示/警告“不再有用”的 null-forgiving 运算符，以便快速找到它们并将其从代码中删除。

Answer 1

虽然_obj字段明确保证不为空

但事实并非如此。正如@Knoop 指出的那样，不能保证在从对Create 的调用返回及其评估之间，其他线程不会影响您的对象。

我建议的第一件事是让您的字段不可为空。我看不到任何其他方法，但您提供的方法明确暗示该值不应为空。

如果您不想允许可能不安全的!.，为什么不使用更安全的?.：

private void EvenBetterDummy()
{
    this._obj ??= this.BetterCreate();
    Console.WriteLine(this._obj?.ToString());
}

或者，如果您有默认值：

private void EvenBetterDummy()
{
    this._obj ??= this.BetterCreate();
    Console.WriteLine(this._obj?.ToString() ?? "oops, that one 's a null");
}