在Java中，对方法参数施加约束，除了它们的数量和类型之外，[duplicate]

Question

我试图定义一个返回数组的方法（称为“range”）。我传递两个整数，比如m和n，它返回一个长度数组(n-m)，如下表所示：隐式地，我假设n大于m。但我想明确地强加这个条件。有没有办法把这种条件强加给方法的论证？

public static int[] range(int m, int n) {
    int[] r=new int[n-m];
    for(int i=0; i<n-m; i++)
        r[i]=m+i;

    return r;
}

Answer 1

您试图静态地（在编译时）确保依赖于仅在运行时可用的信息的后置条件。这个概念称为依赖类型。通常，依赖类型检查是不可判定的。因此，如果您有一种支持依赖类型检查的语言，则可以编写一个类型检查器无法判断其类型是否正确的程序。这种语言的一个例子是Idris，它类似于Haskell。Idris是一种仅用于研究的语言，以了解如何在编程中实际使用依赖类型（依赖类型是自动定理证明者的一个众所周知的概念）。

据我所知，Java没有依赖类型检查，因此您只能动态地（在运行时）检查前置和后置条件，例如，如果发生意外情况，则抛出异常。