下界通配符（<? super Span>）不适用于Span多级子类合并归仓，因其仅支持写入、禁止安全读取具体子类型；正确做法是使用上界通配符<? extends Span>或List<Span>，依托Span接口契约实现运行时多态处理与标准化导出。
这个问题存在概念混淆，需要先厘清关键前提：
下界通配符（<? super T>）不适用于“合并归仓多级衍生子类 Span 变量”这一场景。
原因如下：
-
下界通配符用于写入安全：它允许向集合中添加
T或其任意父类型实例，但禁止从中读取具体子类型对象（只能安全读为Object）。例如：List<? super Span> list = new ArrayList<TracerSpan>(); // OK list.add(new SpanImpl()); // OK —— SpanImpl 是 Span 子类 list.add(new TracerSpan()); // OK Span s = list.get(0); // 编译错误！无法保证返回的是 Span
你无法从
List<? super Span>中安全取出一个Span（更别说SpanImpl、DbSpan、RpcSpan等具体子类），自然无法做“合并”或“归仓”所需的类型识别、属性提取、耗时聚合等操作。 -
分布式链路追踪中真正的 Span 多态处理，依赖的是：
-
统一接口/抽象基类（如
Span接口定义getTraceId()、getDuration()、getTags()等） -
运行时多态调用（
span.getDuration()自动分派到各子类实现） -
泛型上界或原始类型容器（如
List<Span>、Collection<? extends Span>），而非下界
-
统一接口/抽象基类（如
✅ 正确做法是使用 上界通配符 <? extends Span> 或直接 List<Span>：
// ✅ 支持安全读取所有 Span 子类实例，支持统一处理
List<? extends Span> spans = fetchAllSpans(); // 如从 Zipkin 查询结果
spans.forEach(span -> {
String traceId = span.getTraceId(); // 安全调用
long duration = span.getDuration(); // 各子类各自实现
Map<String, String> tags = span.getTags(); // 统一契约
// → 可归并：按 traceId 分组、按 service.name 聚合、统计 P95 延迟等
});✅ 若需“归仓”（即写入统一存储），应使用具体实现类或适配器：
// 归仓逻辑不依赖泛型通配符，而依赖标准化序列化
SpanExporter exporter = new ZipkinSpanExporter();
spans.forEach(exporter::export); // export(Span span) 方法接收任意 Span 实现
// 或批量归仓（要求所有 Span 可转为标准格式）
List<ZipkinSpan> zipkinSpans = spans.stream()
.map(SpanAdapter::toZipkinSpan) // 统一转换，屏蔽子类差异
.collect(Collectors.toList());
zipkinClient.send(zipkinSpans);⚠️ 补充提醒：
在真实链路系统（如 Sleuth + Brave / SkyWalking）中，Span 的多态性早已被封装在 Span 接口和 MutableSpan/RealSpan 等实现中；业务代码绝不应直接操作子类，也不该试图通过泛型通配符来“识别子类类型”——这违背了面向接口编程与可观测性数据标准化原则。
真正影响大规模归仓性能的，是采样策略、异步上报、批量压缩、存储选型（Elasticsearch vs. Cassandra）、以及 Trace ID 的哈希分片设计，而非泛型边界选择。
所以，不是“如何用下界通配符实现”，而是：
放弃下界通配符思路，采用 List<Span> + 接口契约 + 标准化导出流程，才是可扩展、可维护、符合 OpenTracing/SIGO 规范的归仓方式。
