函数式接口中范型的类型擦除时机

目录

• 问题描述：
• 分析：

范型和函数式接口极大增加了Java代码程序灵活性，二者被广泛使用在各种框架中。
范型函数中方法可以根据实际需要，接受和返回不同类型值，并且可以在编译时就进行类型检查，在运行之前进行类型擦出，避免使用上转型发生运行时类型转化异常。
函数式接口在不同场景中实现不同逻辑提高程序灵活性。

问题描述：

类1:普通范型接口
public interface RpcClient<K extends ServiceClient> extends CacheAware<String, Object> {
    <T> T call(CallFunc<K, T> impl);
	<T> T call(CallFunc<K, T> impl, String cacheKey);
}
类2:函数式接口
public interface CallFunc<K extends TServiceClient, T> {
    T call(K impl) throws Exception;
}


private RpcClient<Client> rpcClient = new RpcClient<>();
rpcClient.call(cli->cli.A())

在private RpcClient rpcClient = new RpcClient<>();语句中Client对RpcClient中的范型K进行类型擦除，好奇T是何时进行类型擦出的？

分析：

首先RpcClient范型方法call的范型参数T同时也存在函数式接口CallFunc的call方法中，也即RpcClient中call中范型参数T擦出在CallFunc的call方法范型擦除完成之后，在实际调用时cli.A()时，CallFunc中范型参数T完成类型擦除，A方法的返回值确定了CallFunc接口中call的实际返回类型。范型T的擦除顺序总结为：
call（RpcClient）<-call(callFunc)<-cli.A();