아래의 코드는 메소드 참조 타입의 속성을 사용하여 이벤트로서 동작하는 예제입니다.

변수 바인딩 메커니즘

메모리 누수(memory leak)가 발생하는 것을 피하기 위해, 변수의 바인딩 과정을 더 자세 히 알아보는 것도 유용합니다.

프로시저, 함수 혹은 메소드(이하“루틴”)의 시작 부분에서 정의된 지역 변수들은 일반적으 로 해당 루틴이 활성인 상태에서만 존재합니다. 익명 메소드는 이런 변수들의 수명을 늘릴 수 있습니다.

익명 메소드가 자신의 바디 내에서 외부의 지역 변수를 참조하면, 그 변수는“캡쳐 (capture)”됩니다. 캡쳐는 변수의 수명을 연장하는 것을 의미하므로, 선언된 루틴과 함께 사라지지 않고 익명 메소드 값만큼의 수명을 가지게 됩니다. 변수 캡쳐는 값이 아니라 변수 를 캡쳐한다는 것에 주의하십시오. 익명 메소드를 구축하여 변수가 캡쳐된 후에 그 값이 변 경되면, 익명 메소드가 캡쳐한 변수의 값도 변경됩니다. 이것은 두 변수가 동일한 메모리에 존재하는 동일 변수이기 때문입니다. 캡쳐된 변수는 스택이 아닌 힙에 저장되게 됩니다. 익명 메소드 값은 메소드 참조 타입이며 참조 카운트가 됩니다. 지정한 익명 메소드 값에 대 한 마지막 메소드 참조가 유효 범위를 벗어나면, 혹은 제거(nil로 초기화)되거나 종료화 (finalize)되면, 그 익명 메소드가 캡쳐한 변수들은 마침내 유효 범위를 벗어나게 됩니다.

이 상황은 여러 익명 메소드가 동일한 지역 변수를 캡쳐하는 경우에 더욱 복잡해집니다. 모 든 상황에서 이 동작이 어떻게 이루어지는지 이해하려면, 익명 메소드 구현의 역학에 대해 더욱 세세하게 따져볼 필요가 있습니다.

지역 변수가 캡쳐될 때마다 그 지역 변수는 선언중인 루틴과 연관되는“프레임 객체”에 추 가됩니다. 한 루틴에서 선언된 모든 익명 메소드는 포함하는 루틴과 연관된 프레임 객체에 서 메소드로 변환됩니다. 마지막으로, 익명 메소드가 구축되어서 혹은 변수가 캡쳐되어서 생성된 모든 프레임 객체들은, 부모 프레임이 존재하고 캡쳐된 외부 변수를 액세스할 필요 가 있을 경우, 또다른 참조에 의해 부모 프레임에 연결됩니다. 하나의 프레임 객체로부터 그 부모로의 이런 연결은 레퍼런스 카운트가 됩니다. 부모 루틴으로부터 변수를 캡쳐하는 중첩 된 지역 루틴에서 선언된 익명 메소드는 그 자신이 유효범위를 벗어날 때까지 부모 프레임 객체가 유효하도록 유지합니다.

예를 들면, 다음과 같은 상황을 생각해봅시다.

각 루틴과 익명 메소드에는 어떤 프레임 객체가 어디에 링크되는지를 알아보기 쉽도록 프레 임 식별자로 주석을 달았습니다.

• v1은 F1 내의 변수입니다.
• v2는 F1_2 내의 변수입니다. (F1_2_1에 의해 캡쳐됨) 
• F1_1_1의 익명 메소드는 F1_1 내의 메소드입니다. 
• F1_1은 F1에 링크됩니다. (F1_1_1이 v1을 사용함) 
• F1_2의 익명 메소드는 F1 내의 메소드입니다. 
• F1_2_1의 익명 메소드는 F1_2 내의 메소드입니다.

프레임 F1_2_1 및 F1_1_1은 프레임 객체를 필요로 하지 않는데, 그것은 이 프레임들은 익 명 메소드를 선언하지도 않고 캡쳐되는 변수를 갖지도 않기 때문입니다. 이 프레임들은 중 첩된 익명 메소드와 바깥의 캡쳐된 변수 사이에서 부모 지위를 가질 패스가 전혀 없습니다. (이들은 스택에 저장되는 암시적인 프레임을 갖습니다.)

익명 메소드 F1_2_1에 참조만 주어지면 변수 v1와 v2는 수명이 유지됩니다. 만약 F1의 호 출보다 더 오래 남아있는 유일한 참조가 F1_1_1이라면, 변수 v1만이 살아 남습니다. 메소드 참조/프레임 연결 체인 내에서 메모리 누수를 일으키는 순환(cycle)이 생길 수 있습 니다. 예를 들면, 익명 메소드를 직접 혹은 간접적으로 익명 메소드 자신이 캡쳐하는 변수에 저장하면 순환이 일어나게 되고, 따라서 메모리 누수가 발생됩니다.

참조링크

http://tech.devgear.co.kr/devgearbook

델파이 프로그래밍 언어 - 엠바카데로 저 | 박지훈 역 (2009년)