[Cannot refer to the non-final local variable target defined in an enclosing scope]の原因を教えてください。

Question

以下のJavaコードをコンパイルすると、
[Cannot refer to the non-final local variable target defined in an enclosing scope]
というエラーが発生します。

package mytest.gui;

import java.util.ArrayList;
import java.util.Collection;
import java.util.List;

import org.apache.commons.collections4.CollectionUtils;
import org.apache.commons.collections4.ListUtils;
import org.apache.commons.collections4.Predicate;

public class Console {

	public static void main(String[] args) {
		List<String> list = new ArrayList<String>();
		list.add("maeda");
		list.add("oshima");
		list.add("shinoda");
		List<String> selectedList = select(list, "shinoda");
	}

	/**
	 * 文字列に一致するListを生成する
	 * @param list 検索対象のList
	 * @param target 絞り込み対象の文字列
	 */
	private static List<String> select(List<String> list, String target) {
		return ListUtils.select(list, new Predicate<String>() {
				public boolean evaluate(String elm) {
					return elm.contains(target);
				}
		});		
	}
}

<!-- pom.xml -->
<dependency>
    <groupId>org.apache.commons</groupId>
    <artifactId>commons-collections4</artifactId>
    <version>4.0</version>
</dependency>

エラーメッセージの通り、引数をfinal String targetにすると、エラーは出なくなりました。

英語メッセージの和訳は、「finalでないローカル変数は、エンクロージングスコープで参照できない」です。
なぜ、final修飾子を付けないと参照できないのでしょうか？

よろしくお願いします。

実行環境

• Java7
• Eclipse4.5
• Commons-Collections 4.0

補足

Java8ではエラーは出ませんでした。

Answer 1

Javaでは匿名クラス内でローカル変数を使う(クロージャの一種とされます)場合はfinalで無ければならないという言語上の制限があります。再代入を許してしまうと、矛盾が生じてしまうのが理由のようです。
参考: 内部クラスからアクセス可能なローカル変数が final でなければならない理由 - happynowの日記

また、Java 8でエラーにならなくなるのは実質的finalという新機能によって、finalをつけなくてもfinalと見なされるからです。暗黙的なfinalが付くようになっただけで、finalで無くても良くなったわけではありません。Java 8であってもfinalでなければならない制限はそのままですし、Java 8からの新機能であるラムダ式でも、実装上は匿名クラスになるため、同じくfinalで無ければならない制限は付いたままです。

Comments

[yuji38kwmt]

ありがとうございます。納得できました！

Answer 2

Commons-Collectionsのバージョンはどれをお使いでしょうか。

4.1では以下のコードで問題は発生せず、もちろんコンパイルエラーも発生しませんでした。
※Java8のjava.util.functions.Predicateではなく、commons-collectionsのPredicateを利用しています。

import org.apache.commons.collections4.CollectionUtils;
import org.apache.commons.collections4.Predicate;

public class FilterSample {

	public List<String> select(List<String> list, String target) {
		return (List<String>) CollectionUtils.select(list, new Predicate<String>() {

			@Override
			public boolean evaluate(String elem) {
				return elem.contains(target);
			}
		});
	}
}

検証コード

public class FilterTest {

	@Test
	public void testSelect() {
		FilterSample sample = new FilterSample();
		
		List<String> list = Arrays.asList("abc","def","kjl","xyz","zab");
		
		List<String> result = sample.select(list, "a");
		
		assertTrue( result.contains("abc") );
		assertTrue( result.contains("zab") );
		assertFalse( result.contains("kjl"));
	}
}

Comments

[yuji38kwmt]

すみません。Java8でなくJava7の間違いでした。Commons-Collections 4.0を使っています。