1. Java 的原始类型是什么?
要理解 Java 的原始类型是什么,可以先看一下什么是泛型。
List<String> list = null;
其中 list 就是一个泛型,我们通常称之为字符串(String)列表(List),也就是说 list 中只能放字符串类型的元素。
如果我们按照下面这种方式声明 list 的话,它就是一个原始类型。
List list = null;
从 list 的声明当中我们可以对比发现,原始类型没有为容器指定明确的元素类型,所以我们可以在容器中放入一个 String,也可以放入一个 Integer,甚至任意的类型,就像下面这样。
public class RawType {
public static void main(String[] args) {
List list = new ArrayList();
list.add("极客教程");
list.add(18);
list.add(new RawType());
}
}
注意哦,编译器没有任何提醒!这预示着 Java 这门强类型的语言竟然有点弱类型的影子了。
PS:关于 Java 中的类型术语,大家可以参照下表。
术语 | 含义 | 举例 |
---|---|---|
Parameterized type | 参数化类型 | List<String> |
Actual type parameter | 实际类型参数 | String |
Generic type | 泛型类型 | List<E> |
Formal type parameter | 形式类型参数 | E |
Unbounded wildcard type | 无限制通配符类型 | List<?> |
Raw type | 原始类型 | List |
Bounded type parameter | 限制类型参数 | <E extends Number> |
Bounded wildcard type | 限制通配符类型 | List<? extends Number> |
2. 为什么不要使用原始类型?
大家可能会有一个疑惑,原始类型用起来很爽啊!因为不用关心放入 List 的元素到底是什么类型,想放什么就可以放什么,不要太爽啊!
可当我们想要从 List 中把元素取出来使用的时候,可就遇到大麻烦了。
List list = new ArrayList();
list.add("极客教程");
list.add(18);
list.add(new RawType());
for (Object o : list ) {
String s = (String) o;
System.out.println(s);
}
上面这段代码编译的时候没有任何问题,但输出的时候就会抛出 ClassCastException
。
极客教程
Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
at com.cmower.java_demo.programcreek.RawType.main(RawType.java:14)
除非我们使用 instanceof
关键字进行类型判断,就像下面这样。
List list = new ArrayList();
list.add("极客教程");
list.add(18);
list.add(new RawType());
for (Object o : list ) {
if (o instanceof String) {
String s = (String) o;
System.out.println(s);
} else if (o instanceof Integer) {
Integer i = (Integer) o;
System.out.println(i);
} else if (o instanceof RawType) {
RawType raw = (RawType) o;
System.out.println(raw);
}
}
可假如代码写成这样,可真真算得上是糟糕的代码了。
通常来说,为了代码的安全性起见,我们希望代码的错误发生得越早越好,能在编译时就不要在运行时。可使用原始类型的时候,我们发现错误一直到运行时才可能会被检出。
还记得《扁鹊见蔡桓公》的故事吗?
扁鹊见蔡桓公,立有间。扁鹊曰:“君有疾在腠理,不治将恐深。”桓侯曰:“寡人无疾。”扁鹊出,桓侯曰:“医之好治不病以为功。”……居十日,扁鹊望桓侯而还走。桓侯故使人问之,扁鹊曰:“疾在腠理,汤熨之所及也;在肌肤,针石之所及也;在肠胃,火齐之所及也;在骨髓,司命之所属,无奈何也。今在骨髓,臣是以无请也。”居五日,桓侯体痛,使人索扁鹊,已逃秦矣。桓侯遂死。
病情发现得越早,治疗的可能性就越大。同理,代码隐藏的问题发现的越晚,找出根源花费的精力就越大、时间就越多。
3. 有什么更好的选择呢?
如果不能使用原始类型,有什么更好的选择呢?
为了让 List 能够容纳任意类型的元素,我们可以使用 List<Object>
,尽管这并不是一个最优的选择。
List<Object> list = new ArrayList<>();
list.add("极客教程");
list.add(18);
list.add(new RawType());
鹅鹅鹅,这样的参数化类型 List<Object>
和原始类型 List 之间有区别吗?
当然有了!
List<Object>
至少明确地告诉编译器,该容器可以存放任意类型的对象,没有丢失类型的安全性。
可能我这样的解释会遭到某些抨击:“这不五十步笑百步吗?呵呵。”但我要想表达的是登月男神阿姆斯特朗的那句话:“这是我个人的一小步,却是人类的一大步。”能向前迈一步是一步啊。
那最优的选择是什么呢?
从一开始就为 List 声明具体的类型,比如说 List<String> list
,当我们尝试放入一个 int 值的时候就会编译出错。
从另一种层面上来说,这样做削弱了程序的灵活性,但保证了程序的绝对安全性,以及在表达上的明确性。
4. 为什么 Java 允许使用原始类型?
既然原始类型是不安全的,那为什么 Java 一直允许使用原始类型呢?并且泛型擦除后仍然是个原始类型呢?
答案很简单、很无厘头、很苍白——为了版本兼容!
引入泛型的时候,Java 已经进入到第二个十年(年纪大了),市面上存在大量没有使用 Java 泛型的代码。如果因为版本升级导致它们不能使用,恐怕 Java 也活不到现在,毕竟对用户友好才是一个软件存在的硬道理。
当然了,Java 已经对开发者做出了警示:强烈建议不要在 Java 代码中使用原始类型,未来的版本中可以会禁止使用原始类型,请小心点。
网友评论