是否可以检查 Java 11 中数值的原始类型？

假设我有一个方法

@Test
public void test1(){
 short x = 10;
 short y = 3;
 var z = x * y // z is of int type
}

@Test
public void test1(){
 short x = 10;
 short y = 3;
 var z = (short)x * y // z is of int type as variables are promoted
}

@Test
public void test3(){
 short x = 10;
 short y = 3;
 var z = (short)x * (short)y // is z of primitive type short? Is there 
                             // any way to check the type if it is short, long, int... 
                             // I.e z instanceof ... or something similar specifically for 
                             // primitive types?
}

回答

public String typeOf(short arg) { return "short"; }
public String typeOf(int arg) { return "int"; }
public String typeOf(long arg) { return "long"; }

public void test1(){
    short x = 10;
    short y = 3;
    var z = x * y;
    System.out.println(typeOf(z));  // in this case "int" will be printed.
}

z = (short)(x * y);