对于这个问题中的任何不好的英语语言,我提前表示抱歉。
我想创建一种工厂,它只能创建由具体工厂实例类实现的列表中定义的类的实例。首先,我定义了这个接口:
public interface ValuesSystem {
public interface AllowedValue<T extends Class<? extends SystemValue>>{};
AllowedValue<Class<? extends SystemValue>> getAllowedValue(Enum<?> id);
Map<? extends Enum<?>, AllowedValue<Class<? extends SystemValue>>> getAllowedValues();
<T extends SystemValue> T create(AllowedValue<Class<T>> allowedClass, ValueData data) throws InvalidValueException;
}
接口AllowedValue只是一个"标记包装器"接口,它使用泛型来定义"允许"由我的工厂创建的类实例。
getAllowedValue是一个方法,用于使用实现该接口的具体类的内部枚举从我的允许类"列表"中获取包装的允许类实例(将提供具体类的示例)。
create方法旨在最终创建allowedClass参数中给定的allowClass实例的实例。
以下是实现此接口的具体类的示例:
public class BasicValueSystem implements ValuesSystem {
public BasicValueSystem() {
super();
allowedValues = (Map<VALUES_ID, AllowedValue<Class<? extends SystemValue>>>) getAllowedValues();
}
public static enum VALUES_ID {
MODIFIER
}
private static Map<VALUES_ID, AllowedValue<Class<? extends SystemValue>>> allowedValues;
private class BasicAllowedValue<T extends Class<? extends SystemValue>>
implements AllowedValue<Class<? extends SystemValue>> {
}
@Override
public <T extends SystemValue> T create(
AllowedValue<Class<T>> allowedClass, ValueData data)
throws InvalidValueException {
if (!(allowedClass instanceof BasicAllowedValue)) {
throw new InvalidValueException();
}
return null;
}
@Override
public AllowedValue<Class<? extends SystemValue>> getAllowedValue(Enum<?> id) {
return allowedValues.get(id);
}
@Override
public Map<? extends Enum<?>, AllowedValue<Class<? extends SystemValue>>> getAllowedValues() {
Map<VALUES_ID, AllowedValue<Class<? extends SystemValue>>> allowed = new EnumMap<VALUES_ID, AllowedValue<Class<? extends SystemValue>>>(VALUES_ID.class);
allowed.put(VALUES_ID.MODIFIER, new BasicAllowedValue<Class<ModifierValue>>());
return allowed;
}
}
目前create方法返回null,但问题在其他地方,这不是我问题的重点
当我试图用以下代码创建一个"允许"值实例的实例时,问题就出现了:
BasicValueSystem bvs = new BasicValueSystem();
AllowedValue<Class<? extends SystemValue>> allowed = bvs
.getAllowedValue(BasicValueSystem.VALUES_ID.MODIFIER);
bvs.create(allowed, new ModifierValueData());
编译器告诉我:
The method create(ValuesSystem.AllowedValue<Class<T>>, ValueData) in the type BasicValueSystem is not applicable for the arguments (ValuesSystem.AllowedValue<Class<? extends SystemValue>>, ModifierValueData)
我想我遗漏了一些关于泛型的类型推理的内容。
有人能向我解释创建方法签名在这种情况下不适用吗?以及如何修复它?
提前感谢您慢慢来。
请注意,public interface AllowedValue<T extends Class<? extends SystemValue>>
没有多大意义。T
的唯一有效类型是Class<? extends SystemValue>
,因为类Class
是final,不能有子类。因此,您可以用interface AllowedValue<Class<? extends SystemValue>>
替换它,而不会改变语义,但您真正的意思(imho)是interface AllowedValue<T extends SystemValue>
。不要在类型签名中乱用Class
。那么接口可能仍然有引用Class<T>
的方法。
public interface ValuesSystem {
public interface AllowedValue<T extends SystemValue>{};
AllowedValue<? extends SystemValue> getAllowedValue(Enum<?> id);
public <T extends SystemValue> T create
(AllowedValue<T> allowedClass, ValueData data);
}
相应地调整实施,BasicAllowedValue
变成
private class BasicAllowedValue<T extends SystemValue> implements AllowedValue<T>
然后,您使用代码的问题就消失了。
BasicValueSystem bvs = new BasicValueSystem();
AllowedValue<? extends SystemValue> allowed = bvs
.getAllowedValue(BasicValueSystem.VALUES_ID.MODIFIER);
bvs.create(allowed, new ModifierValueData());
将编译。
请注意,如果AllowedValue
仅保留一个没有方法的标记接口,则没有必要,Class<T>
已经完成了这一角色。当这样做时,它也会起作用:
public interface ValuesSystem {
Class<? extends SystemValue> getAllowedValue(Enum<?> id);
public <T extends SystemValue> T create(Class<T> allowedClass, ValueData data);
}
和
BasicValueSystem bvs = new BasicValueSystem();
Class<? extends SystemValue> allowed = bvs
.getAllowedValue(BasicValueSystem.VALUES_ID.MODIFIER);
bvs.create(allowed, new ModifierValueData());