Newtonsoft.Json 中自定义转换器的继承行为解析

问题背景

在使用 Newtonsoft.Json 处理多态类型序列化时，开发者经常会遇到需要自定义 JsonConverter 的情况。一个典型场景是处理继承体系中的抽象基类和具体子类，例如问卷调查系统中的各种问题类型。

核心问题现象

当开发者为抽象基类 Question 添加 [JsonConverter] 属性后，发现转换器不仅会处理基类类型，还会处理所有派生类类型（如 SingleLinePlainTextQuestion 和 RadioQuestion），即使 CanConvert 方法明确返回 false 也是如此。这导致了意外的递归调用和堆栈溢出。

技术原理剖析

Newtonsoft.Json 的设计中存在一个关键行为特性：

1. 属性标注优先：当类型被显式标记了 JsonConverterAttribute 时，该转换器会成为该类型的默认转换器，此时 CanConvert 方法的返回值将被忽略。

2. 继承传播：这种转换器关联会沿着继承链向下传播，影响所有派生类。这是设计上的有意行为，而非缺陷。

3. 递归陷阱：在转换器内部使用 ToObject 方法时，如果不加控制，会再次触发相同的转换逻辑，形成无限递归。

解决方案比较

方案一：禁用转换器传播（临时方案）

为派生类添加一个"空"转换器，明确禁止转换：

[JsonConverter(typeof(NoConverter))]
public class SingleLinePlainTextQuestion : Question { /*...*/ }

其中 NoConverter 是一个不做任何实际转换的桩实现。

方案二：利用内置类型鉴别系统（推荐方案）

Newtonsoft.Json 原生支持通过 $type 字段进行类型鉴别：

1. 模型调整：

public abstract class Question {
    [JsonProperty("$type")]
    public abstract string Type { get; }
    // 其他属性...
}

2. 自定义绑定器：

public class CustomBinder : DefaultSerializationBinder {
    public override Type BindToType(string assemblyName, string typeName) {
        return typeName switch {
            "radio" => typeof(RadioQuestion),
            "single-plain" => typeof(SingleLinePlainTextQuestion),
            _ => base.BindToType(assemblyName, typeName)
        };
    }
}

3. 序列化配置：

var settings = new JsonSerializerSettings {
    SerializationBinder = CustomBinder.Instance,
    TypeNameHandling = TypeNameHandling.Auto
};

方案三：完善转换器实现（完整控制）

如果需要完全控制序列化格式，可以实现完整的读写逻辑：

public override void WriteJson(JsonWriter writer, object value, JsonSerializer serializer) {
    writer.WriteStartObject();
    writer.WritePropertyName("type");
    writer.WriteValue(value is SingleLinePlainTextQuestion ? "single-plain" : "radio");
    // 手动序列化其他属性...
    writer.WriteEndObject();
}

最佳实践建议

1. 明确设计目标：如果只需要处理多态反序列化，优先考虑类型鉴别器方案。

2. 避免属性标注：除非确实需要全局强制使用特定转换器，否则建议通过 JsonSerializerSettings 添加转换器。

3. 注意递归风险：在转换器内部使用 ToObject 或 Deserialize 时，考虑传递新的序列化设置或使用 JToken 直接操作。

4. 性能考量：类型鉴别器方案通常比完整自定义转换器性能更好，特别是在处理大型对象图时。

总结

Newtonsoft.Json 的转换器继承机制虽然初看令人困惑，但理解其设计原理后，开发者可以灵活选择最适合场景的解决方案。对于多态类型序列化，结合类型鉴别器和自定义绑定器通常是最优雅的实现方式，既能保持清晰的类型区分，又能避免不必要的性能开销和递归风险。