# Precondition

> 프로그래밍에서 사전조건(precondition)이란 코드의 특정 영역(주로 함수)이 정상적으로 실행되기 위해서 반드시 만족되어야 하는 조건들의 목록이다.

<프로그래밍>에서 사전조건(precondition)이란 코드의 특정 영역(주로 함수)이 정상적으로 실행되기 위해서 반드시 만족되어야 하는 조건들의 목록이다.

## See also

- <사후조건>
- <불변값>
- <계약 중심 설계>: 사전조건, 사후조건, 불변값의 의미론을 "계약"이라는 개념으로 구체화한 설계 방법.
- [Guard clauses](https://wiki.g15e.com/pages/Guard%20clauses.txt): 함수 시작 부분에서 사전조건을 명시적으로 검사하기