4.2.6 고급 반복자: 간략한 개요

앞선 절들에서는 Ada의 기본적이고 가장 흔한 루프 구문들을 다루었습니다. 하지만, 언어의 반복 능력은 이러한 형태들을 훨씬 넘어서, 데이터 구조를 순회하기 위한 표현력 있고, 타입-안전하며, 확장 가능한 패턴들을 제공합니다. 이러한 고급 기능들은 프로그래머가 자신만의 타입을 위한 사용자 정의 반복 동작을 정의하고, 고급 반복 제어 메커니즘을 사용할 수 있게 합니다.

이 절은 이러한 고급 개념들에 대한 높은 수준의 소개를 제공합니다. 상세한 구현 예제를 포함한 포괄적인 처리는 6장 고급 반복과 컨테이너 설계에서 제시됩니다.

일반화된 반복자 (Generalized Iterators)

for element of container 구문이 배열이나 컨테이너의 원소들을 순회하는 직접적인 방법을 제공하는 반면, Ada는 일반화된 반복자를 사용하는 더 명시적인 형태의 반복도 지원합니다. 이 형태는 컨테이너 객체와 of 키워드를 사용하는 대신, 반복자 객체와 in 키워드를 사용합니다.

이 패턴은 한 타입이 여러 가지 순회 방법을 제공할 때(예: 정방향, 역방향, 또는 키-값 순회) 또는 반복 로직이 컨테이너의 기본 동작이 되기에는 너무 복잡할 때 유용합니다.

개념적 구문:

-- My_Container. Iterate는 반복자 객체를 반환
for item in My_Container. Iterate (Mode => By_Value) loop
  -- item 처리
  null;
end loop;

이 구조에서 My_Container. Iterate는 반복자 객체를 반환하는 함수이며, for ... in 루프는 이 객체를 사용하여 시퀀스를 순회합니다.

절차적 반복자 (Procedural Iterators)

절차적 반복자는 루프의 제어를 역전시키는 독특한 반복 패턴입니다. 루프가 컨테이너로부터 값을 가져오는 대신, 루프는 자신의 본문을 프로시저 파라미터로써 실행을 제어하는 반복 프로시저에게 제공합니다.

루프 본문은 암묵적으로 프로시저에 대한 접근 값으로 변환되어 지정된 프로시저에 전달됩니다. 이는 환경 변수 순회와 같이 Ada 표준 라이브러리의 일부에서 사용되는 매우 다용도의 패턴입니다.

개념적 구문:

-- Iterate는 프로시저에 대한 접근을 받는 프로시저
for (name, value) of Ada.Environment_Variables.Iterate loop
  put_line (name & "=" & value);
end loop;

이는 구문적으로 루프 본문을 위한 지역 프로시저를 선언하고, 그 'Access 속성을 Iterate 프로시저에 전달하는 것과 동일합니다. 이 수준의 추상화는 6장에서 상세히 다루어질 것입니다.

반복 가능한 타입 메커니즘 (The Iterable Type Mechanism)

사용자 정의 컨테이너 타입에 대해 직접적인 for...of...구문을 사용하는 능력은 내장된 것이 아니라, 주로 Ada.Iterator_Interfaces에 정의된 애스펙트와 같은 언어 기능들에 의해 활성화됩니다. 프로그래머는 Default_Iterator나 Iterator_Element와 같은 애스펙트를 사용자 정의 타입에 명시함으로써, 해당 타입을 Ada의 반복 프레임워크에 직접 통합할 수 있습니다. 이 메커니즘은 새롭고, 재사용 가능하며, 효율적인 반복 가능 컨테이너를 만드는 데 필수적입니다.

이러한 고급 능력들은 Ada 반복 모델의 구조적인 설계를 보여주며, 기본 루프부터 완전히 사용자화 가능한, 타입-안전한 순회 패턴에 이르기까지 여러 추상화 계층을 제공합니다. 이 기능들의 사용 및 구현에 대한 완전한 가이드는 6장을 참조하십시오.

https://nimfsoft.art/ko/books/ada-programming/#426-%EA%B3%A0%EA%B8%89-%EB%B0%98%EB%B3%B5%EC%9E%90-%EA%B0%84%EB%9E%B5%ED%95%9C-%EA%B0%9C%EC%9A%94

님프소프트 - Ada 프로그래밍

님프소프트 - Ada 프로그래밍

nimfsoft.art