0

以下是Java Concurrency in Practice一书中让我感到困惑的片段：

interface Computable<A, V> {
    V compute(A arg) throws InterruptedException;
}

public class Memoizer3<A, V> implements Computable<A, V> {
        private final Map<A, Future<V>> cache
                 = new ConcurrentHashMap<A, Future<V>>();
        private final Computable<A, V> c;

        public Memoizer3(Computable<A, V> c) { this.c = c; }

        public V compute(final A arg) throws InterruptedException {
            Future<V> f = cache.get(arg);
            if(f == null) {
                Callable<V> eval = new Callable<V>() {
                    @Override
                    public V call() throws Exception {
                        return c.compute(arg);
                    }
                };
                FutureTask<V> ft = new FutureTask<V>(eval);

                //How could it happen???
                f = ft;

                cache.put(arg, ft);
                ft.run();
            }
            try {
                return f.get();
            } catch (InterruptedException e) {
                throw launderThrowable(e.getCause());
            }
        }
    }

如代码所示，f的类型是 Future 而ft的类型是 FutureTask。为什么我们可以将ft分配给变量f？

4

1 回答 1

2

Future<V>是由 实现的接口FutureTask<V>，所以这样做没有错。如果一个类C实现了一个接口I，您可以将该类分配给具有类型的变量C以及具有类型的变量I。请注意，在第二个中，您将只能与 公开的方法子集进行交互I，而不是与 提供的整个方法集进行交互C。

这里是FutureTask.

于 2015-10-21T06:12:43.830 回答