조건·반복·함수·스코프

코드는 위에서 아래로만 한 번 실행되지 않는다

재고가 있으면 주문하고 없으면 알림을 보내며, 여러 상품을 차례로 검사하고, 반복되는 계산을 이름 붙인 처리로 묶는다. 이때 프로그램은 조건에 따라 갈라지고, 종료조건까지 되돌아가며, 함수를 호출했다가 원래 위치로 돌아온다. 어느 이름이 어디에서 보이는지도 정하지 않으면 서로 다른 계산이 값을 덮어쓴다.

제어흐름은 실행 경로를, 함수는 경로의 일부를 재사용 가능한 단위로, 스코프는 그 안에서 이름이 보이는 범위를 만든다.

먼저 되짚기: 조건은 값을 읽고 반복은 값을 바꾼다

변수는 값을 가리키거나 보관하도록 이름 붙인 요소였다. 조건은 변수의 현재 값을 비교해 다음 경로를 고르고, 반복은 변수나 입력 상태를 바꾸며 종료조건에 가까워진다. 이름과 값의 구분이 제어흐름을 추적하는 출발점이다.

값의 현재 상태가 다음 실행경로를 고른다

변수의 현재 상태를 조건으로 읽어 분기·반복의 다음 실행 위치를 고른다. 함수 호출은 처리단위로 이동했다가 반환 지점으로 돌아오며, 이름의 스코프는 호출 안팎에서 어떤 이름을 볼 수 있는지 제한한다. 배송비 예제의 실제 가상 코드와 회차별 풀이로 이 관계를 추적한다.

제어흐름

제어흐름은 조건·반복·호출에 따라 다음 실행 위치가 정해지는 흐름이다. 순차는 다음 문장으로, 분기는 조건 결과에 맞는 경로로, 반복은 종료조건을 만족할 때까지 이전 지점으로, 함수 호출은 다른 처리단위로 이동했다가 반환 지점으로 돌아간다.

함수 전에 제어흐름을 다시 잇는다

제어흐름은 조건·반복·호출에 따라 다음 실행 위치가 정해지는 흐름이다. 함수 호출은 이 흐름을 별도 처리단위로 이동시켰다가 반환 지점으로 되돌린다.

호출도 실행경로의 한 간선이다

함수를 호출하면 인자를 전달하고 함수 본문으로 이동한 뒤 결과나 효과를 남기고 호출 위치로 돌아온다. 호출 전후의 상태와 반환 경계를 함께 추적한다.

함수

함수(function)는 입력 매개변수와 상태를 받아 결과나 효과를 만드는 재사용 가능한 처리단위다. 매개변수는 호출자가 전달할 입력의 자리를, 반환값은 호출자에게 돌려줄 결과를 정한다. 파일 저장처럼 함수 밖의 상태를 바꾸는 효과가 있을 수도 있으며, 이 효과는 계약에 드러나야 한다.

스코프 전에 함수의 이름 경계를 다시 잇는다

함수는 입력과 결과·효과를 가진 호출 단위다. 함수 안에서 쓰는 매개변수와 지역 이름이 바깥 이름과 어떻게 구분되는지 스코프가 정한다.

같은 이름이 같은 저장값을 뜻하지 않을 수 있다

바깥 total과 함수 안의 지역 total이 같은 철자라도 서로 다른 이름 연결일 수 있다. 스코프와 객체 수명을 구분한다.

스코프

스코프(scope)는 프로그램의 이름을 참조할 수 있는 코드 영역이다. 함수 안에서 선언한 지역 이름은 보통 그 함수 본문이나 더 작은 블록에서만 참조할 수 있다. 바깥 이름과 같은 이름을 안에서 다시 선언하면 가까운 이름이 바깥 이름을 가릴 수 있다. 값이나 객체가 실제로 존재하는 기간인 수명(lifetime)은 스코프와 별개다. 예를 들어 함수 안의 지역 변수 이름은 반환 뒤 보이지 않지만, 그 변수가 가리키던 객체가 다른 곳에서도 참조되면 객체의 수명은 계속될 수 있다.

여러 주문의 배송비를 계산하는 흐름

함수 배송비(금액):
    만약 금액 >= 50000 이면 0을 반환
    아니면 3000을 반환

총배송비 = 0
각 주문을 반복:
    지역 변수 fee = 배송비(주문.금액)
    총배송비 = 총배송비 + fee
반복 종료 후 총배송비 출력

각 주문을 처리할 때 조건이 무료배송과 유료배송 경로를 나눈다. 함수 호출은 주문 금액을 매개변수로 전달하고 계산 결과를 반환한다. fee는 한 번의 반복에서 현재 주문의 배송비를 가리키며 해당 회차의 좁은 스코프 안에서 사용되고, 총배송비는 반복 전체에서 누적된다. 반복이 끝나려면 처리할 주문 수가 줄어드는 진행과 종료조건이 있어야 한다.

이 가상 코드에서 >=는 “크거나 같다”, 주문.금액의 점은 현재 주문 기록의 금액 항목을 찾으라는 뜻이다. fee = 배송비(주문.금액)는 먼저 현재 금액을 함수에 넘기고 함수가 반환한 숫자를 fee에 연결한다. 총배송비 = 총배송비 + fee는 이전 총배송비를 읽어 fee를 더한 새 값을 다시 연결하므로 수학적 등식의 선언이 아니다. 아래 예에서 첫 주문은 30000>=50000이 거짓이어서 함수가 3000을 돌려주고, 두 번째는 참이어서 0을 돌려준다.

CF-1: 세 주문을 실제 실행순서로 추적한다

주문 금액이 [30000, 70000, 120000]이고 shipping(amount)가 50000원 미만 3000원, 그 이상 무료라고 하자.

반복 종료조건이 잘못되어 네 번째 인덱스까지 읽으면 실제 주문이 아닌 위치에 접근한다. 함수 안에서 total이라는 지역 이름을 새로 선언했다면 바깥 누적 total과 같은 이름이라고 같은 값을 자동 갱신하지 않는다.

인덱스는 목록에서 항목을 찾는 위치 번호다. 이 예에서 0부터 번호를 붙이면 세 주문의 번호는 0·1·2이고 다음 위치 3에는 주문이 없다. 현재 번호 i를 0으로 시작하고 i<3일 때 처리한 뒤 i를 1씩 늘리면 검사값은 0(처리), 1(처리), 2(처리), 3(종료)이 된다. i<=3으로 바꾸면 없는 네 번째 항목도 처리하므로 경계에서 한 번 더 또는 덜 처리하는 오류(off-by-one)다. 0개 목록에서는 시작 번호 0이 길이 0보다 작지 않아 본문을 한 번도 실행하지 않으며 누적 초깃값 0을 출력한다.

return은 현재 함수의 처리를 마치고 호출한 곳으로 돌아간다는 표시다. 배송비 함수 안의 return은 현재 주문의 배송비만 돌려주고 다음 주문 반복은 계속된다. 반대로 전체 주문을 처리하는 함수의 반복 안에서 return을 실행하면 그 함수 자체가 끝나 남은 주문은 처리되지 않는다. 교육용 검증 정책을 “음수 금액은 오류 기록 후 그 주문만 건너뛴다”로 정하면 [30000,-1,70000]은 첫 주문 3000, 둘째 오류, 셋째 0을 처리해 최종 3000이다. 건너뛰기는 다음 회차로 계속한다는 뜻이며 전체 중단과 구분한다. 함수 내부에서 total이라는 별도 지역 변수를 0으로 만들더라도 바깥 누적값 3000은 자동으로 바뀌지 않는다.

구조를 고르는 질문

함수는 짧기만 하면 좋은 것이 아니다. 하나의 설명 가능한 책임을 가지며 입력과 결과가 분명해야 한다. 스코프는 가능한 한 좁게 두면 이름 충돌과 뜻밖의 변경을 줄이지만, 여러 곳에서 공유해야 하는 상태까지 매번 복사하면 일관성 문제가 생길 수 있다. 공유가 필요하면 소유자와 변경 경로를 명시한다.

실패조건과 방어

빠진 분기는 경계값과 예상하지 못한 상태를 처리하지 않는다. 조건표로 가능한 조합과 기본 실패 경로를 확인한다.

끝나지 않는 반복은 진행값이 바뀌지 않거나 종료조건에 도달할 수 없을 때 생긴다. 반복마다 무엇이 줄거나 늘어 종료에 가까워지는지 적는다.

숨은 함수 효과는 조회처럼 보이는 함수가 전역 상태나 파일을 바꾸는 경우다. 입력·반환값과 함께 외부 효과를 계약에 드러낸다.

넓은 스코프는 먼 코드가 같은 변수를 바꿔 원인을 찾기 어렵게 한다. 필요한 최소 범위에 선언하고 변경을 한 책임으로 모은다.

이름 가리기는 안팎에서 같은 이름이 서로 다른 값을 가리키는 경우다. 의미가 다른 값에는 다른 이름을 쓰고 도구의 경고를 활용한다.

자체 10점 문제

조건·반복·함수·스코프의 관계를 설명하시오.

요구어는 설명이다. 실행순서와 호출경계, 이름의 가시성을 실제 trace와 연결한다.

자체 25점 문제

다수 주문을 검증·계산하는 처리흐름을 설계하고 off-by-one·조기 반환·이름 가림 오류를 통제하시오.

요구어는 설계, 통제다. 정상/오류 경로와 함수·스코프를 함께 제시한다.

출처와 적용 경계

본문은 안정된 제어흐름·함수·스코프 개념과 자체 배송비 예를 사용한다. 조건·반복의 실행과 호출한 함수에서의 반환은 Python Language Reference §8.1~8.3와 §7.6 return의 구체 언어 사례로 확인할 수 있다. 배송비 가상 코드가 Python의 실제 문법이라는 뜻은 아니다. 세부 스코프·클로저·반복 문법은 언어별 사양을 확인한다.

30초 정리

1. 제어흐름은 순차·분기·반복·호출로 다음 실행 위치를 정한다.
2. 함수는 입력·결과·효과를 가진 재사용 처리단위이고, 스코프는 이름을 참조할 수 있는 영역을 제한한다. 객체가 존재하는 수명과는 구분한다.
3. 분기 완전성, 반복 종료, 함수의 숨은 효과, 과도하게 넓은 스코프를 점검한다.

자기교정과 조건 변경

주문이 0건이면? 반복 본문이 한 번도 실행되지 않고 초기 누적값이 결과인지 확인한다.

무료 기준이 50000원 이하로 바뀌면? 비교연산자 경계와 50000원 테스트 기대값을 함께 바꾼다.

오류 주문 하나에서 전체 중단한다면? continue형 정책이 아니라 함수/작업 종료 경로로 답안과 테스트를 바꾼다.