類型推斷和目標類型

Question

您能否解釋類型推斷和類型定位之間是否有區別，或者類型定位只是類型推斷？謝謝。

Answer 1

我不確定「type targetting」是什麼意思，但「target type」是一件事情。從Java tutorial on type inference：

表達式的目標類型是Java編譯器取決於其中表達似乎

例如，在語句int a = b;期望的數據類型，所述目標類型是int - 表達式b應該有一個int（或可轉換爲它的東西）類型，因爲它的上下文需要。

相比之下，「類型推斷」是用於確定表達式類型的進程。目標類型可以用作類型推斷過程的一部分。