Unboxing usando a Biblioteca ASM Java
-
21-09-2019 - |
Pergunta
Estou usando a biblioteca ASM Java para substituir alguma reflexão. Eu gero o corpo deste método:
void set(Object object, int fieldIndex, Object value);
Com esse método gerado, posso definir campos em um objeto em tempo de execução sem usar a reflexão. Funciona muito bem. No entanto, achei que falha nos campos primitivos. Aqui está a parte relevante do meu método de conjunto:
for (int i = 0, n = cachedFields.length; i < n; i++) {
mv.visitLabel(labels[i]);
mv.visitFrame(Opcodes.F_SAME, 0, null, 0, null);
mv.visitVarInsn(ALOAD, 1);
mv.visitTypeInsn(CHECKCAST, targetClassName);
mv.visitVarInsn(ALOAD, 3);
Field field = cachedFields[i].field;
Type fieldType = Type.getType(field.getType());
mv.visitFieldInsn(PUTFIELD, targetClassName, field.getName(), fieldType.getDescriptor());
mv.visitInsn(RETURN);
}
Este código está gerando rótulos de caso para uma seleção. Funciona muito bem para objetos, mas para primitivas recebo este erro:
Esperando encontrar flutuação na pilha
Ok, isso faz sentido, eu preciso fazer a desbaste. Eu implementei o seguinte:
for (int i = 0, n = cachedFields.length; i < n; i++) {
mv.visitLabel(labels[i]);
mv.visitFrame(Opcodes.F_SAME, 0, null, 0, null);
mv.visitVarInsn(ALOAD, 1);
mv.visitTypeInsn(CHECKCAST, targetClassName);
mv.visitVarInsn(ALOAD, 3);
Field field = cachedFields[i].field;
Type fieldType = Type.getType(field.getType());
switch (fieldType.getSort()) {
case Type.BOOLEAN:
mv.visitTypeInsn(CHECKCAST, "java/lang/Boolean");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Boolean", "booleanValue", "()Z");
break;
case Type.BYTE:
mv.visitTypeInsn(CHECKCAST, "java/lang/Byte");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Byte", "byteValue", "()B");
break;
case Type.CHAR:
mv.visitTypeInsn(CHECKCAST, "java/lang/Character");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Character", "charValue", "()C");
break;
case Type.SHORT:
mv.visitTypeInsn(CHECKCAST, "java/lang/Short");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Short", "shortValue", "()S");
break;
case Type.INT:
mv.visitTypeInsn(CHECKCAST, "java/lang/Integer");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Integer", "intValue", "()I");
break;
case Type.FLOAT:
mv.visitTypeInsn(CHECKCAST, "java/lang/Float");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Float", "floatValue", "()F");
break;
case Type.LONG:
mv.visitTypeInsn(CHECKCAST, "java/lang/Long");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Long", "longValue", "()J");
break;
case Type.DOUBLE:
mv.visitTypeInsn(CHECKCAST, "java/lang/Double");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/lang/Double", "doubleValue", "()D");
break;
case Type.ARRAY:
mv.visitTypeInsn(CHECKCAST, fieldType.getDescriptor());
break;
case Type.OBJECT:
mv.visitTypeInsn(CHECKCAST, fieldType.getInternalName());
break;
}
mv.visitFieldInsn(PUTFIELD, targetClassName, field.getName(), fieldType.getDescriptor());
mv.visitInsn(RETURN);
}
Eu rastreei e ele definitivamente entra em "tipo de caso.float" para o campo apropriado, no entanto, recebo este erro:
Esperando encontrar objeto/matriz na pilha
É aqui que estou preso. Durante a minha vida, não consigo descobrir por que o Unboxing não funciona. O "Aload, 3" está colocando o terceiro parâmetro do método de conjunto na pilha, que deve ser um flutuador. Alguma ideia?
Descobri que a biblioteca ASM-Commons possui uma classe GeratorAdapter que possui um método Unbox. No entanto, eu realmente não quero incluir mais um pote para algo que deve ser tão simples. Eu olhei para a fonte do gerador e ela está fazendo algo muito semelhante. Tentei modificar meu código para usar o GeneratorAdapter, apenas para ver se funcionou, mas não achei de todo fácil converter.
Solução
Acontece que o Unboxing acima estava funcionando corretamente. Eu tinha código que estava fazendo um GET e não boxe o resultado antes de tentar devolvê -lo como um objeto. Minha culpa por não ter um teste mais simples!
Caso alguém precise, aqui está o código adequado para o boxe:
Type fieldType = Type.getType(...);
switch (fieldType.getSort()) {
case Type.BOOLEAN:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Boolean", "valueOf", "(Z)Ljava/lang/Boolean;");
break;
case Type.BYTE:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Byte", "valueOf", "(B)Ljava/lang/Byte;");
break;
case Type.CHAR:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Character", "valueOf", "(C)Ljava/lang/Character;");
break;
case Type.SHORT:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Short", "valueOf", "(S)Ljava/lang/Short;");
break;
case Type.INT:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Integer", "valueOf", "(I)Ljava/lang/Integer;");
break;
case Type.FLOAT:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Float", "valueOf", "(F)Ljava/lang/Float;");
break;
case Type.LONG:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Long", "valueOf", "(J)Ljava/lang/Long;");
break;
case Type.DOUBLE:
mv.visitMethodInsn(INVOKESTATIC, "java/lang/Double", "valueOf", "(D)Ljava/lang/Double;");
break;
}
Outras dicas
Use o generatorAdapter é mais limpo que o MethodVisitor e possui um uNbox () que inise a chamada do método Primitive.ValueOf ().