日志记录异常后抛出：如何规避编译器警告并简化代码？

1. 给Logger.Add方法添加[DoesNotReturn]属性 #

在C#环境下，你可以借助System.Diagnostics.CodeAnalysis命名空间下的[DoesNotReturn]特性，标记你的Logger.Add方法。这个特性会明确告诉编译器：该方法永远不会正常返回，必然会抛出异常。

修改后的Logger类示例：

using System.Diagnostics.CodeAnalysis;

public class Logger
{
    // 标记此方法不会正常返回
    [DoesNotReturn]
    public void Add(Exception ex)
    {
        // 执行异常日志记录逻辑
        Console.WriteLine($"记录异常：{ex.Message}");
        // 抛出异常
        throw ex;
    }
}

2. 验证效果 #

添加该特性后，编译器会自动识别Logger.Add调用后的代码属于不可达分支，因此不会再触发“Possible null reference return”这类警告，switch语句的分支覆盖检查也能正常工作。

比如之前的问题场景：

public string GetValue(int type)
{
    var logger = new Logger();
    switch(type)
    {
        case 1: return "A";
        case 2: return "B";
        default:
            logger.Add(new InvalidOperationException("无效的type值"));
            // 之前编译器会认为这里可能执行到，触发空引用警告
            // 现在因Add方法标记了DoesNotReturn，编译器明确此处不会执行
            break;
    }
}

这段代码现在可以正常编译，不会再出现分支未覆盖或空引用相关的编译警告。

3. 补充说明 #

如果你的Logger.Add存在重载方法，只需给那些负责记录并抛出异常的重载版本添加[DoesNotReturn]即可。若有返回异常对象让调用方手动抛出的重载，可使用[DoesNotReturnIf(...)]特性做更精准的控制，但你的场景直接用[DoesNotReturn]就足够解决问题。

内容的提问来源于stack exchange，提问作者K.S.