A referência do método usado possui tipo de retorno Integer
. Mas um incompatível String
é permitido no exemplo a seguir.
Como corrigir a with
declaração do método para obter o tipo de referência do método seguro sem transmitir manualmente?
import java.util.function.Function;
public class MinimalExample {
static public class Builder<T> {
final Class<T> clazz;
Builder(Class<T> clazz) {
this.clazz = clazz;
}
static <T> Builder<T> of(Class<T> clazz) {
return new Builder<T>(clazz);
}
<R> Builder<T> with(Function<T, R> getter, R returnValue) {
return null; //TODO
}
}
static public interface MyInterface {
Integer getLength();
}
public static void main(String[] args) {
// missing compiletimecheck is inaceptable:
Builder.of(MyInterface.class).with(MyInterface::getLength, "I am NOT an Integer");
// compile time error OK:
Builder.of(MyInterface.class).with((Function<MyInterface, Integer> )MyInterface::getLength, "I am NOT an Integer");
// The method with(Function<MinimalExample.MyInterface,R>, R) in the type MinimalExample.Builder<MinimalExample.MyInterface> is not applicable for the arguments (Function<MinimalExample.MyInterface,Integer>, String)
}
}
CASO DE USO: um Construtor seguro, mas genérico, do tipo.
Tentei implementar um construtor genérico sem processamento de anotação (autovalue) ou plug-in do compilador (lombok)
import java.lang.reflect.Array;
import java.lang.reflect.InvocationHandler;
import java.lang.reflect.Method;
import java.lang.reflect.Proxy;
import java.util.HashMap;
import java.util.concurrent.atomic.AtomicReference;
import java.util.function.Function;
public class BuilderExample {
static public class Builder<T> implements InvocationHandler {
final Class<T> clazz;
HashMap<Method, Object> methodReturnValues = new HashMap<>();
Builder(Class<T> clazz) {
this.clazz = clazz;
}
static <T> Builder<T> of(Class<T> clazz) {
return new Builder<T>(clazz);
}
Builder<T> withMethod(Method method, Object returnValue) {
Class<?> returnType = method.getReturnType();
if (returnType.isPrimitive()) {
if (returnValue == null) {
throw new IllegalArgumentException("Primitive value cannot be null:" + method);
} else {
try {
boolean isConvertable = getDefaultValue(returnType).getClass().isAssignableFrom(returnValue.getClass());
if (!isConvertable) {
throw new ClassCastException(returnValue.getClass() + " cannot be cast to " + returnType + " for " + method);
}
} catch (IllegalArgumentException | SecurityException e) {
throw new RuntimeException(e);
}
}
} else if (returnValue != null && !returnType.isAssignableFrom(returnValue.getClass())) {
throw new ClassCastException(returnValue.getClass() + " cannot be cast to " + returnType + " for " + method);
}
Object previuos = methodReturnValues.put(method, returnValue);
if (previuos != null) {
throw new IllegalArgumentException("Value alread set for " + method);
}
return this;
}
static HashMap<Class, Object> defaultValues = new HashMap<>();
private static <T> T getDefaultValue(Class<T> clazz) {
if (clazz == null || !clazz.isPrimitive()) {
return null;
}
@SuppressWarnings("unchecked")
T cachedDefaultValue = (T) defaultValues.get(clazz);
if (cachedDefaultValue != null) {
return cachedDefaultValue;
}
@SuppressWarnings("unchecked")
T defaultValue = (T) Array.get(Array.newInstance(clazz, 1), 0);
defaultValues.put(clazz, defaultValue);
return defaultValue;
}
public synchronized static <T> Method getMethod(Class<T> clazz, java.util.function.Function<T, ?> resolve) {
AtomicReference<Method> methodReference = new AtomicReference<>();
@SuppressWarnings("unchecked")
T proxy = (T) Proxy.newProxyInstance(clazz.getClassLoader(), new Class[] { clazz }, new InvocationHandler() {
@Override
public Object invoke(Object p, Method method, Object[] args) {
Method oldMethod = methodReference.getAndSet(method);
if (oldMethod != null) {
throw new IllegalArgumentException("Method was already called " + oldMethod);
}
Class<?> returnType = method.getReturnType();
return getDefaultValue(returnType);
}
});
resolve.apply(proxy);
Method method = methodReference.get();
if (method == null) {
throw new RuntimeException(new NoSuchMethodException());
}
return method;
}
// R will accep common type Object :-( // see /programming/58337639
<R, V extends R> Builder<T> with(Function<T, R> getter, V returnValue) {
Method method = getMethod(clazz, getter);
return withMethod(method, returnValue);
}
//typesafe :-) but i dont want to avoid implementing all types
Builder<T> withValue(Function<T, Long> getter, long returnValue) {
return with(getter, returnValue);
}
Builder<T> withValue(Function<T, String> getter, String returnValue) {
return with(getter, returnValue);
}
T build() {
@SuppressWarnings("unchecked")
T proxy = (T) Proxy.newProxyInstance(clazz.getClassLoader(), new Class[] { clazz }, this);
return proxy;
}
@Override
public Object invoke(Object proxy, Method method, Object[] args) {
Object returnValue = methodReturnValues.get(method);
if (returnValue == null) {
Class<?> returnType = method.getReturnType();
return getDefaultValue(returnType);
}
return returnValue;
}
}
static public interface MyInterface {
String getName();
long getLength();
Long getNullLength();
Long getFullLength();
Number getNumber();
}
public static void main(String[] args) {
MyInterface x = Builder.of(MyInterface.class).with(MyInterface::getName, "1").with(MyInterface::getLength, 1L).with(MyInterface::getNullLength, null).with(MyInterface::getFullLength, new Long(2)).with(MyInterface::getNumber, 3L).build();
System.out.println("name:" + x.getName());
System.out.println("length:" + x.getLength());
System.out.println("nullLength:" + x.getNullLength());
System.out.println("fullLength:" + x.getFullLength());
System.out.println("number:" + x.getNumber());
// java.lang.ClassCastException: class java.lang.String cannot be cast to long:
// RuntimeException only :-(
MyInterface y = Builder.of(MyInterface.class).with(MyInterface::getLength, "NOT A NUMBER").build();
// java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Long
// RuntimeException only :-(
System.out.println("length:" + y.getLength());
}
}
class
vez de uminterface
para o construtor?getLength
, para que possa ser ajustado para retornarObject
(ouSerializable
) para corresponder ao parâmetro String.with
faz parte do problema à medida que retornanull
. Ao implementar o métodowith()
, na verdade, usando oR
tipo da função como o mesmoR
do parâmetro, você obtém o erro. Por exemplo<R> R with(Function<T, R> getter, T input, R returnValue) { return getter.apply(input); }
R
serInteger
. Para isso, você precisa nos mostrar como deseja utilizar o valor de retorno. Parece que você deseja implementar algum tipo de padrão de construtor, mas não consigo reconhecer um padrão comum ou sua intenção.Respostas:
No primeiro exemplo,
MyInterface::getLength
e"I am NOT an Integer"
ajudou a resolver os parâmetros genéricosT
eR
paraMyInterface
eSerializable & Comparable<? extends Serializable & Comparable<?>>
respectivamente.MyInterface::getLength
nem sempre é um, aFunction<MyInterface, Integer>
menos que você o diga explicitamente, o que levaria a um erro em tempo de compilação, como o segundo exemplo mostrou.fonte
R
):Builder.of(MyInterface.class).<Integer>with(MyInterface::getLength, "I am NOT an Integer");
para torná-lo não compilar, ou (2) deixá-lo fica resolvido, implicitamente, e espero continuar com nenhum erro de tempo de compilaçãoÉ a inferência de tipo que está desempenhando seu papel aqui. Considere o genérico
R
na assinatura do método:No caso conforme listado:
o tipo de
R
é inferido com sucesso comoe a
String
implica nesse tipo, portanto a compilação é bem-sucedida.Para especificar explicitamente o tipo de
R
e descobrir a incompatibilidade, pode-se simplesmente alterar a linha de código como:fonte
Isso ocorre porque seu parâmetro de tipo genérico
R
pode ser deduzido como Object, ou seja, as seguintes compilações:fonte
Integer
, seria onde o erro de compilação ocorre.Builder
é apenas genéricoT
, mas não o éR
. IssoInteger
está sendo ignorado no que diz respeito à verificação de tipo do construtor.R
é inferida a serObject
... não realmentewith
usariaR
. É claro que isso significa que não há uma maneira significativa de realmente implementar esse método de uma maneira que realmente use os argumentos.Object
).Esta resposta é baseada em outras respostas que explicam por que não funciona conforme o esperado.
SOLUÇÃO
O código a seguir resolve o problema dividindo a bifunção "com" em duas funções fluentes "com" e "retornando":
(é um pouco estranho)
fonte