Java 與 generics 的接口是否可以強制執行通用類型？

Question

考慮這個例子

    public interface Equatable<T> {
        public boolean equal(T t1, T t2);
    }

    public class Square implements Equatable<Square> {
        public boolean equal(Square t1, Square t2) {
            return false;
        }
    }

接口 Equatable 是否有可能強制 Square 實現一個相等的 function 接受兩個 Square，而不僅僅是任何類型中的兩個（兩個 String 等）？

Answer 1

是的，你沒有在你的接口中定義什么是“T”，你可以將它限制在實現 Equatable 的類中，因此不允許使用String ：

public interface Equatable<T extends Equatable<T>>
{ 
     //...
}

效果好：

public class Square implements Equatable<Square>
{
    public boolean equal(Square t1, Square t2)
    {
        return false;
    }
}

編譯錯誤：

public class Circle implements Equatable<String>
{
    public boolean equal(String t1, String t2)
    {
        return false;
    }
}

筆記
請注意，您有責任將相同的類型名稱放在括號中，因為編譯器不會涵蓋以下情況。
我猜你想禁止對不同類型使用相等的方法。

public class Square implements Equatable<Circle>
{
    public boolean equal(Circle t1, Circle t2)
    {
        return false;
    }
}

Answer 2

您可以使用遞歸泛型類型在一定程度上強制執行此操作。

public interface Equatable<T extends Equatable<T>> {
    public boolean equal(T t1, T t2);
}

相關：Java 枚舉定義