先决条件 在计算机编程中先决条件或先验条件指在执行一段代码前必须成立的条件 如果先决条件被违反了则代码将产生未定义行为因此其预期的工作能否履行也是未知的不正确的先决条件还可能引发安全问题 通常先决条件包括在关于这段代码的文档中有时它可通过特定的语法结构如卫语句或断言在代码中进行检测 例如阶乘只定义于自然数大于等于零的整数因此计算阶乘的程序将会假定输入的值是一个整数并且它大于等于零这就是一个先决条件