Java泛型能否使用值而非类型作为参数？值参数化类相关问题

1. Java对该需求的支持情况 #

Java原生不支持你描述的「用整数、对象等非类型值作为类的泛型参数」的能力。Java的泛型（参数化类型）仅支持将类型作为参数传入，不支持将字面量、实例对象这类值作为泛型参数，你贴出的伪代码在Java语法层面无法通过编译。

针对你提到的场景，Java生态中通用的替代实现方案是将差异化的参数作为类的普通成员变量存储，仅在运行期做合法性校验：

/**
 * 固定长度的字符串封装类
 */
public class StringN {
    private final int n;
    private final String str;

    public StringN(int n, String str) {
        if (str.length() != n) {
            throw new IllegalArgumentException("字符串长度不符合要求！");
        }
        this.n = n;
        this.str = str;
    }

    public StringN reduce() {
        return new StringN(n - 1, str.substring(0, str.length() - 1));
    }

    @Override
    public String toString() {
        return str;
    }
}

这种方案的缺点是无法在编译期就完成长度匹配的校验，所有校验逻辑都要到运行期才能触发。你提到的R^n空间、指定元数的函数类需求，也都可以用类似的方式，把n作为类的构造参数传入实现。

2. 该特性的通用编程领域名称 #

这个特性的标准名称是 非类型模板参数（Non-type Template Parameter），也可称为值参数化泛型。你提到的「参数化类」是更宽泛的概念，所有带泛型参数的类都可以叫参数化类，包含了以类型为参数和以值为参数的两类实现，不是该特性的专属名称。

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