类型推断和目标类型

Question

您能否解释类型推断和类型定位之间是否有区别，或者类型定位只是类型推断？谢谢。

Answer 1

我不确定“type targetting”是什么意思，但“target type”是一件事情。从Java tutorial on type inference：

表达式的目标类型是Java编译器取决于其中表达似乎

例如，在语句int a = b;期望的数据类型，所述目标类型是int - 表达式b应该有一个int（或可转换为它的东西）类型，因为它的上下文需要。

相比之下，“类型推断”是用于确定表达式类型的进程。目标类型可以用作类型推断过程的一部分。