ReSharper如何知道这种返回类型永远不会为空？

在ReSharper中，可以使用注释或特定的代码结构来指示某个返回类型永远不会为空。以下是一些可能的方法：

1. 使用注释：可以使用特定的注释来标记返回类型永远不会为空。例如，可以使用[NotNull]或[return: NotNull]注释方法或属性。

[return: NotNull]
public string GetNonNullString()
{
    // ...
}

1. 使用!操作符：在返回类型后面加上!操作符，表示这个类型永远不会为空。

public string! GetNonNullString()
{
    // ...
}

1. 使用System.Diagnostics.CodeAnalysis.NotNullAttribute：这是一个.NET标准库中的属性，可以用来标记方法或属性的返回类型永远不会为空。

using System.Diagnostics.CodeAnalysis;

[return: NotNull]
public string GetNonNullString()
{
    // ...
}

1. 使用ContractAnnotation属性：这是一个JetBrains提供的特性，可以用来指定方法的预条件和后置条件。

using JetBrains.Annotations;

[ContractAnnotation("=> notnull")]
public string GetNonNullString()
{
    // ...
}

通过使用这些方法，ReSharper可以更好地理解返回类型的特性，从而提供更准确的代码分析和自动完成建议。同时，这也有助于提高代码的可读性和可维护性。