1、在计算机编程中，先决条件或先验条件指在执行一段代码前必须成立的条件。2、如果先决条件被违反了，则代码将产生未定义行为，因此其预期的工作能否履行也是未知的。不正确的先决条件还可能引发安全问题。3、通常，先决条件包括在关于这段代码的文档中。有时它可通过特定的语法结构（如警卫或断言）在代码中进行检测。