使用参数类型约束规避守卫子句的设计概念是否有专属名称？

假设有一个伪代码函数divideTwenty：

fn integer divideTwenty(int divisor) {
   return 20/divisor;
}

该函数简单但易出错，例如除数为0时会出现问题，可添加守卫子句优化：

fn integer divideTwenty(int divisor) {
    if(divisor == 0) { 
        return -1; 
    }
    return 20/divisor;
}

另一种方案是使用NonZeroInteger类型替代int作为参数：

class NonZeroInteger {
    int value;
    fn void init(int allegedNonZeroInteger) {
        if(allegedNonZeroInteger == 0) { throw InvalidArgumentException("Number is zero"); }
        self.value = allegedNonZeroInteger;
    }
}

fn integer divideTwenty(NonZeroInteger divisor) {
    return 20/divisor.value;
}

现咨询：这种为函数参数创建带约束的类型以替代守卫子句的设计方式是否有特定名称？它是否属于类型编程、OOP封装等范畴？

这种设计方式最常用的名称是**“使非法状态不可表示”（Make Invalid States Unrepresentable）**，它是类型驱动设计（Type-Driven Development）的核心原则之一。

从范畴归属来看：

• 属于类型编程的范畴：通过自定义带约束的类型，把原本需要运行时检查的逻辑提前到类型层面，让类型检查环节就能拦截非法输入，利用类型系统保障程序正确性。
• 也符合OOP封装的思想：NonZeroInteger类将“非零”的约束封装在内部，对外仅暴露符合要求的实例，隐藏了验证逻辑，同时确保数据始终处于合法状态。

这种做法的核心优势是用类型系统替代部分运行时断言或守卫子句，让错误更早被发现，同时函数接口的语义更清晰——调用者仅通过参数类型就能明确知道必须传入非零整数，无需依赖文档或注释理解约束。

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