Delphi [델파이 문법] 문법 요소 #15
2012.12.25 03:05
블럭과 유효 범위
선언과 문장으로 구성되는 블럭은 레이블과 식별자에 대한 지역적인 네임스페이스, 또는 유
효 범위(scope)를 정의합니다. 블럭은 변수 이름 등의 식별자는 프로그램의 다른 곳에서 다
른 의미를 가질 수 있게 해줍니다. 모든 블럭은 프로그램, 함수나 프로시저의 선언의 일부이
며, 각 프로그램, 함수 또는 선언은 하나의 블럭을 가집니다.
블럭
블럭(block)은 일련의 선언들과 그 뒤를 이은 복합문으로 구성됩니다. 모든 선언은 블럭의
시작 부분에 함께 나타나야 합니다. 그러므로 블럭의 형식은 다음과 같습니다.
예를 들어, 다음과 같은 함수 선언에서
declarations 영역에는 변수, 상수(리소스 문자열 포함), 타입, 프로시저, 함수, 레이블 등을
순서에 상관없이 선언합니다. 프로그램 블럭에서는 declarations 섹션이 하나 혹은 둘 이상
의 exports 절을 포함할 수도 있습니다(10장“DLL과 패키지”참조).
예를 들어, 다음과 같은 함수 선언에서
선언의 첫 번째 행은 함수 헤더 부분이며 나머지 행들이 블럭을 구성합니다. Ch, L, Source,
Dest는 지역 변수로서, 그 선언은 오직 UpperCase 함수 블럭에만 적용되며, 이 블럭에서는
프로그램 블럭이나 유닛의 인터페이스/임플먼테이션 섹션에서 선언된 동일 이름의 식별자들
이 있더라도 오버라이드, 즉 다른 선언들을 무시하고 우선하게 됩니다.
유효 범위
유효 범위
변수나 함수 이름과 같은 식별자는 선언의 유효 범위(scope) 내에서만 사용될 수 있습니다.
유효 범위는 선언의 위치에 따라 결정됩니다. 프로그램, 함수, 프로시저의 선언 내에서 선언
된 식별자는 선언된 블럭에만 제한되는 유효 범위를 가집니다. 유닛의 인터페이스 섹션에서
선언된 식별자의 유효 범위는 그 유닛을 사용(uses)하는 다른 유닛 혹은 프로그램까지 포함
됩니다. 작은 유효 범위를 가지는 식별자, 특히 함수와 프로시저에서 선언된 식별자를 지역
(local)이라고 하고, 넓은 범위를 가지는 식별자를 전역(global)이라고 합니다.
식별자 범위를 정하는 규칙은 다음과 같이 요약할 수 있습니다.
이름 충돌
하나의 블럭이 다른 블럭을 둘러싸는 경우, 둘러싸는 블럭을 외부 블럭(outer block)이라 하
고 둘러싸인 블럭을 내부 블럭(inner block)이라고 합니다. 외부 블럭에서 선언된 식별자가
내부 블럭에서 다시 선언되는 경우, 내부 블럭의 영역 안에서는 내부 선언이 외부 블럭보다
우선하며 식별자의 의미를 결정합니다. 예를 들어, 사용자가 유닛의 인터페이스 섹션에서
MaxValue라는 변수를 선언하고, 그 유닛 내의 함수 선언에서 같은 이름으로 새로운 변수를
선언하는 경우, 그 함수 블럭에서는 한정자가 없는 MaxValue는 지역 선언인 두 번째 변수
로 인식됩니다. 마찬가지로, 다른 함수 내에서 선언된 함수는, 외부 함수가 사용하는 식별자
가 로컬로 다시 선언될 수 있는 새로운 내부 유효 범위(inner scope)가 됩니다.
유닛을 여러 개 사용하면 유효 범위의 정의가 더 복잡해집니다. uses 절에 나열된 각 유닛은
그 뒤의 유닛 리스트와 그 uses 절을 포함하는 프로그램이나 유닛을 포함하는 새로운 유효
범위를 만듭니다. uses 절에서 첫 번째 유닛은 가장 외부 범위를 나타내고, 그 다음의 유닛
한정된 식별자(“식별자”절의“한정된 식별자”를 참조) 또는 with 문(“선언과 문장”절의
들은 각각 이전 범위 내부의 새로운 범위를 나타냅니다. 두 개 이상의 유닛이 각각의 인터페
이스 섹션에서 같은 식별자를 선언하는 경우, 식별자에 대해 한정되지 않은 참조는 가장 내
부 유효 범위(innermost scope) 즉, 참조 자체가 나타나는 유닛에서 선언을 선택하거나, 그
유닛이 식별자를 선언하지 않는 경우 식별자에 대한 uses 절의 유닛 리스트에서 해당 식별
자를 선언한 마지막 유닛이 지정됩니다.
System 유닛과 SysInit 유닛은 자동으로 모든 프로그램과 유닛에서 사용(uses)됩니다.
System 유닛의 선언들은 이미 정의된 타입, 루틴, 컴파일러가 자동으로 이해하는 상수들와
함께 항상 가장 외부 범위를 가집니다.
한정된 식별자(“식별자”절의“한정된 식별자”를 참조) 또는 with 문(“선언과 문장”절의
“with 문”참조)을 사용하면 이러한 유효 범위에 관한 규칙들을 뛰어넘어서 내부 선언을 무
시할 수 있습니다.
