Java 中怎么用泛型通配符实现一个安全的集合拷贝工具方法-java教程-PHP中文网

java泛型通配符实现安全集合拷贝：用? extends t读源集、? super t写目标集，避免类型错误；不可直接用list或原始类型，因泛型非协变；工具方法含空检查与类型推断，支持编译期安全。

java 中怎么用泛型通配符实现一个安全的集合拷贝工具方法

<p>Java 中用泛型通配符实现安全的集合拷贝，核心是使用 <strong>? extends T</strong> 限定源集合类型，用 <strong>? super T</strong> 支持目标集合写入，避免运行时类型错误。</p>

<h3>为什么不能直接用 List<Object> 或原始类型</h3>
<p>原始类型（如 <font color="red">List</font>）丢失泛型信息，编译期无法校验元素类型；而 <font color="red">List<Object></font> 虽然“宽”，但无法接收 <font color="red">List<String></font> 等子类型——因为 <font color="red">List<String></font> 不是 <font color="red">List<Object></font> 的子类。泛型不是协变的，必须靠通配符桥接。</p>

<h3>安全拷贝方法签名设计</h3>
<p>理想签名应满足：源集合可读任意子类型，目标集合可写该类型或其父类。推荐如下：</p>
<p><strong>public static <T> void copy(List<? extends T> src, List<? super T> dest)</strong></p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill6235" title="Java Maven Code Review"><img
														src="https://img.php.cn/upload/skill/000/000/081/179084711841712.jpg" alt="Java Maven Code Review" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill6235" title="Java Maven Code Review" class="overflowclass">Java Maven Code Review</a>
													<p class="overflowclass">审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill6235" title="Java Maven Code Review" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div>

? extends T：保证 src 中每个元素都能被当作 T 安全读取（例如 src 是 List<Integer>，T 可推为 Number 或 Object）
? super T：保证 dest 能接受 T 类型的元素（例如 dest 是 List<Object> 或 List<Number>，都可 add(Integer)）
类型参数 <T> 由编译器根据两个参数共同推断，确保读写类型兼容

完整工具方法实现

支持空检查、避免副作用，并保留泛型安全性：

public static <T> void copy(List<? extends T> src, List<? super T> dest) {
  if (src == null || dest == null) throw new NullPointerException();
  for (T item : src) {
    dest.add(item); // 编译器确认 item 类型兼容 dest
  }
}

调用示例：

copy(Arrays.asList(1, 2, 3), new ArrayList<Number>()); ✅（T 推为 Integer，Integer 是 Number 子类）
copy(Arrays.asList("a", "b"), new ArrayList<Object>()); ✅
copy(new ArrayList<String>(), new ArrayList<Integer>()); ❌ 编译失败（String 无法赋给 Integer）

进阶：返回新集合的不可变拷贝

若需创建副本而非追加，可封装为工厂方法：

public static <T> List<T> copied(List<? extends T> src) {
if (src == null) return Collections.emptyList();
return new ArrayList<>(src); // 构造函数内部已做类型安全复制
}

注意：直接 new ArrayList<>(src) 是安全的，因为 ArrayList 构造函数声明为 public ArrayList(Collection<? extends E> c)，与我们的通配符逻辑一致。