¿Existe la inferencia automática de tipos en Java?

¿Existe un autotipo de variable en Java como el que tiene en C ++?

Un ejemplo:

for ( auto var : object_array)
    std::cout << var << std::endl;

for( auto var : object_array)
    var.do_something_that_only_this_particular_obj_can_do();

Sé que hay un bucle for mejorado en Java, pero ¿hay un auto? Si no es así, ¿hay algún truco para hacer esto? Me refiero a la nueva característica en C ++ 11

Respondido antes de que la pregunta fuera EDITADA :

No, no hay ningún autotipo de variable en Java. El mismo bucle se puede lograr como:

for ( Object var : object_array)
  System.out.println(var);

Java tiene variables locales, cuyo alcance está dentro del bloque donde se han definido. Similar a C y C ++, pero no hay una palabra clave automática o de registro. Sin embargo, el compilador de Java no permitirá el uso de una variable local inicializada no explícitamente y dará un error de compilación (a diferencia de C y C ++ donde el compilador generalmente solo dará una advertencia). Cortesía: Wikipedia .

No, no hay ninguna inferencia de tipo convencional en Java como C ++. Hubo una RFE pero se cerró como "No se arreglará", la razón dada fue:

Los seres humanos se benefician de la redundancia de la declaración de tipo de dos formas. Primero, el tipo redundante sirve como documentación valiosa; los lectores no tienen que buscar la declaración de getMap () para averiguar qué tipo devuelve. En segundo lugar, la redundancia permite al programador declarar el tipo deseado y, por lo tanto, beneficiarse de una verificación cruzada realizada por el compilador.

Podría ser que Java 10 tenga lo que tú (y yo) queremos, a través de la varpalabra clave.

var list = new ArrayList<String>();  // infers ArrayList<String>
var stream = list.stream();          // infers Stream<String>

De las propuestas de mejora del JDK 286

Actualización: ¡ Sí, esa característica se incorporó a la versión Java 10!

Java 7 presenta la sintaxis de diamante

Box<Integer> integerBox = new Box<>(); // Java 7

En comparación con el antiguo java

Box<Integer> integerBox = new Box<Integer>(); // Before Java 7

El lector crítico notará que esta nueva sintaxis no ayuda a escribir los bucles for en la pregunta original. Eso parece correcto y totalmente intencional. Vea la otra respuesta que cita la base de datos de errores de Oracle.

En Java 8, puede usar la inferencia de tipo lambda para evitar declarar el tipo. El análogo a los ejemplos del interrogador sería:

object_array.forEach(var -> System.out.println(var)); 
object_array.forEach(var -> var.do_something_that_only_this_particular_obj_can_do());

ambos también se pueden simplificar utilizando referencias de métodos:

object_array.forEach(System.out::println); 
object_array.forEach(ObjectType::do_something_that_only_this_particular_obj_can_do);

En resumen, no, no hay tipo automático. Sin embargo, si todo lo que está haciendo es imprimir el valor, puede referirse al valor como un archivo Object.

No es una solución pura de Java, sin embargo, agregar una biblioteca llamada lombok permitirá que la magia siguiente se compile y funcione de manera muy similar a la autopalabra clave en C ++

List<String> strList = Arrays.asList("foo", "bar", "baz");
for (val s: strList){
    System.out.println(s.length());
}