java - 强制转换和泛型如何工作？

Question

在阅读了一些示例之后，我仍然不太明白泛型是什么。到目前为止我发现的最好的解释是 What does <> (angle brackets) mean in Java?

据我所知，如果使用泛型，则不需要将返回值转换为类型。

但是泛型实际上是做什么的？据我了解，确保(？)返回的值已经转换为括号中定义的类型。

但这意味着，Java 需要对每个赋值进行强制转换。

String str = (String) otherstring;

是正确的，并且

String str = otherstring;

不合适。

据我了解，通用 <String>会确保该值在分配之前进行转换，因此我们不必转换它？

Java 是否需要对每个值进行强制转换，即使其类型已经相同？

Answer 1

PHP 在某种意义上更容易，但这只是因为它不关心其中一些问题。使用 PHP，您可以稍后处理这些问题。

类型转换基本上是在两个方向之一(向上或向下)。向上转换表示您更愿意仅通过该对象继承的类的接口(interface)(或继承该对象的接口(interface))来使用该对象。

例如，如果我有一个 FileInputStream，我可以将其更改为“只是”一个 InputStream

FileInputStream fileInput = ...
InputStream input = (InputStream)fileInput;

请注意，这对可达方法的实现影响为零；但有时确实会隐藏以前可用的方法。

fileInput.getFileName();  // let's pretend this works
input.getFileName(); // this shouldn't work, as any InputStream doesn't have a file name.

贬低是不同的(而且是危险的)。您基本上声明，即使您有一个 InputStream，但不知何故您知道它应该被视为 FileInputStream

InputStream input2 = ...;
FileInputStream fileInput2 = (FileInputStream)input2;

如果此场景中的 input2 没有适当类型的 FileInputStream，那么您将在运行时收到类转换异常。如果它确实具有适当的类型，则将分配 fileInput2。

这种类型系统的主要原因是您可以轻松编写可重用的组件。 “较高”类型(向上转型类型)指定一般合约，而“较低”类型(向下转型类型)则指定在其父类(super class)型指定的一般合约内变化的具体细节。

泛型；然而，它们是不同的蜡球。基本上，在处理集合以及与集合相关的事物时，规则是相似的(但由于多种原因必须有所不同)。

泛型行为不同的原因之一是向后兼容性。将“额外”类型信息添加到现有类型(如 java.util.List)的设计目标意味着，对于混合泛型和非泛型使用，该类型实际上不能在运行时存在。泛型类型的这种在运行时不被认为存在的属性称为“删除”。简而言之，当你写

List<Student> students = new ArrayList<Student>();

你正在有效地编译

List students = new ArrayList();

但是你的编译器会做“额外”的工作，以确保在你编写的任何源代码中，你只能添加一个“Student”对象。同样，当您阅读列表时，不需要转换为“Student”对象，因为编译器将假定列表中只能包含“Student”对象。

请注意，要使这样的系统正常工作，它只能在编译时进行。这意味着类型层次结构和运行时转换的详细信息不适用。这反射(reflect)在泛型添加的新类型约束中。

T extends Student

意味着 T 可以转换给学生(向上转换)

T super Student

表示 T 是 Student 的父类(super class)。后一个比较棘手，但在某些情况下很有用。

如果 CollegeStudent、HighSchoolStudent 和 GradeSchoolStudent 都继承了 Student，那么这三种类型的 Student 都可以存储在 List 。

如果需要确保集合至少为学生提供服务，那么您可以给出一个列表 .

public void studentProcessor(Collection<? super Student> students);

可以处理List 、List 、List 等。