必要转换的“冗余转换为 java.lang.Object”警告

Question

考虑这个最小的、可重现的例子：

interface Code {
    static void main(String[] args) {
        symbol(
            String.valueOf(
                true ? 'a' :
                true ? 'b' :
                true ? 'c' :
                fail()
            )
        );
    }
    private static void symbol(String symbol) {
        System.out.println(symbol);
    }
    private static <R> R fail() {
        throw null;
    }
}

（接近最小， true是一个有用的布尔表达式的替代品。除了第一个之外，我们可以忽略? :在实际代码中，有很多）。）

这“显然”给出了错误。

4: reference to valueOf is ambiguous
  both method valueOf(java.lang.Object) in java.lang.String and method valueOf(char) in java.lang.String match

好的，让我们修复它。 这是我想要的String.valueOf(Object)重载 - 我以后可能想添加：

            true ? "sss" :

（事实上​​，我之前确实有类似的东西，但现在已经删除了该功能。）

        String.valueOf((Object)(
            true ? 'a' :
            fail()
        ))

这给出了警告：

4: redundant cast to java.lang.Object

这是编译器警告或错误中的错误，我该如何修复它以使代码合理且没有警告或错误？

（编辑：我稍微改变了 MRE。throws throws Throwable来自模板。真正的代码确实使用文字 chars* 和String.valueOf其他地方它使用String.valueOf(char)重载，所以toString()是有问题的（哦Java！）代码避免了全局状态，例如System.out ，并且symbol和fail在不同的类中。“开关”是不可枚举的类型。 fail是类断言方法的伴随，所以为什么它在内部抛出（未经检查的非空）异常。

我实际上是如何修复它的，与此无关，我重新排列了代码，因此那里也有一些文字字符串。 否则，我会使用无意义的Object.class.cast等价物(Object) 。 我真正想知道的是：wtf？

*实际上，真正的真实代码通过不同语言的词法分析器，它不区分文字字符、字符串、各种数字、布尔值、枚举等。为什么会这样？ )

Answer 1

自 Java 8 以来，关于“模棱两可的方法调用”的错误是正确的。

甚至在 Java 8 之前，你就可以编写

char c = fail();
Object o = fail();

没有编译器错误。 当您通过条件类似condition? 'a': genericMethod() condition? 'a': genericMethod()到String.valueOf(…)类的方法，编译器推断<Object> for fail()并选择String.valueOf(Object)由于其有限的类型推断。

但是 Java 8 引入了Poly 表达式：

独立表达式的类型完全可以根据表达式的内容来确定； 相反，poly 表达式的类型可能受表达式的目标类型（ §5 (Conversions and Contexts) ）的影响。

泛型方法的调用和包含poly 表达式的条件（即泛型方法的调用）都是poly 表达式。

因此，尝试调用String.valueOf(char)在该条件下是有效的，因为我们可以推断<Character>为fail() 。 请注意，这两种方法都不适用于严格的调用上下文，因为这两种变体都需要装箱或拆箱操作。 在松散的调用上下文中， String.valueOf(Object)和String.valueOf(char)都是适用的，因为我们在调用fail()之后取消装箱Character还是装箱文字'a'的char并不重要.

由于char不是Object的子类型并且Object不是char的子类型，因此String.valueOf(Object)和String.valueOf(char)方法都不是更具体的，因此会生成编译器错误。

---

对警告的判断比较困难，因为没有正式的警告标准。 在我看来，每一个声称源代码工件已经过时的编译器警告都是不正确的，尽管代码在删除它后不会做同样的事情（或者删除它甚至会引入错误）。 有趣的是，该警告确实存在于 Java 7 的javac版本中，其中删除强制转换确实没有任何区别，所以也许，它是需要更新的剩余部分。

---

该问题的解决方法取决于上下文，关于它的信息不足。 请注意，只需要一个不可分配给char分支，以使方法String.valueOf(char)不适用。 只要您插入计算结果为String的分支，就会发生这种情况。 您还可以使用SurroundingClass.<Object>fail()获得与 Java 8 之前的编译器推断的相同的类型。

或者完全删除通用签名，因为这里不需要它。 通用方法fail()似乎是在表达式上下文中使用 throwing 方法的一种变通方法。 更清洁的解决方案是表达式的工厂方法，例如

class Code {
    public static void main(String[] args) throws SpecificExceptionType {
        System.out.println(
            String.valueOf(switch(0) {
                case 0 -> 'a';
                case 1 -> 'b';
                case 2 -> 'c';
                default -> throw fail();
            })
        );
    }
    private static SpecificExceptionType fail() {
        return new SpecificExceptionType();
    }
    static class SpecificExceptionType extends Exception {
    }
}

如果 switch 表达式不可行，您可以使用

System.out.println(
    String.valueOf(
        true ? 'a' :
        true ? 'b' :
        true ? 'c' :
        Optional.empty().orElseThrow(Code::fail)
    )
);

两者都具有特定于潜在抛出异常的实际类型的优点，并且不需要诉诸未经检查的异常或throws Throwable声明。 第二个可能会让人感觉很笨拙，但不过是定义一个从不返回任何内容的通用方法。

当然，还有其他的可能来解决它​​，如果你只是接受引入更多的代码，比如没有重载的字符串转换的专用帮助方法或抛出方法的非通用包装方法。 或者临时变量或类型转换或泛型调用的显式类型等。此外，当使用"" + (expression)或(expression).toString()而不是String.valueOf(expression) ，表达式不是 poly表达式，因此不会产生“模棱两可的方法调用”错误。

当然，由于这是一个错误警告，您也可以保留@SuppressWarnings("cast")转换并向方法添加@SuppressWarnings("cast") （并等待编译器开发人员修复此问题）。

Answer 2

问题是三元运算符的两个分支返回不同的类型。

这个怎么样：

    System.out.println(
        String.valueOf(
            true ? (Object)'a' : fail()
        )
    );

Answer 3

显式拳击角色是一种可能性：

class Code {
    public static void main(String[] args) throws Throwable {
        System.out.println(
                String.valueOf(
                        true ? Character.valueOf('a') : fail()
                )
        );
    }
    private static <R> R fail() {
        throw null;
    }
}

Answer 4

一个简单问题的简单回答：

class Code {
    
    public static void main(String[] args) throws Throwable {
        System.out.println((
                true ? 'a' :
                true ? 'b' :
                true ? 'c' :
                fail()).toString()
        );
    }
    private static <R> R fail() {
        throw null;
    }
    
}

只要您没有任何null值，此代码就可以工作。 要覆盖null值，您需要引入一个额外的方法：

class Code {
    
    public static void main(String[] args) throws Throwable {
        System.out.println(valueOf(
                true ? 'a' :
                true ? 'b' :
                true ? 'c' :
                fail()
            )
        );
    }
    private static <R> R fail() {
        throw null;
    }
    
    static String valueOf(Object object) {
        return String.valueOf(object);
    }
}

这两种解决方案都不需要编辑? : ? :

编译器警告和错误都不是错误。 在错误情况下，您为编译器提供的选择正确方法的信息太少，在第二次尝试中，您告诉编译器将对象强制转换为对象，这是不必要的并且值得至少产生警告;-)

Answer 5

您可以使用供应商包装呼叫以获取以下方法：

class Code {
   public static void main(String[] args) throws Throwable {
        System.out.println(((Supplier<Object>) () ->
                true ? 'a' :
                        false ? 'b' :
                                false ? 'c' :
                                        fail()).get());
    }
    private static <R> R fail() { throw null; }
 }

Answer 6

将表达式的结果提取到局部变量中：

T obj =
        true ? 'a' :
                true ? 'b' :
                        true ? 'c' : fail();
System.out.println(String.valueOf(obj));

Answer 7

'a'不是String表示法； 用"a"替换它（我也不完全理解用例 - 或者可能会使用正则表达式引擎编写完全不同的）。 但是，为了避免毫无意义的投射......只需检查instanceof ，你甚至试图投射什么。 同样，模棱两可的调用和无用的来回转换几乎没有空间。

Answer 8

如果我忽略我对String前瞻性要求，我可以写：

        String.valueOf((Character)(
            true ? 'a' :
            fail()
        ))

要处理char和String我可以使用奇怪的：

        String.valueOf((Comparable<?>)(
            true ? 'a' :
            fail()
        ))

或者使用 Java 序列化来做一些有用的事情：

        String.valueOf((java.io.Serializable)(
            true ? 'a' :
            fail()
        ))

它大概应该被认为是一个 bug ，但我不能打扰 bugs.java.com。

另一种解决方法是引入一个不必要的本地：

    Object symbol = 
            true ? 'a' :
            fail();
    System.out.println(String.valueOf(symbol)); 

它应该不是必需的，但是可以使类型参数显式fail()并避免任何令人讨厌的显式转换：

        String.valueOf(
            true ? 'a' :
            Code.<Object>fail()
        )

可爱的语法！ 或者， fail()可以有一个多余的演员...