Czy w Javie istnieje automatyczne wnioskowanie typu?

Czy autow Javie istnieje typ zmiennej, taki jak w C ++?

Przykład:

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();

Wiem, że w Javie istnieje ulepszona pętla for, ale czy istnieje opcja auto? Jeśli nie, czy można to zrobić? Mam na myśli nową funkcję w C ++ 11

Odpowiedział przed pytaniem było EDYCJI :

Nie, autow Javie nie ma typu zmiennej. Tę samą pętlę można osiągnąć jako:

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

Java ma zmienne lokalne, których zakres mieści się w bloku, w którym zostały zdefiniowane. Podobny do C i C ++, ale nie ma słowa kluczowego auto ani register. Jednak kompilator Java nie pozwoli na użycie zmiennej lokalnej, która nie została zainicjowana jawnie i spowoduje błąd kompilacji (w przeciwieństwie do C i C ++, gdzie kompilator zwykle wyświetla tylko ostrzeżenie). Dzięki uprzejmości: Wikipedia .

Nie, w Javie nie ma żadnego głównego nurtu wnioskowania o typie, takiego jak C ++. Wystąpił błąd RFE, ale został on zamknięty z powodu „Nie zostanie naprawiony”. Podano powód:

Ludzie korzystają z nadmiarowości deklaracji typu na dwa sposoby. Po pierwsze, redundantny typ służy jako cenna dokumentacja - czytelnicy nie muszą szukać deklaracji getMap (), aby dowiedzieć się, jaki typ zwraca. Po drugie, nadmiarowość pozwala programiście zadeklarować zamierzony typ, a tym samym skorzystać z kontroli krzyżowej przeprowadzanej przez kompilator.

Może Java 10 ma to, czego Ty (i ja) chcesz, poprzez varsłowo kluczowe.

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

Z propozycji ulepszeń JDK 286

Aktualizacja: Tak , ta funkcja trafiła do wydania Java 10!

Java 7 wprowadza składnię diamentów

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

W porównaniu ze starą wersją java

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

Krytyczny czytelnik zauważy, że ta nowa składnia nie pomaga w pisaniu pętli for w oryginalnym pytaniu. Wydaje się, że jest to poprawne i całkowicie zamierzone. Zobacz inną odpowiedź, która cytuje bazę danych błędów Oracle.

W Javie 8 można użyć wnioskowania o typie lambda, aby uniknąć deklarowania typu. Analogią do przykładów pytającego byłoby:

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

z których oba można również uprościć za pomocą odniesień do metod:

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

Krótko mówiąc, nie, nie ma typu automatycznego. Jeśli wszystko, co robisz, to drukowanie wartości, możesz po prostu odnieść się do wartości jako Object.

To nie jest rozwiązanie w czystej Javie, jednak dodanie biblioteki o nazwie lombok umożliwi poniższej magii kompilację i działanie bardzo podobne do autosłowa kluczowego w C ++

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