java - Java 中是否可以禁止泛型中的某些父类(super class)？

Question

我想问一下在Java 8+中是否可以声明一个泛型绑定(bind)T以便它扩展父类(super class)/超接口(interface) U (可能是 Object 或 Serializable )但如果 T 则会中断编译延伸L (必须首先扩展U)。

我在使用过滤器范围对象时发现了这个问题:我的一位开发人员调用了错误的方法，并花了很多时间质疑为什么它会给出不一致的结果。所以我想帮助她改变方法签名，以某种方式尽早发现她使用了错误的代码。

我将以非常简化的方式展示我的示例案例。我们正在讨论表格和动态过滤器。

#Displays a text "[field name] is equal to [value]"
#Value (T) must be Oject
#Internally uses Object::toString
#Null shows blank string
public static String <T> localizeEq(Localizable fieldName, T value);
       <LocalDate> localize(forI18nLabel("DATE_OF_BIRTH_LABEL",dateOfBirth)
       "Date of birth equals 01/01/1900" (en)
       "syntymäaika on 01/01/1990" (fi)

#Additional diplays for "ge, gte, le..."
#Overload methods not displayed

#SimpleFilter is {op:"ge|ge|eq...",value:""}}
#The effective display depends on the op attribute
#Example "[field name] is [operator] [value]"
#Example "[field name] is less or equal than [upper]"
#If <filter != null but filter.op == null || filter.value> the method returns null
public static String <T> localize(Localizable fieldName, SimpleFilter<T> filter)
   #localize(forI18nLabel("SALARY"),salaryFilter)
   #salaryFilter = {op:"lt",value:10000}
   #Salary is less than 10000 (en)

现在的问题是上限 U我的泛型是 Serializable开发人员无意中调用了 localizeEq ，它接受原子值，参数类型为 SimpleFilter<?>延伸Serializable 。方法localizeEq构建过滤器文本“[字段名称]等于{op:null,value:null}”。

主要问题是空检查。对原子值进行操作的方法(例如 localizeEq、localizeNe)检查参数是否为 null。对复杂过滤器进行操作的方法在继续之前会检查过滤器参数是否为空或其值是否为空。

这就是提问的原因。显然我 可以 (将修改我的代码以便)检查 value 的类型调用方法时的参数但有三个缺点:

• 开发人员只能在运行时找到它
• 开发人员只有在 value 时才发现问题不为空
• 我公司没有人运行自动化测试，因此只有在启动整个应用程序并为过滤器设置非空值时他们才会发现。手动测试一旦完成，就不再重复

[编辑]对于我的具体情况，还有另一个技巧，但它涉及创建十多个重载的已弃用方法:

@Deprecated
public static String localize[Eq|Ne...](Localizable fieldName, SimpleFilter<?> value){ throw new UnsupportedOperationException("Wrong method");}

[编辑3]

代码位于 Gist 。请注意，在存储库代码中，我们静态导入 SimpleFilter.filter或LocalDateRangeFilter.filter方法。在问题中假设 localize(Localizable,SimpleFilter)与其他方法属于同一类的一部分。请注意，我们的存储库中还有一些其他 *RangeFilter 类支持 Joda Time、Java Util Date 和 NumericRange。他们都遇到同样的问题。

无论如何，我想关注问题的范围:禁止通用扩展，这在 JLS 中似乎不可能。

Answer 1

I would like to ask if it is possible in Java 8+ to declare a generic bound T so that it extends superclass/superinterface U (which could be Object, or Serializable) but breaks compilation if T extends L (which must extend U first).

T在你的伪代码中似乎是一个类型参数，而不是一个界限。界限是不同的，事实上，对 T 施加界限似乎就是你要问的。事实上，如果没有一个——特别是没有下限——你的 localizeEq()方法并没有从通用性中获得任何东西。就目前情况而言，如果您刚刚摆脱 T ，该方法会更清晰。总共，并将第二个参数声明为 Object 类型(相当于当前代码)或 Serializable或其他什么。

我认为该方法是通用的，希望以某种方式使用其类型参数来排除某些子类型的参数，但这在 Java 中是不可能的，因为

• 类型下限包含，而不是排除
• 较低的类型边界将满足单行继承绑定(bind)的类型限制为单行继承，这似乎与您的意图不一致

Now the problem is that the the upper bound U of my generics is Serializable and developer inadvertently invoked localizeEq, which accepts atomic values, with a parameter of type SimpleFilter<?> that extends Serializable. The method localizeEq builds a filter text "[field name] is equal to {op:null,value:null}".

如果一个人不应该通过SimpleFilter到localizedEq()方法，那么我会说你这里有一个设计缺陷。当然，您可以在运行时捕获违规，但类型系统没有提供一种方法来表达您正在寻找的编译时约束。

For my specific case there is another trick, but it involves creating more than a dozen overloaded deprecated methods:

事实上，重载可能是最好的可用解决方案，但我建议从另一个方向来解决它。而不是为 localizeEq 添加重载, localizeNe ，等等，弃用这些方法的现有版本，而是重载 localize具有为非 SimpleFilter 的参数提供所需行为的一个或多个版本s。