Dlaczego typy ogólne mają ten sam podpis?

Question

Mam następujące klasy Generic:

class Or<A,B> 
{ 
    Or (A a) {} 
    Or (B b) {} 
} 

Dlaczego otrzymuję następujący błąd, gdy próbuję go skompilować:

 
Or(A) is already defined in Or 
    Or (B b) 
    ^

Wydaje mi się, że te dwa konstruktory mają tę samą sygnaturę chociaż mają różne argumenty typu ogólnego. Czemu? A jak obejść ten problem?

Aktualizacja

zrozumiałem problem teraz. Kompilator potrzebuje sposobu na rozróżnienie dwóch typów. Dodanie takiego ograniczenia byłoby w porządku dla mojego przypadku użycia. Chciałbym dodać kolejne pytanie:

Jak określić, że dwa typy A i B mogą być inne niż różne?

Answer 1

It seems to me that the two constructors share the same signature although they have different generic type arguments.

Robią to. Podpis jest

Or(Object o); 

Why?

powodu type erasure realizacji rodzajowych w Javie: odniesienia do typów generycznych są konwertowane do System.Object we wszystkich kontekstach, w których są one stosowane; typ ogólny jest znany tylko kompilatorowi.

And how to work around this problem?

Niestety, nie można łatwo obejść tego problemu w konstruktorze. Można wymienić przeciążonych konstruktorów z metod fabrycznych i dać różne nazwy, np OrWithA i OrWithB:

// Hide the constructor 
private Or(...) { 
    ... 
} 
// Publish factory methods 
public static <X> Or OrWithA(X a) { 
    return new Or(...); 
} 
public static <X> Or OrWithB(X a) { 
    return new Or(...); 
} 

Answer 2

To nie jest legalne, ponieważ leki generyczne są wyrzucane w czasie wykonywania (jest to wymazywanie typu). Obie metody będą miały prototyp Or(Object).

Jedynym rozwiązaniem może być metoda OrA() i OrB() - lub całkowicie przejrzeć swoją klasę.

Answer 3

Po prostu to robią. Taka jest natura leków generycznych; dostarczają cukru syntetycznego używanego tylko w czasie kompilacji. Nie ma możliwości obejścia tego.

(Potwierdzenie komentarzy pytanie) To się nazywa typ wymazywania: patrz http://en.wikipedia.org/wiki/Type_erasure

Answer 4

To dlatego, A lub B może być cokolwiek, mogą być takie same, jak również generycznych jest tylko dla kompilacji. W czasie wykonywania są one utracone z powodu wymazania typu:

Answer 5

Mówiąc inaczej: masz 2 typy A i B, i nic nie wiadomo o nich obu. Tak więc jeden zupełnie nieznany typ jest równie dobry jak inny. W jaki sposób wywoływać wywołania konstruktora?

Answer 6

To z powodu type erasure: generics są zastępowane typem obiektu w kompilacji, więc twoje metody mają ten sam podpis.Jako workaound można wybrać, aby ograniczyć typy A i B:

public class Test<A extends String, B extends Number> { 

public Test(A arg){ 

} 

public Test(B arg){ 

} 
} 

Answer 7

Te konstruktorzy będą postrzegane jako posiadające te same podpisy, ponieważ ich typy nie mogą być zidentyfikowane przy starcie.

Spróbuj określić ograniczenia co najmniej jednego z parametrów, jeśli to możliwe.

class Or<A extends Number,B> 
{ 
    Or (A a) {} 
    Or (B b) {} 
} 

Answer 8

1. Rozważ to, co konstruktor zadzwonić?

   Or<Integer,Integer> o = new Or<>(5); 
   

2. Twój problem rzeczywiście pochodzi z Rodzaj skasowaniem, to uczynić swój kod wygląda jak to po kompilacji:

   class Or 
   { 
       Or (Object a) {} 
       Or (Object b) {} 
   } 
   

Answer 9

Wynika to type erasure. Eclipse kompilator daje dokładniejszy błąd: Method Or(A) has the same erasure Or(Object) as another method in type Or

Jeśli stosuje się ograniczenia do generyków kompiluje dobrze:

class Or<A extends String, B extends Integer> 
{ 
    Or(A a) {} 

    Or(B b) {} 
}