Java抽象泛型方法，使用具体类型实现通配符

Question

在java中，是否可以使用通配符定义抽象方法，但在实现中使用具体类型

eg：

在这样的抽象类中定义抽象方法

public abstract class AbstractAuthorizer {
    abstract protected <T extends User> void authorize( T user );
}

实现如下抽象方法，其中CorporateServer扩展了用户：

public class CorporateAuthorizer extends AbstractAuthorizer {

    @Override
    protected <CorporateUser> void authorize(CorporateUser user){
    }
}

Answer 1

抽象类正在声明一个方法，该方法将授权任何

一些选项：

>

生成抽象类。

abstract class AbstractAuthorizer<T extends User> {
    protected abstract void authorize(T user);
}

class CorporateAuthorizer extends AbstractAuthorizer<CorporateUser> {
    protected void authorize(final CorporateUser user) {
        // Do authorization.
    }
}

让分机执行必要的检查。大致如下（使用AbstractAuthorizer定义如下）：

class CorporateAuthorizer extends AbstractAuthorizer {
    protected <T extends User> void authorize(final T user) {
        if (!(user instanceof CorporateUser)) {
            throw new UnsupportedOperationException("CorporateAuthorizer can only authorize 'CorporateUser' users");
        }
        // Do authorization.
    }
}

如果你选择后者，我强烈建议你增加一个抽象布尔支持（User）哪个执行上述instanceof检查，以便它可以用作：

boolean checkAuth(final User user) {
    boolean authorized = false;
    for (final AbstractAuthorizer authorizer : authorizers) {
        if (authorizer.supports(user)) {
            authorizer.authorize(user);
            authorised = true;
            // break; if only a single authorizer's check is required.
        }
    }
    return authorised;
}

我还会注意到的方法

abstract class AbstractAuthorizer {
    abstract boolean supports(User user);

    abstract <T extends User> T authorize(T user);
}

Answer 2

不，你不能直接做你要求的。然而，你可以得到同样的效果。

当你创建泛型时，你向用户promise：这将适用于任何满足泛型边界的类型。所以通过在子类中选择特定的类型，你就违反了这条规则。然而，如果你正确定义了超类，那么你可以在满足类型检查器的同时获得你想要的行为。不要让函数泛型，让类泛型，然后当你子类时，你可以选择它适用于哪种类型。

public abstract class AbstractAuthorizer<T extends User> {
    abstract protected void authorize( T user );
}

public class CorporateAuthorizer extends AbstractAuthorizer<CorporateUser> {
    @Override
    protected void authorize(CorporateUser user) {}
}