利用枚举泛型实现复杂类型校验的技术问询

要在编译期强制put方法的参数类型与枚举对应的paramType匹配，核心是通过泛型绑定枚举常量与参数类型，让编译器自动推断并校验类型。以下是具体修改方案：

1. 重构泛型版ParamList接口 #

把原无泛型接口改为带类型参数的版本，让每个实现类绑定具体参数类型：

interface ParamList<T> {
    Class<T> paramType();
}

2. 修改ParamType枚举实现泛型接口 #

让每个枚举常量单独实现ParamList<T>的具体参数化版本，明确对应参数类型：

enum ParamType {
    FOO implements ParamList<Foo> {
        @Override
        public Class<Foo> paramType() {
            return Foo.class;
        }
    },
    BAR implements ParamList<Bar> {
        @Override
        public Class<Bar> paramType() {
            return Bar.class;
        }
    };
}

3. 调整MessageParams类的put方法 #

修改MessageParams的泛型设计，利用泛型推断实现编译期类型约束：

class MessageParams {
    private final Map<ParamList<?>, Object> args = new HashMap<>();

    // 泛型方法自动匹配枚举对应的参数类型
    public <T> MessageParams put(ParamList<T> key, T value) {
        args.put(key, value);
        return this;
    }

    // 类型安全的get方法
    @SuppressWarnings("unchecked")
    public <T> T get(ParamList<T> key) {
        return (T) args.get(key);
    }
}

效果说明 #

现在调用put方法时，编译器会自动根据传入的枚举常量推断允许的参数类型：

• 合法调用：messageParams.put(ParamType.FOO, new Foo());（编译通过）
• 非法调用：messageParams.put(ParamType.FOO, new Bar());（直接编译报错，提示类型不匹配）

无需显式指定泛型，就能获得准确的类型提示，完全满足编译期类型校验需求。

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