명령형 언어 – 조건 표현식

Ada 2012 버전에서는 조건문(if 문과 case 문)에 대응하는 표현식(expression)을 도입했습니다.

If 표현식 (If expressions)

다음은 이전에 살펴본 예제를 다른 방식으로 작성한 버전입니다. 여기서는 if 문(statement)이 if 표현식(expression)으로 대체되었습니다:

with Ada.Text_IO;         use Ada.Text_IO;

with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;

procedure Check_Positive is

   N : Integer;

begin

   Put ("Enter an integer value: ");

   Get (N);

   Put (N);

   declare

      S : constant String :=

        (if N > 0

           then " is a positive number"

           else " is not a positive number");

   begin

      Put_Line (S);

   end;

end Check_Positive;

Code language: PHP (php)

if 표현식은 N의 값에 따라 두 개의 문자열(String) 중 하나로 평가되며, 그 결과값을 지역 변수 S에 할당합니다.

Ada의 if 표현식은 if 문(statement)과 유사합니다. 하지만, 이것이 (문이 아닌) 표현식(expression)이기 때문에 발생하는 몇 가지 차이점이 있습니다:

• 모든 분기(branch)의 표현식은 반드시 동일한 타입(type)이어야 합니다.

• 만약 if 표현식을 둘러싸는 더 큰 표현식에 이미 괄호가 사용되지 않았다면, if 표현식 자체는 반드시 괄호로 묶어야 합니다.

• then 다음의 표현식이 Boolean 타입이 아니라면, else 분기는 반드시 있어야 합니다. 만약 then 다음의 표현식이 Boolean 타입이라면, else 분기는 선택 사항이며 생략할 경우 기본적으로 else True로 처리됩니다.

다음은 또 다른 예제입니다:

with Ada.Text_IO; use Ada.Text_IO;

procedure Main is

begin

   for I in 1 .. 10 loop

      Put_Line (if I mod 2 = 0

                  then "Even"

                  else "Odd");

   end loop;

end Main;

Code language: Ada (ada)

이 프로그램은 “Odd”와 “Even”을 번갈아 가며 총 10줄을 출력합니다.

Case 표현식 (Case expressions)

If 표현식과 유사하게, Ada에는 case 표현식도 있습니다. 여러분이 예상하시는 방식 그대로 동작합니다.

with Ada.Text_IO; use Ada.Text_IO;

procedure Main is

begin

   for I in 1 .. 10 loop

      Put_Line

        (case I is

         when 1 | 3 | 5 | 7 | 9  => "Odd",

         when 2 | 4 | 6 | 8 | 10 => "Even");

   end loop;

end Main;

Code language: Ada (ada)

이 프로그램은 이전 예제와 동일하게 동작합니다.

문법은 case 문(statement)과는 다르며, 각 분기(branch)가 쉼표(comma)로 구분됩니다.

이 문서는 ‘Introduction to Ada'(저자: Raphaël Amiard, Gustavo A. Hoffmann, © AdaCore 2018–2024)를 Google Gemini가 한국어로 번역한 것입니다. 원저작물과 동일하게 CC BY 4.0 라이선스가 적용됩니다.