Question

我有以下类使用以下方法。

public class MyClass {

    public static <T> T getSomeThing(final int id, final java.lang.reflect.Type type, final Map<Integer, String> someThings) {
        final String aThing = someThings.get(id);
        if (aThing == null || aThing.isEmpty()) {
            return null;
        }
        return GsonHelper.GSON.fromJson(aThing, type);
    }

}

GsonHelper为我提供了一些com.google.gson.GsonBuilder

public class GsonHelper {

    public static final com.google.gson.Gson GSON = getGsonBuilder().create();

    public static GsonBuilder getGsonBuilder() {
        return new GsonBuilder().setPrettyPrinting()
                .enableComplexMapKeySerialization()
                .registerTypeAdapter(new com.google.gson.reflect.TypeToken.TypeToken<byte[]>() {
                    // no body
                }.getType(), new Base64TypeAdapter())
                .registerTypeHierarchyAdapter(Date.class, new DateTypeAdapter())
                .registerTypeHierarchyAdapter(Pattern.class, new PatternTypeAdapter())
                .registerTypeAdapterFactory(new ListTypeAdapterFactory())
                .registerTypeAdapterFactory(new MapTypeAdapterFactory())
                .registerTypeAdapterFactory(new SetTypeAdapterFactory());
    }
}

在Java 7之前，我使用的方法如下：

Map<Integer, String> allThings = new HashMap<>();
//FILL allThings with values

if(MyClass.getSomeThing(7, java.lang.Boolean.class, allThings)){
    //do something
}

这很好用。因为该方法将返回一个布尔值，我可以在“if”里面使用它。但是当我改为Java 8时，这是不可能的。编译器抱怨：

类型不匹配：无法从Object转换为布尔值

 //while this is working but would throw a JsonSyntaxException
final String myString = "myInvalidJsonString";
if(GsonHelper.GSON.fromJson(myString, java.lang.Boolean.class)){
    //do something
}

我知道java.lang.Boolean可以为null。我可以用以下方法解决这个问题：

final Boolean b = MyClass.getSomeThing(7, java.lang.Boolean.class, allThings);
if(b){
    //do something
}

但我很好奇为什么这适用于Java 7而不是Java 8。（未回答）
他们改变了什么？ （未回答）
更改为Java 8时，此编译器错误的原因是什么？的（回答）

Answer 1

您的方法public static <T> T getSomeThing(final int id, final java.lang.reflect.Type t, final Map<Integer, String> someThings)无法保证返回Boolean。它返回由调用者定义的T，可以是任何内容，这意味着Object。

if语句无法知道T将具有哪种类型，因此无法保证将其转换为布尔值。

为什么不将签名更改为布尔值？

public static boolean getSomeThing(final int id,
                                   final java.lang.reflect.Type t,
                                   final Map<Integer, String> someThings)

或者你在寻找这个？

public static <T> T getSomeThing(final int id,
                                 final Class<T> clazz,
                                 final Map<Integer, String> someThings)

这个代码将编译并运行：

public static void main(String[] args) {
    if (getSomeThing(7, Boolean.class, emptyMap())) {
        System.out.println("It works!");
    }
}

public static <T> T getSomeThing(final int id,
                                 final Class<T> clazz,
                                 final Map<Integer, String> someThings) {
    ...
}

Answer 2

可以根据JLS 8推断将getSomeThing()的结果分配给Boolean变量的最后一个版本，因为在赋值上下文中目标类型{{ 1}}确实可以将Boolean推断为T。所有编制者都同意这一点。

关于原始案例，JLS 8不将if语句的条件分类为赋值上下文。在赋值或调用上下文之外，调用不被视为多表达式，而是作为独立表达式（JLS 15.12 1st bullet）。独立表达式没有目标类型。如果Java 8中没有目标类型推断，则会回退到推断Boolean到T。

Eclipse团队甚至在Java 8 GA之前就已经requested clarification in this regard了。不幸的是，resulting issue直到今天仍未得到解决。

Ergo：JLS和Object观察到的行为似乎并不一致。 ~~可能，JLS是应该修复的实体。~~

更新：JLS不会更改（通过私人电子邮件确认），因此接受该计划是javac中的错误。

编辑：即使通过切换表达式，Javac版本12也会传播此错误：

javac

javac由于目标类型为public class X { @SuppressWarnings("preview") public void foo(int i) { if (switch(i) { default -> magic(); }) System.out.println("true"); } <T> T magic() { return null; } }的类型推断而接受此项，但在此位置执行类型推断对于每个JLS都是非法的。

在java 8中键入不匹配错误

2 个答案: