棘手的Java泛型：用泛型方法实现非泛型接口的泛型类

Question

import java.util.*;

class Test{
   interface Visitor{
        public <T> void visit(T Value);
   }

   class MyVisitor<T> implements Visitor{
        List<T> list = new  ArrayList<T>();

        public <T> void visit(T value){
           list.add(value);
        }
    }
}

编译时，此代码将产生以下+错误：

 Main.java:12: error: no suitable method found for add(T#1)
             list.add(value);
                 ^
     method List.add(int,T#2) is not applicable
       (actual and formal argument lists differ in length)
     method List.add(T#2) is not applicable
       (actual argument T#1 cannot be converted to T#2 by method invocation conversion)   where T#1,T#2 are type-variables:
     T#1 extends Object declared in method visit(T#1)
     T#2 extends Object declared in class Test.MyVisitor 1 error

问题是访问中的类型T与列表中的T不相同。如何修复此编译问题？

Answer 1

class MyVisitor<T> implements Visitor{
    List<T> list = new  ArrayList<T>();

    public <T> void visit(T value){
       list.add(value);
    }
}

相当于

class MyVisitor<T> implements Visitor{
    List<T> list = new  ArrayList<T>();

    public <V> void visit(V value){
       list.add(value);
    }
}

也就是说，类的t参数和visit方法的t参数不相关，两者都不一定可以分配给另一个。如果访问者本身是参数化接口

interface Visitor<V>{
    public void visit(V Value);
}

然后您可以使用MyVisitor implements visitor ，然后T将是相同的。

interface Visitor{
    public void visit(Object Value);
}