怪癖有哪些_Java语言怪癖

怪癖有哪些

在设计Java时，Sun的男孩们确实做了一件了不起的事情。 我的意思是，每个人现在都在诅咒它，预言Java会因为它的冗长而死，但是这样的人还能做得更好吗？ 我对此表示怀疑。 只需考虑一下Java在企业中的渗透力即可.... Verbosity增强了可读性，这是企业中人们随处可见移动的好功能。

但是，我偶然发现了一个令人困扰的怪癖。 大多数Java的细节都在编译时执行，并在运行时删除。 如果没有错误得到编译，则没有理由在运行时进行检查。 我发现的故障可以很好地编译，但在运行时会引发异常。

考虑以下代码：

Object[]objects=newString[1];
objects[0]=newInteger(5);

它编译起来很好，但是如果执行它，您将面临一个奇怪的java.lang.ArrayStoreException ......哪个语句错了？ 显然是第一个。 如何将字符串数组视为对象数组？

现在，我不太喜欢泛型及其在Java 5中复杂的实现方式，但是使用它们不可能实现这种特殊的怪癖。 以下两个摘要均无法编译：

// Type mismatch: cannot convert from ArrayList<String> to List<Object>
List<Object>list=newArrayList<String>();

List<?extendsObject>list=newArrayList<String>();
// The method add(capture#1-of ? extends Object) in the type
//  List<capture#1-of ? extends Object> is not applicable for the arguments (Integer)
list.add(newInteger(3));

对于那些对理论感兴趣的人，这种将String数组视为Object数组的行为称为协方差。 说起来很有趣，但是Java 5泛型实际上是对数组的改进，而协方差是关注的！

请注意，Scala使数组在编译时不变，因此可以正确处理该问题：

// type mismatch;  found   : Array[String]  required: Array[java.lang.Object]
vararray:Array[Object]=newArray[String](0)

翻译自: https://blog.frankel.ch/a-java-language-quirk/

怪癖有哪些