类型推断:泛型,“var”

我认为Java编译器(java11)可以自己推断出实际的泛型类型,如果我给它足够的提示,例如泛型类型是一个方法参数,而我提供了一个实际类型的实例作为参数。

例如,我有以下课程:

public class Var<T>
{
    public T value;

    public Var(T value)
    {
        this.value = value;
    }
}

然后,我尝试以下三种尝试,我希望所有这些都能编译:

//(1) Compilation error!
Var v = new Var(0);
++v.value;

//(2) Compilation error!
Var v = new Var<Integer>(0);
++v.value;

//(3) Compiles!
Var<Integer> v = new Var(0);
++v.value;

Integer (或 int )参数,编译器就可以知道实际的类型。所以在 ++v.value; 我希望编译器知道变量是 ,但事实并非如此。它仍然认为这是一个 Object

3) 按预期编译。

var 关键字:

//(4) Compilation error!
var v = new Var(0);
++v.value;

//(5) Compiles!
var v = new Var<Integer>(0);
++v.value;

4) 同样,我希望(4)能够编译,因为类型可以从参数中推断出来。

5) (更正语法后:)编译,如预期。

你能解释一下为什么这个代码在第(1)、(2)、(4)种情况下失败吗?

关键字类型推断是否适用于这样的类?