能否通过Roslyn抑制可空分析中未初始化字段的编译器警告？

你的场景是基于依赖反射与代码生成初始化特殊类型成员的平台，示例代码如下：

public class MyGraph : PXGraph<MyGraph>
{
    public PXSelect<DBTable> view;
}

启用可空引用类型分析后，大量非可空字段会触发“未初始化”警告，但这些字段实际由平台完成初始化。你排斥#pragma指令（代码杂乱）、抑制属性（不适用）、view = null!/view = default!（无意义赋值）、required关键字（引发编译错误）这类方案，希望找到更优雅的解决方式，尤其是通过Roslyn干预编译器诊断的可能性。

一、自定义Roslyn分析器+代码修复（最优雅的长期方案） #

编写自定义Roslyn分析器，识别平台特定类型（如继承自PXGraph的类）及其特殊字段（如PXSelect<T>类型的字段），自动抑制这类字段的未初始化警告，一次性配置后全局生效，完全不侵入业务代码。

核心实现思路： #

• 识别所有继承自PXGraph的类；
• 在这类类中筛选出PXSelect<>及其派生类型的字段；
• 针对这些字段，拦截或抑制CS8618（非可空字段未初始化）诊断。

简化版分析器代码： #

[DiagnosticAnalyzer(LanguageNames.CSharp)]
public class PXGraphFieldNullableAnalyzer : DiagnosticAnalyzer
{
    private const string DiagnosticId = "PXGraphNullableSuppression";
    private static readonly LocalizableString Title = "Suppress PXGraph field nullable warnings";
    private static readonly LocalizableString MessageFormat = "Suppress uninitialized warning for PXSelect field {0}";
    private static readonly LocalizableString Description = "Suppresses CS8618 for fields in PXGraph-derived classes initialized via platform reflection/codegen.";
    private const string Category = "Nullable";

    private static readonly DiagnosticDescriptor Rule = new DiagnosticDescriptor(
        DiagnosticId, Title, MessageFormat, Category, DiagnosticSeverity.Info, isEnabledByDefault: true, description: Description);

    public override ImmutableArray<DiagnosticDescriptor> SupportedDiagnostics => ImmutableArray.Create(Rule);

    public override void Initialize(AnalysisContext context)
    {
        context.ConfigureGeneratedCodeAnalysis(GeneratedCodeAnalysisFlags.None);
        context.EnableConcurrentExecution();
        context.RegisterSymbolAction(AnalyzeField, SymbolKind.Field);
    }

    private void AnalyzeField(SymbolAnalysisContext context)
    {
        var field = (IFieldSymbol)context.Symbol;
        // 检查字段所属类是否继承自PXGraph（建议用全限定名判断更准确）
        var containingType = field.ContainingType;
        if (!containingType.BaseType?.Name.StartsWith("PXGraph`") ?? true)
            return;

        // 检查字段类型是否为PXSelect<>及其派生类
        if (field.Type.Name.StartsWith("PXSelect`") || 
            field.Type.OriginalDefinition.ToString().StartsWith("PXSelect`"))
        {
            // 可配合代码修复器自动添加SuppressMessageAttribute，
            // 或用底层Roslyn API直接拦截CS8618诊断触发
            context.ReportDiagnostic(Diagnostic.Create(Rule, field.Locations[0], field.Name));
        }
    }
}

实际使用时，建议完善类型判断逻辑（比如用全限定类型名避免重名冲突），并配合代码修复器批量处理现有字段。

二、自定义特性标记+轻量分析器（次优轻量方案） #

如果不想写复杂的分析器，可以自定义一个标记特性，配合简单的分析器识别并抑制警告：

1. 定义特性：

[AttributeUsage(AttributeTargets.Field)]
public class PlatformInitializedAttribute : Attribute { }

2. 标记业务代码中的字段：

public class MyGraph : PXGraph<MyGraph>
{
    [PlatformInitialized]
    public PXSelect<DBTable> view;
}

3. 编写轻量分析器，识别带有PlatformInitializedAttribute的字段，自动抑制CS8618警告。

这种方式只需少量标记，避免了冗余赋值和杂乱指令，兼顾灵活性和简洁性。

三、项目级全局抑制（快速临时方案） #

如果只是临时过渡，可以在项目文件中添加全局警告抑制，精准针对PXGraph派生类中的PXSelect字段：

<PropertyGroup>
  <Nullable>enable</Nullable>
</PropertyGroup>
<ItemGroup>
  <SuppressMessage Include="CS8618" 
                   Category="Nullable"
                   Condition="Contains(MetadataFileName, 'PXGraph') and Contains(Message, 'PXSelect')" />
</ItemGroup>

注意：这种方式的条件判断精准度有限，可能误抑制其他字段，适合短期过渡使用。

内容的提问来源于stack exchange，提问作者user28639898