本文旨在深入探讨java泛型中协变（covariance）与逆变（contravariance）的概念，并通过`optional`和`stream`的实际案例，解析为何`optional`不能直接赋值给`optional`，以及`optional.map()`方法如何巧妙地利用泛型方法签名和类型推断实现类型转换，并介绍如何通过通配符`? extends`实现使用点协变。
在Java的泛型系统中，一个核心原则是其默认的不变性（Invariance）。这意味着，如果User是UserDetails的子类，那么Optional并不是Optional的子类型。这种设计是为了保证类型安全，防止在运行时出现类型转换异常。
泛型不变性：为何Optional不能直接转换为Optional
考虑以下代码示例，其中User类实现了UserDetails接口：
interface UserDetails { /* ... */ }class User implements UserDetails { /* ... */ }// 尝试直接返回 Optional 作为 Optionalpublic Optional getUserDetails(String username) { Optional userOptional = userService.findByUsername(username); return userOptional; // 编译错误：Optional 无法转换为 Optional}
这段代码会引发编译错误，因为Java编译器不允许将Optional直接赋值给Optional。尽管User是UserDetails的子类型，但泛型容器Optional对于其类型参数是不变的。如果允许这种直接转换，可能会导致潜在的类型不安全操作。
Optional.map()的类型推断与灵活转换
然而，以下代码却能正常编译并运行：
立即学习“Java免费学习笔记（深入）”；
public Optional getUserDetails(String username) { Optional userOptional = userService.findByUsername(username); return userOptional.map(user -> user); // 编译通过}
这里的关键在于Optional.map()方法的泛型签名：
public Optional map(Function mapper)
map方法是一个泛型方法，它引入了一个新的类型参数U，并返回一个Optional。在上述代码中：
类型推断：编译器会根据getUserDetails方法的返回类型Optional，推断出map方法中的U应该为UserDetails。函数参数：map方法接受一个Function类型的函数。? super T：表示函数可以接受类型为T或T的任何父类型的参数。在本例中，T是User，所以函数可以接受User或其父类型（如UserDetails、Object）。? extends U：表示函数可以返回类型为U或U的任何子类型的值。在本例中，U是UserDetails，所以函数可以返回UserDetails或其子类型。身份函数：user -> user是一个身份函数，它接收一个User对象并返回该User对象。由于User是UserDetails的子类型，这个函数符合Function的要求，即它接收一个User（符合? super User）并返回一个User（符合? extends UserDetails）。
因此，map方法能够根据上下文的返回类型灵活地生成一个Optional，这并非Optional本身的协变，而是map方法利用其泛型签名和Java的类型推断机制实现了安全的类型转换。
通过通配符实现使用点协变 (? extends)
如果你确实需要让一个Optional能够被视为某种Optional，同时又不想使用map方法，你可以通过Java的使用点协变（Use-site Covariance）来实现，即使用带有? extends的通配符：
Ai Mailer
使用Ai Mailer轻松制作电子邮件
49 查看详情 
public Optional getUserDetails(String username) { Optional userOptional = userService.findByUsername(username); return userOptional; // 编译通过}
在这里，Optional表示一个Optional，它包含的元素类型是UserDetails或其任何子类型。Optional自然符合这个定义，因为User是UserDetails的子类型。这种方式允许你将Optional赋值给Optional，从而实现了在特定使用场景下的协变。
Stream.map()与类型推断链
与Optional.map()类似，Stream.map()也拥有灵活的泛型签名：
Stream map(Function mapper)
然而，当它与findFirst()等终端操作结合时，类型推断的行为可能会导致意料之外的结果。考虑以下不工作的代码：
public Optional getUserDetails(String username) { Optional userOptional = userService.findByUsername(username); return userOptional.stream().map(user -> user).findFirst(); // 编译错误}
这段代码失败的原因是：
userOptional.stream()将Optional转换为Stream。map(user -> user)操作作用于Stream。根据map方法的签名，它会返回一个Stream。类型推断的局限性：在这种链式调用中，map方法的R通常会被推断为与输入流的元素类型相同，或者根据后续操作来推断。但是，findFirst()是一个终端操作，它会返回一个Optional，其中T是其操作的Stream的元素类型。在本例中，userOptional.stream().map(user -> user)的结果是一个Stream（因为user -> user返回User，R被推断为User）。因此，findFirst()会返回Optional。最终，Optional仍然无法直接转换为Optional，导致编译错误。
为了使这段代码工作，你需要明确地进行类型转换，例如使用map方法将User转换为UserDetails：
public Optional getUserDetails(String username) { Optional userOptional = userService.findByUsername(username); return userOptional.stream() .map(user -> (UserDetails) user) // 显式转换为 UserDetails .findFirst();}
或者，如果map操作本身能够返回一个UserDetails，则更简洁：
public Optional getUserDetails(String username) { Optional userOptional = userService.findByUsername(username); // 假设 userToUserDetailsConverter 是一个 Function return userOptional.map(userToUserDetailsConverter); }
如果只是想利用Stream API，并且保持类型转换的灵活性，可以确保map操作返回的类型符合预期：
public Optional getUserDetails(String username) { Optional userOptional = userService.findByUsername(username); // 这里 map 的 R 会被推断为 UserDetails，因为 lambda 返回 UserDetails return userOptional.stream() .map(user -> (UserDetails) user) // 确保 lambda 返回 UserDetails .findFirst(); }
总结与注意事项
泛型不变性是默认规则：在Java中，Container通常不能直接赋值给Container。这是为了保证类型安全。泛型方法与类型推断的强大：Optional.map()和Stream.map()等泛型方法通过其灵活的签名（如Function）和编译器的类型推断能力，实现了在不破坏类型安全的前提下的类型转换。这里的关键在于map方法返回的是一个新的Optional或Stream，其中U或R是根据上下文推断出来的。使用点协变 (? extends)：当你需要一个泛型类型参数能够接受其自身类型及其所有子类型时，可以使用通配符? extends。例如，Optional可以持有Optional。注意链式操作中的类型推断：在复杂的链式调用（如stream().map().findFirst()）中，需要仔细理解每一步操作的返回类型以及类型参数的推断过程，以避免编译错误。如果最终的返回类型不匹配，可能需要显式转换或调整中间操作。逆变 (? super)：虽然本文主要聚焦协变，但Function中的? super T体现了逆变的概念，即它能够接受比T更泛化的类型作为输入。
理解这些概念对于编写健壮、类型安全的Java泛型代码至关重要。
以上就是深入理解Java泛型中的协变与逆变：以Optional和Stream为例的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1071469.html
微信扫一扫 
支付宝扫一扫 
