Java泛型:多个通用参数?

时间:2009-11-18 22:17:48

标签: java generics parameters

我想知道是否可以编写一个接受多个泛型类型的函数,如下所示:

public int void myfunction(Set<T> a, Set<T> b) {
    return 5;
}

Set<Integer> setA = new HashSet<Integer>();
Set<String> setB = new HashSet<String>();
int result = myfunction(setA, setB);

那会有用吗?每个参数中的泛型是否意味着每个参数必须具有与通用类型相同的类型?

谢谢!

6 个答案:

答案 0 :(得分:103)

是的 - 这是可能的(虽然不是你的方法签名),是的,你的签名类型必须相同。

根据您提供的签名,T必须与呼叫网站上的单个类型(例如String Integer)相关联。但是,您可以声明采用多个类型参数的方法签名

public <S, T> void func(Set<S> s, Set<T> t)

请注意,在上述签名中,我已在签名本身中声明了类型ST。因此,它们与包含该函数的类或接口相关联的任何泛型类型不同并且独立。

public class MyClass<S, T> {
   public        void foo(Set<S> s, Set<T> t); //same type params as on class
   public <U, V> void bar(Set<U> s, Set<V> t); //type params independent of class
}

您可能希望查看java.util包中集合类的一些方法签名。泛型实际上是一个非常复杂的主题,特别是考虑到通配符(? extends? super)时。例如,通常情况下,可能将Set<Number>作为参数的方法也应该接受Set<Integer>。在这种情况下,你会看到这样的签名:

public void baz(Set<? extends T> s);

关于这个问题,你已经有很多关于SO的问题了!

不确定从函数返回int的重点是什么,尽管如果你愿意,你也可以这样做!

答案 1 :(得分:9)

您可以在类型或方法上声明多个类型变量。例如,在方法上使用类型参数:

<P, Q> int f(Set<P>, Set<Q>) {
  return 0;
}

答案 2 :(得分:9)

更重要的是,你可以继承泛型:)

@SuppressWarnings("unchecked")
public <T extends Something<E>, E extends Enum<E> & SomethingAware> T getSomething(Class<T> clazz) {
        return (T) somethingHolderMap.get(clazz);
    }

答案 3 :(得分:4)

您可以采用以下方法之一:

1)基本单一类型:

//One type
public static <T> void fill(List <T> list, T val) {

    for(int i=0; i<list.size(); i++){
        list.set(i, val);
    }

}

2)多种类型:

// multiple types as parameters
public static <T1, T2> String multipleTypeArgument(T1 val1, T2 val2) {

    return val1+" "+val2;

}

3)下面将引发编译器错误,因为T3不在函数声明部分中使用的泛型类型列表中。

//Raised compilation error
public static <T1, T2> T3 returnTypeGeneric(T1 val1, T2 val2) {
    return 0;
}

正确:编译好

public static <T1, T2, T3> T3 returnTypeGeneric(T1 val1, T2 val2) {
    return 0;
}

示例类代码:

package generics.basics;

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

public class GenericMethods {

/*
 Declare the generic type parameter T in this method. 

 After the qualifiers public and static, you put <T> and 
 then followed it by return type, method name, and its parameters.

 Observe : type of val is 'T' and not '<T>'

 * */
//One type
public static <T> void fill(List <T> list, T val) {

    for(int i=0; i<list.size(); i++){
        list.set(i, val);
    }

}

// multiple types as parameters
public static <T1, T2> String multipleTypeArgument(T1 val1, T2 val2) {

    return val1+" "+val2;

}

/*// Q: To audience -> will this compile ? 
 * 
 * public static <T1, T2> T3 returnTypeGeneric(T1 val1, T2 val2) {

    return 0;

}*/

 public static <T1, T2, T3> T3 returnTypeGeneric(T1 val1, T2 val2) {

    return null;

}

public static void main(String[] args) {
    List<Integer> list = new ArrayList<>();
    list.add(10);
    list.add(20);
    System.out.println(list.toString());
    fill(list, 100);
    System.out.println(list.toString());

    List<String> Strlist = new ArrayList<>();
    Strlist.add("Chirag");
    Strlist.add("Nayak");
    System.out.println(Strlist.toString());
    fill(Strlist, "GOOD BOY");
    System.out.println(Strlist.toString());


    System.out.println(multipleTypeArgument("Chirag", 100));
    System.out.println(multipleTypeArgument(100,"Nayak"));

}

}

//类定义结束

示例输出:

[10, 20]
[100, 100]
[Chirag, Nayak]
[GOOD BOY, GOOD BOY]
Chirag 100
100 Nayak

答案 4 :(得分:2)

a和b必须都是相同类型的集合。但没有什么能阻止你写作

myfunction(Set<X> a, Set<Y> b)

答案 5 :(得分:2)

在您的函数定义中,您将约束a和b设置为相同的类型。你也可以写

public <X,Y> void myFunction(Set<X> s1, Set<Y> s2){...}