为什么我不能在接收参数化参数的方法中使用通配符？

Question

例如，我使用方法 Measure.doubleValue(Unit unit) ，该方法返回测量的 double 值，以指定的 Unit< /代码>。如果我向它传递一个 Unit 变量，我会收到（对我来说）仍然非常神秘的错误消息：

方法 doubleValue(Unit) 中 类型 Measurable不适用于参数 (单元)

如果有人能解释 #27-of ? （或任何其他数字）的含义，以及是否存在摆脱这个的优雅方法。到目前为止，我删除了 并设置了调用方法 @SuppressWarnings("unchecked") （因此我传递了一个未经检查的 Unit 而不是 Unit），一切都按预期工作，但我只是对此感到好奇，而且我觉得抑制警告不是一个好的做法（是不是有点就像空的 catch 块？）。

谢谢！

编辑：添加一些代码。

（抱歉，这很长，但它详细解释了我所坚持的内容。）

我正在使用 JSR-275 版本 0.9.4（最新）。

所以...如果我写这个（非常愚蠢的例子）：

Measure measure = Measure.valueOf("3 m");
measure = Measure.valueOf(measure.doubleValue(Unit.valueOf("km")), Unit.valueOf("km"));
System.out.println(measure);

它可以工作并打印“0.0030 km”。但我在第一次 Measure 出现时收到警告“Measure is a raw type.References to generic type Measureshould beparameterized”，并收到警告“Type safety” ：方法 doubleValue(Unit) 属于原始类型 Measurable。对泛型类型 Measurable的引用应该通过 measure.doubleValue(Unit.valueOf("km")) 进行参数化。 >。

看到这些警告，我想我可以这样调整（仅限第一行）：

Measure<Length> measure = Measure.valueOf("3 m");

然后我在分配的右侧部分收到错误消息“类型不匹配：无法从 Measure转换为 Measure< ;长度>”。它（Eclipse）让我将正确的部分投射到（Measure）。但随后我在右侧部分收到警告消息“类型安全：未检查从 Measure到 Measure的转换”。修复建议：@SuppressWarnings 我宁愿避免（我猜是出于偏执的原因）。

因此，我回到 Measuremeasure = Measure.valueOf("3 m"); 并尝试为 Measure 提供通配符，显然，它不知道什么“3m”表示此刻。它可以是长度，也可以是质量或时间。所以我得到：

Measure<?> measure = Measure.valueOf("3 m");

这一行没有警告或错误；极好的。但是，在第二行：

measure = Measure.valueOf(measure.doubleValue(Unit.valueOf("km")), Unit.valueOf("km"));

我收到 doubleValue 的错误消息：“The method doubleValue(Unit) in the type Measurable不适用于参数 (Unit)”。它建议将 Unit.valueOf("km") 转换为 (Unit)。美好的。现在，我在完全相同的位置收到错误消息：“Measurable类型中的方法 doubleValue(Unit) 不适用于参数 (单元)”。请注意，数字已发生变化，因此参数不完全相同，但原因相似。然后它执行完全相同的建议，这不会导致代码发生任何更改，因为它已经完成了。

这就是困扰我的问题。让它工作的唯一方法似乎是 @SuppressWarnings 或忽略它们。是不是很奇怪？

Answer 1

度量类看起来像这样吗？

class Measure<T> {

  double doubleValue(Unit<T> unit) {
    ...
  }

}

在这种情况下，引用类型为 Measure 并不意味着您可以将任何类型的 Unit 传递给 doubleValue方法。相反，这意味着 Measure 实例具有未知的泛型类型，并且将 Unit 传递给其 doubleValue 方法并不安全，因为编译器无法确保类型兼容。

通配符不表示“任何类型”；它的意思是“未知类型”。

---

更新：

valueOf(CharSequence) 返回未知类型的Measure - Measure。要将其安全地转换为您期望的 Measure 类型，您必须使用 Measure.asType() 方法。与由 Unit.valueOf(CharSequence) 方法创建的目标 Unit 类似。

Measure<?> unknownMeasure = valueOf("3 m");
Unit<?> unknownUnit = Unit.valueOf("km");
Measure<Length> length = unknownMeasure.asType(Length.class);
Unit<Length> kilometer = unknownUnit.asType(Length.class);
length.doubleValue(kilometer);

查看 Measure 类文档中的示例。他们将提供一些额外的深度。

Answer 2

Java泛型中的通配符的意思是“未知类型”。此处，您将 doubleValue() 方法定义为接受 Unit，其中该方法未指定 something1。然后，您可以为某些未知的 something2 传递一个调用者知道为 Unit 的值。编译器错误消息意味着没有任何东西可以保证 something1 和 something2 指定相同的事物。

试试这个：

<T> double doubleValue(Unit<T> unit)
{
    ...
}

这意味着 doubleValue() 不关心 T 是什么。

Answer 3

为了扩展其他（优秀）答案，但要更具体一点 JSR-275（我目前正在将它用于一个项目）。

这一点很有趣

修复建议：@SuppressWarnings，我宁愿避免（我猜是出于偏执的原因）。

您的偏执是正确的，但想一想：您告诉 Measure 类解析任意 String，并返回一个 Measure > 任何类型。显然，在这种情况下，您可能会或可能不会获得Measure（您可能会传递“3 kg”），因此库剩下的唯一选择是返回Measure< /代码>。如果您想要一个Measure，那么您必须以某种方式将其强制为一个 - 这在编译时不可能保证安全。

在这种情况下，我认为 @SuppressWarnings 是完全可以接受的，假设您知道该字符串始终是有效长度。如果没有，您就会将不可避免的 ClassCastException 推迟到稍后，这是非常糟糕的。

但是更好（万岁！）JSR-275 确实为您提供了解决此问题的方法，它将错误处理推到“正确”的位置（在获取Measure，而不是在使用之后的某个时刻）。尝试

Measure<Length> = Measure.valueOf("3 m").asType(Length.class);

asType 返回 Measure 的适当通用版本，或者如果解析单位的维度不是长度，则失败并抛出异常 - 这几乎肯定是您想要的，对吧？

我认为这可以解决你的问题。

Answer 4

我无法重现您的问题，即以下编译正常（至少使用 Eclipse）：

static double doubleValue(Unit<?> unit) {
    return 0;
}

static void bla(Unit<?> u) {
    doubleValue(u);
}

public static void main(String[] args) {
    doubleValue(new Unit<String>());
}