java - 为什么类型声明在静态类型语言中很重要？

Question

我试图了解静态类型化编程语言的好处，由此，我想知道为什么我们需要在声明中包含类型？除了使类型明确之外，它还有什么用吗？如果是这样的话，我不明白这一点。我知道静态类型允许在编译时进行类型检查，但如果我们省略显式类型声明，Java 是否仍然无法在编译时推断类型？

例如，假设我们在 Java 中有:

myClass test = new myClass();

这里不是不需要类型声明吗？如果我没记错的话，这是静态绑定(bind)，Java 应该知道 test 是 myClass 类型，即使在编译时也没有显式声明类型。

对可能重复的回应:这不是关于静态类型与动态类型的问题，而是关于静态类型语言中的类型推断的问题，如已接受的答案中所述。

Answer 1

静态类型语言允许您省略类型声明。这叫做 type inference .缺点是它更难设计(对于语言设计者)，更难实现(对于编译器编写者)，并且在出现问题时更难理解(对于程序员)。最后一个的问题是，如果推断出许多(或所有)类型，编译器只能告诉你“类型并不完全一致”——通常是通过一条神秘的消息。

在您引用的这种微不足道的情况下，是的，这很简单。但是，当您远离微不足道的情况时，系统的复杂性会迅速增加。

Java 实际上以非常有限的形式进行了一些类型推断。例如，在这个片段中:

List<String> emptyStrings = Collections.emptyList();

...编译器推断方法调用emptyList返回 List<String> ，而不仅仅是一个 List<T>其中类型 T未指定。该行的非推断版本(也是有效的 Java)是:

List<String> emptyStrings = Collections.<String> emptyList();