先看看[url=http://java.sun.com/docs/books/jls/third_edition/html/j3TOC.html]Java语言规范第三版[/url]里[url=http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.12]方法调用表达式的语法规定[/url]:
注意到NonWildTypeArguments出现的话前面必然有“点”。这意味着什么呢?
举例:把Arrays.asList静态引入进来:
由于没有传任何参数给asList()方法,所以原本声明为:
就无从让编译器去推导泛型参数T的类型应该是什么。因而编译上面的Demo会得到一个警告:
[quote="javac"]注意:Demo.java 使用了未经检查或不安全的操作。
注意:要了解详细信息,请使用 -Xlint:unchecked 重新编译。[/quote]
好吧,那么把泛型参数加上,变成这样:
再扔给javac编译,它就闹别扭了:
[quote="javac"]Demo.java:5: 非法的表达式开始
<String>asList();
^
Demo.java:5: 非法的表达式开始
<String>asList();
^
Demo.java:5: 不是语句
<String>asList();
^
3 错误[/quote]
根据Java语言规范的规定,要加上这个泛型参数,我们只能:
注意到了么,要有“点”。
这样的语法设计倒是避开了[url=http://rednaxelafx.iteye.com/blog/258117]FGAB问题[/url],只不过结果既没有保持语法的一致性又不美观。叹气。
MethodInvocation:
MethodName ( ArgumentListopt )
Primary . NonWildTypeArgumentsopt Identifier ( ArgumentListopt )
super . NonWildTypeArgumentsopt Identifier ( ArgumentListopt )
ClassName . super . NonWildTypeArgumentsopt Identifier ( ArgumentListopt )
TypeName . NonWildTypeArguments Identifier ( ArgumentListopt )
注意到NonWildTypeArguments出现的话前面必然有“点”。这意味着什么呢?
举例:把Arrays.asList静态引入进来:
import static java.util.Arrays.asList;
public class Demo {
public static void main(String[] args) {
asList();
}
}
由于没有传任何参数给asList()方法,所以原本声明为:
public static <T> List<T> asList(T... a)
就无从让编译器去推导泛型参数T的类型应该是什么。因而编译上面的Demo会得到一个警告:
[quote="javac"]注意:Demo.java 使用了未经检查或不安全的操作。
注意:要了解详细信息,请使用 -Xlint:unchecked 重新编译。[/quote]
好吧,那么把泛型参数加上,变成这样:
import static java.util.Arrays.asList;
public class Demo {
public static void main(String[] args) {
<String>asList(); // error
}
}
再扔给javac编译,它就闹别扭了:
[quote="javac"]Demo.java:5: 非法的表达式开始
<String>asList();
^
Demo.java:5: 非法的表达式开始
<String>asList();
^
Demo.java:5: 不是语句
<String>asList();
^
3 错误[/quote]
根据Java语言规范的规定,要加上这个泛型参数,我们只能:
import java.util.Arrays;
public class Demo {
public static void main(String[] args) {
Arrays.<String>asList();
}
}
注意到了么,要有“点”。
这样的语法设计倒是避开了[url=http://rednaxelafx.iteye.com/blog/258117]FGAB问题[/url],只不过结果既没有保持语法的一致性又不美观。叹气。