C# .NET如何实现编译时禁止方法同时接收两个false布尔参数？

当然有办法实现编译时检测！下面给你几个实用的方案，从简单到进阶都有：

1. 重构方法签名（最推荐，简单直观） #

把两个布尔参数换成带Flags特性的枚举，从根源上避免无效组合——调用者根本没法传入“两个false”的等价情况：

[Flags]
public enum FillOptions
{
    // 不定义None选项，强制调用者必须选择至少一项
    FillDirectories = 1 << 0,
    FillFiles = 1 << 1,
    FillBoth = FillDirectories | FillFiles
}

// 更新你的方法签名
public static void DirFillWEx(ComboBox cb, FillOptions options)
{
    // 内部可以这样解析枚举值
    bool dirFill = (options & FillOptions.FillDirectories) != 0;
    bool fileFill = (options & FillOptions.FillFiles) != 0;
    
    // 原来的业务逻辑...
}

这样调用者只能传FillDirectories、FillFiles或FillBoth，完全杜绝了双false的情况。如果有人故意强制转换(FillOptions)0，可以在方法内部加一行运行时检查兜底，但正常开发场景下不会出现这种恶意操作。

2. 自定义Roslyn代码分析器（编译时强校验） #

如果必须保留原方法签名，那可以写一个Roslyn分析器，让编译器在编译时自动扫描所有调用DirFillWEx的地方，一旦发现双false的常量参数就抛出错误。

大致实现步骤：

• 创建一个“Analyzer with Code Fix”类型的项目
• 编写分析逻辑，定位到DirFillWEx的方法调用，提取后两个布尔参数的常量值
• 若两个参数都是常量false，就报告编译诊断错误

核心逻辑片段示例：

public override void Initialize(AnalysisContext context)
{
    context.RegisterSyntaxNodeAction(AnalyzeInvocation, SyntaxKind.InvocationExpression);
}

private void AnalyzeInvocation(SyntaxNodeAnalysisContext context)
{
    var invocation = (InvocationExpressionSyntax)context.Node;
    var methodSymbol = context.SemanticModel.GetSymbolInfo(invocation.Expression).Symbol as IMethodSymbol;
    
    // 确认是目标方法
    if (methodSymbol?.Name != "DirFillWEx" || methodSymbol.Parameters.Length != 3)
        return;
    
    // 提取两个布尔参数
    var dirFillArg = invocation.ArgumentList.Arguments[1];
    var fileFillArg = invocation.ArgumentList.Arguments[2];
    
    if (IsConstantFalse(dirFillArg, context) && IsConstantFalse(fileFillArg, context))
    {
        context.ReportDiagnostic(Diagnostic.Create(
            DiagnosticRules.InvalidFillCombinationRule, 
            invocation.GetLocation(), 
            "DirFillWEx不能同时传入两个false参数"));
    }
}

private bool IsConstantFalse(ArgumentSyntax arg, SyntaxNodeAnalysisContext context)
{
    var constantValue = context.SemanticModel.GetConstantValue(arg.Expression);
    return constantValue.HasValue && constantValue.Value is bool b && !b;
}

把这个分析器打包成NuGet包或直接引用到项目里，就能在编译时自动拦截违规调用了。不过这个方案需要额外编写分析器代码，适合必须保留原方法签名的场景。

3. 编译时断言（仅适用于常量参数） #

如果调用者传入的是常量布尔值，可以用Debug.Assert结合编译时常量检查，但这个方案有局限性：

public static void DirFillWEx(ComboBox cb, bool dirFill, bool fileFill)
{
    // 仅能检测常量参数，变量参数无法识别
    Debug.Assert(dirFill || fileFill, "DirFillWEx不能同时传入两个false参数");
    
    // 原来的逻辑...
}

它只能在Debug模式下触发断言提示，Release模式下会被移除，而且无法检测变量参数的情况，只能作为辅助手段。

总结一下，最推荐的是方案1，用枚举重构签名既直观又能从根源上避免无效调用；如果必须保留原签名，就用方案2的Roslyn分析器实现真正的编译时强校验。

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