怎么注解一個C# function說一個參數返回不是null

Question

如果字符串為空/空/空白，我有一些驗證代碼會拋出異常。 我希望它在 function 返回后向 null 檢查系統發出信號，表明argument不是 null。

void ThrowIfNullEmptyOrBlank(string? argument, string paramName)
    => ThrowIf(Check.Null & Check.Empty & Check.Blank, argument, paramName);

[return: NotNull] void ThrowIfNullEmptyOrBlank(string? argument, string paramName)不對，因為我的方法沒有返回值（我想我可以改變它，但這樣更干凈）。

有可能做我正在嘗試的事情嗎？

Answer 1

只需使用NotNullAttribute ：

void ThrowIfNullEmptyOrBlank([NotNull] string? argument, string paramName)
    => ThrowIf(Check.Null & Check.Empty & Check.Blank, argument, paramName);

來自由 C# 編譯器解釋的空狀態 static 分析的屬性：

可為 null 的參數、字段、屬性或返回值永遠不會是 null。

這與目標相符——如果方法返回， argument永遠不會是 null。

這個答案也很有用（也可以查看CallerArgumentExpressionAttribute技巧）。