当使用lambda表达式代替匿名内部类时，Spring无法确定泛型类型

Question

我正在使用Spring的转换服务，添加一个简单的转换器，将ZonedDateTime（Java 8）转换为字符串：

@Bean
public ConversionServiceFactoryBean conversionServiceFactoryBean() {
    ConversionServiceFactoryBean conversionServiceFactoryBean =
        new ConversionServiceFactoryBean();

    Converter<ZonedDateTime, String> dateTimeConverter =
        new Converter<ZonedDateTime, String>() {
            @Override
            public String convert(ZonedDateTime source) {
                return source.format(DateTimeFormatter.ISO_OFFSET_DATE_TIME);
            }
        };

    conversionServiceFactoryBean.setConverters(
        new HashSet<>(Arrays.asList(dateTimeConverter)));
    return conversionServiceFactoryBean;
}

这很好用。但我的IDE（IntelliJ）建议用lambda表达式替换匿名内部类：

Converter<ZonedDateTime, String> dateTimeConverter =
    source -> source.format(DateTimeFormatter.ISO_OFFSET_DATE_TIME);

如果我这样做，那么它不再工作，我得到一个关于Spring无法确定泛型类型的错误：

Caused by: java.lang.IllegalArgumentException: Unable to the determine sourceType <S> and targetType <T> which your Converter<S, T> converts between; declare these generic types.
    at org.springframework.util.Assert.notNull(Assert.java:112)
    at org.springframework.core.convert.support.GenericConversionService.addConverter(GenericConversionService.java:100)
    at org.springframework.core.convert.support.ConversionServiceFactory.registerConverters(ConversionServiceFactory.java:50)
    at org.springframework.context.support.ConversionServiceFactoryBean.afterPropertiesSet(ConversionServiceFactoryBean.java:70)
    at org.springframework.beans.factory.support.AbstractAutowireCapableBeanFactory.invokeInitMethods(AbstractAutowireCapableBeanFactory.java:1627)
    at org.springframework.beans.factory.support.AbstractAutowireCapableBeanFactory.initializeBean(AbstractAutowireCapableBeanFactory.java:1564)

表示lambda表达式的Class对象显然与匿名内部类的Class有足够的不同，以至于Spring无法再确定泛型类型。Java8如何准确地使用lambda表达式做到这一点？这是Spring中的一个可修复的错误，还是Java8只是没有提供必要的信息？

我使用的是Spring版本4.1.0。版本和Java 8更新20。

Answer 1

签出类型工具：

Converter<ZonedDateTime, String> converter = source -> source.format(DateTimeFormatter.ISO_OFFSET_DATE_TIME);
Class<?>[] typeArgs = TypeResolver.resolveRawArguments(Converter.class, converter.getClass());

assert typeArgs[0] == ZonedDateTime.class;
assert typeArgs[1] == String.class;

这种方法适用于Oracle/OpenJDK，因为它使用sun.reflect.ConstantPoolAPI。

注意：我被要求将这项工作贡献给Spring，但我还没有空闲时间来做这件事（快速看一眼，与Spring现有的泛型类型解析功能进行干净的集成似乎很重要）。

Answer 2

艾伦·斯托克斯评论中的这篇文章很好地解释了这个问题。

基本上，在当前的JDK中，lambda的实际实现被编译到声明类中，JVM生成一个Lambda类，其方法是擦除接口中声明的方法。

所以

Converter<ZonedDateTime, String> dateTimeConverter =
    source -> source.format(DateTimeFormatter.ISO_OFFSET_DATE_TIME);

产生一种合成方法，如

private static java.lang.String com.example.Test.lambda$0(java.time.ZonedDateTime source)  {
    return source.format(DateTimeFormatter.ISO_OFFSET_DATE_TIME);
}

由生成的lambda类实例调用。在内部，函数接口方法简单地转换为上述方法的参数类型。JLS声明

如果被重写方法类型的擦除与其签名不同于函数类型U的擦除，则在评估或执行lambda体之前，方法体检查每个参数值是否是函数类型U中相应参数类型擦除的子类或子接口的实例；如果不是，则抛出一个类CastException。

VM本身会生成一个覆盖方法，该方法与接口中声明的方法完全等效。

关于类型的唯一信息是在上面的静态方法中。由于该方法是声明类的一部分，因此在给定lambda表达式生成的实例的情况下，Spring无法检索该方法。

但是，你可以做

interface ZonedDateTimeToStringConverter extends Converter<ZonedDateTime, String> {
}

和

Converter<ZonedDateTime, String> dateTimeConverter = (ZonedDateTimeToStringConverter)
    source -> source.format(DateTimeFormatter.ISO_OFFSET_DATE_TIME);

或

ZonedDateTimeToStringConverter dateTimeConverter =  source -> source.format(DateTimeFormatter.ISO_OFFSET_DATE_TIME);

这迫使lambda声明如下方法

public String convert(ZonedDateTime zdt);

Spring将能够找到它并解析目标和源类型。