コードインスペクション：「??」条件は、null 許容参照型のアノテーションによると null になることはありません。

このインスペクションは、null 許容アノテーションまたは API 契約で左辺が null にならないように指定されている場合に、 ?? または ??= 式を報告します。この場合、フォールバック値に到達できず、通常は冗長なコードまたは不一致の null 許容アノテーションを示しています。

サンプル

                #nullable enable
                using System.Diagnostics.CodeAnalysis;
                class C
                {
                    [DisallowNull]
                    private string? _name = "";
                    string GetName()
                    {
                        return _name ?? "Unknown";
                    }
                }
            
   

                #nullable enable
                using System.Diagnostics.CodeAnalysis;
                class C
                {
                    [DisallowNull]
                    private string? _name = "";
                    string GetName()
                    {
                        return _name;
                    }
                }
            
   

クイックフィックス

状況によっては、到達不能時のフォールバックを削除する代わりに、メンバーまたはパラメーターを null 許容にするなどの応急処置を行うこともできます。

2026 年 6 月 12 日