在你看来，你遇到过的最令人惊讶、最怪异、最奇怪或最“WTF”的语言特性是什么?
请每个回答只回答一个特征。
当前回答
Java泛型 都是WTF:
List<String> ls = new ArrayList<String>(); //1
List<Object> lo = ls; //2
2:是非法的(??)这是令人费解的，但你必须想想接下来会发生什么:
lo.add(new Object());
String s = ls.get(0);
我们将对象赋值给字符串引用，哦不!就像这样，他们周围有很多陷阱。
其他回答
我不知道这是否是真的，但我们偶然发现VS FORTRAN(66或77)不支持递归。递归是偶然的，我们的默认F77支持它很漂亮，但当我们把源代码IBM - Whatta混乱。
很简单，Erlang有很多。例如，标点符号的三种形式，
a_function(SomeVariable) ->
statements_end_with_commas(),
case PatternMatching of
0 -> now_we_end_with_semicolon;
true -> except_the_last_one
end.
%% Function definitions end with periods!
大约在1977年，我在Lisp中添加了“format”函数，那时“printf”甚至还不存在(我是从与Unix相同的源:Multics复制的)。它一开始很无辜，但后来被一个接一个的特征填满了。当Guy Steele引入迭代和相关特性时，事情就失控了，这些特性被Common Lisp X3J13 ANSI标准所接受。下面的示例可以在Common Lisp The Language, 2nd Edition第22.3.3节中的表22-8中找到:
(defun print-xapping (xapping stream depth)
(declare (ignore depth))
(format stream
"~:[{~;[~]~:{~S~:[->~S~;~*~]~:^ ~}~:[~; ~]~ ~{~S->~^ ~}~:[~; ~]~[~*~;->~S~;->~*~]~:[}~;]~]"
(xectorp xapping)
(do ((vp (xectorp xapping))
(sp (finite-part-is-xetp xapping))
(d (xapping-domain xapping) (cdr d))
(r (xapping-range xapping) (cdr r))
(z '() (cons (list (if vp (car r) (car d)) (or vp sp) (car r)) z)))
((null d) (reverse z)))
(and (xapping-domain xapping)
(or (xapping-exceptions xapping)
(xapping-infinite xapping)))
(xapping-exceptions xapping)
(and (xapping-exceptions xapping)
(xapping-infinite xapping))
(ecase (xapping-infinite xapping)
((nil) 0)
(:constant 1)
(:universal 2))
(xapping-default xapping)
(xectorp xapping)))
在JavaScript中:
1 / 0; // Infinity
1 / -0; // -Infinity
其他奇怪的事情:
在c++中，覆盖一个虚方法会隐藏该方法的所有其他重载。在Java中，这种情况不会发生。这很烦人。例如:http://codepad.org/uhvl1nJp
在c++中，如果基类有一个公共虚方法foo()，子类有一个私有方法foo()，这个私有方法会覆盖另一个方法! 这样，只需将子类对象指针强制转换为父类对象指针，就可以在类外部调用私有方法。这不应该是可能的:这违反了封装。新方法不应被视为对旧方法的重写。例如:http://codepad.org/LUGSNPdh
在PHP中，你可以定义函数来接受类型化参数(例如，对象是某个接口/类的子类)，讨厌的是，在这种情况下，你不能使用NULL作为实际的参数值。 例如:http://codepad.org/FphVRZ3S
