为什么我在这里使用方法引用或lambda有关系呢？

Question

当我尝试编译这段代码时

import java.util.Optional;

public class GenericTest {

    public static void main(String[] args) {
        Optional.empty().map(o -> getStringClass(o)).orElse(String.class);
    }

    static Class<?> getStringClass(Object arg) {
        return String.class;
    }

}

GenericTest.java:6: error: method orElse in class Optional cannot be applied to given types;
                Optional.empty().map(o -> getStringClass(o)).orElse(String.class);
                                                            ^
  required: Class<CAP#1>
  found: Class<String>
  reason: argument mismatch; Class<String> cannot be converted to Class<CAP#1>
  where T is a type-variable:
    T extends Object declared in class Optional
  where CAP#1 is a fresh type-variable:
    CAP#1 extends Object from capture of ?
1 error

import java.util.Optional;

public class GenericTest {

    public static void main(String[] args) {
        Optional.empty().map(GenericTest::getStringClass).orElse(String.class);
    }

    static Class<?> getStringClass(Object arg) {
        return String.class;
    }

}

Answer 1

方法链接再次发生。您可以在这里读到为什么这个特性的设计者发现实现起来很复杂（这与lambda的/method引用是多表达式这一事实有关--它们的类型依赖于上下文）。这样的特性将会给编译器带来一些额外的负担--尽管您的示例需要解决的是一个相当琐碎的示例，但javac需要关心的不仅仅是琐碎；因此，即使在Java-12中也没有实现这一点。

IMO最简单的解决方案，因为这与方法链接有关（在您的情况下，这是可能的），所以不链接：

Optional<Class<?>> first = Optional.empty().map(o -> getStringClass(o));
Class<?> second = first.orElse(String.class);