Javaで自動型推論はありますか？

autoC ++のようなJavaの変数型はありますか？

例：

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

Javaには強化されたforループがあることは知っていますが、自動はありますか？そうでない場合、これを行うためのハックはありますか？C ++ 11の新機能について言及しています

質問が編集される前に回答：

いいえauto、Java には変数型はありません。同じループを次のように実現できます。

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

Javaにはローカル変数があり、そのスコープはそれらが定義されているブロック内にあります。CおよびC ++に似ていますが、autoまたはregisterキーワードはありません。ただし、Javaコンパイラーは、明示的に初期化されていないローカル変数の使用を許可せず、コンパイルエラーを出します（コンパイラーが通常警告のみを与えるCおよびC ++とは異なります）。礼儀：ウィキペディア。

いいえ、JavaにはC ++のような主流の型推論はありません。RFEがありましたが、これは「修正されません」としてクローズされました。理由は次のとおりです。

人間は、型宣言の冗長性から2つの方法でメリットを得ます。まず、冗長な型は貴重なドキュメントとして機能します。リーダーはgetMap（）の宣言を検索して、それが返す型を見つける必要はありません。第2に、冗長性により、プログラマーは目的の型を宣言できるため、コンパイラーが実行するクロスチェックのメリットを享受できます。

たぶん、Java 10にはvarキーワードを通じてあなた（そして私）が望んでいるものがあります。

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

JDK強化の提案286

更新：はい、その機能によりJava 10リリースに組み込まれました！

Java 7はdiamond構文を導入します

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

古いjavaと比較して

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

批判的な読者は、この新しい構文は、元の質問でforループを記述するのに役立たないことに気付くでしょう。それは正しく、完全に意図的なようです。Oracleのバグデータベースを引用している他の回答を参照してください。

Java 8では、ラムダ型推論を使用して、型の宣言を回避できます。質問者の例に類似するものは次のとおりです。

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

どちらもメソッド参照を使用して簡略化できます。

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

つまり、自動タイプはありません。ただし、値を出力するだけの場合は、値をとして参照できますObject。

これは純粋なJavaソリューションではありませんが、lombokと呼ばれるライブラリを追加すると、以下の魔法がコンパイルさautoれ、C ++のキーワードと非常によく似た動作をします。

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