Checker Framework为何不允许用Object参数重写Object参数？

问题场景 #

OverrideBug类继承自DefaultListCellRenderer并实现了重写方法，代码如下：

import java.awt.Component;
import java.text.NumberFormat;
import javax.swing.DefaultListCellRenderer;
import javax.swing.JList;

public class OverrideBug extends DefaultListCellRenderer {

  private static final NumberFormat format = NumberFormat.getCurrencyInstance();

  @Override
  public Component getListCellRendererComponent(
      JList<?> list,
      Object value, // <-- Line 13, error here
      int index,
      boolean isSelected,
      boolean cellHasFocus
  ) {
    if (value instanceof Double) {
      value = format.format((Double) value);
    }
    return super.getListCellRendererComponent(
        list, value, index, isSelected, cellHasFocus
    );
  }
}

编译时Checker Framework在第13行抛出错误：

[override.param] Incompatible parameter type for value.

被重写的父类方法签名为：

public Component getListCellRendererComponent(
    JList<?> list,
    Object value,
    int index,
    boolean isSelected,
    boolean cellHasFocus
)

从Java语法层面看，子类方法签名与父类完全匹配，但Checker Framework仍判定参数类型不兼容。

错误原因 #

Checker Framework的类型检查逻辑比Java原生语法更严格，它会验证方法参数的**类型限定符（Type Qualifier）**是否与父类保持一致。例如父类方法中的value参数可能被标记了@Nullable（或其他Checker Framework支持的类型注解），而子类重写时未显式声明该注解，导致Checker Framework认为子类参数的类型（默认非null的Object）与父类的@Nullable Object不兼容，从而触发[override.param]错误。

Java仅检查参数的原始类型匹配，而Checker Framework会深入验证注解层面的类型兼容性，这是问题的核心原因。

修复方案 #

方案1：显式添加与父类一致的类型注解 #

找到父类方法中value参数对应的类型注解（比如@Nullable），在子类参数上添加相同注解：

import org.checkerframework.checker.nullness.qual.Nullable;
// 其他导入保持不变

public class OverrideBug extends DefaultListCellRenderer {

  private static final NumberFormat format = NumberFormat.getCurrencyInstance();

  @Override
  public Component getListCellRendererComponent(
      JList<?> list,
      @Nullable Object value, // 添加父类对应的类型限定注解
      int index,
      boolean isSelected,
      boolean cellHasFocus
  ) {
    if (value instanceof Double) {
      value = format.format((Double) value);
    }
    return super.getListCellRendererComponent(
        list, value, index, isSelected, cellHasFocus
    );
  }
}

需根据实际使用的Checker类型引入对应注解包（上述示例针对Nullness Checker）。

方案2：使用Checker Framework的增强版@Override注解 #

引入Checker Framework提供的@Override注解（区别于Java原生注解），它会自动继承父类参数的类型限定符：

import org.checkerframework.framework.qual.Override;
// 其他导入保持不变

public class OverrideBug extends DefaultListCellRenderer {

  private static final NumberFormat format = NumberFormat.getCurrencyInstance();

  @SuppressWarnings("overloads") // 规避Java原生@Override的冲突提示
  @Override
  public Component getListCellRendererComponent(
      JList<?> list,
      Object value,
      int index,
      boolean isSelected,
      boolean cellHasFocus
  ) {
    if (value instanceof Double) {
      value = format.format((Double) value);
    }
    return super.getListCellRendererComponent(
        list, value, index, isSelected, cellHasFocus
    );
  }
}

该方案需确保项目已引入Checker Framework的注解依赖。

内容的提问来源于stack exchange，提问作者MiguelMunoz