21강. constexpr, enum class, 범위 기반 for: 안전하고 명확한 Modern C++ 문법

?이번 강의에서 해결할 문제

마법 숫자 0·1·2로 상태를 표현하고 인덱스 반복을 직접 작성하면 다른 의미의 정수와 섞이거나 범위를 벗어나기 쉽습니다. Modern C++ 문법은 짧게 쓰기 위한 장식이 아니라 잘못된 표현을 컴파일 단계에서 줄이는 도구입니다.

✓학습 목표

✓이 강의를 마치면

• constexpr와 런타임 const 값을 구분합니다.
• enum class로 상태 이름과 타입 범위를 제한합니다.
• 범위 기반 for에서 값·참조·const 참조 반복을 선택합니다.

◇먼저 알아야 할 핵심 개념

constexpr 변수·함수는 주어진 조건에서 컴파일 시간 평가가 가능함을 나타냅니다. enum class 열거자는 해당 타입 범위 안에 있어 다른 정수나 enum과 암시적으로 섞이지 않습니다. 범위 기반 for는 컨테이너의 시작·끝 반복을 표현하고 원소 복사 여부는 반복 변수 타입이 결정합니다.

§왜 이 문제가 위험한가

일반 enum이나 정수 상태는 서로 다른 도메인의 1을 잘못 비교해도 컴파일될 수 있습니다. 범위 for에서 auto task를 사용하면 큰 작업을 매번 복사하며 수정도 원본에 반영되지 않습니다. 반대로 auto&로 읽기만 하는 코드가 원본을 수정할 가능성을 열어 둡니다.

§가장 작은 예제로 시작하기

modern_syntax.cpp

#include <iostream>
#include <string>
#include <vector>

enum class TaskStatus { Pending, Running, Completed };

constexpr int priorityLimit() noexcept { return 5; }

struct Task {
    std::string name;
    int priority{};
    TaskStatus status{TaskStatus::Pending};
};

int main() {
    static_assert(priorityLimit() == 5);
    const std::vector<Task> tasks{{"build", 3}, {"test", 2}};
    for (const Task& task : tasks) {
        std::cout << task.name << ':' << task.priority << '\n';
    }
}

§코드 한 줄씩 이해하기

1. TaskStatus 값은 반드시 타입 이름 범위로 사용합니다.
2. priorityLimit는 컴파일 시간에도 평가할 수 있는 단순 규칙입니다.
3. static_assert는 조건이 거짓이면 빌드를 막습니다.
4. 읽기 전용 vector 원소는 const Task&로 순회해 복사를 피하고 수정을 막습니다.
5. 상태의 기본값을 명시해 초기화되지 않은 정수를 피합니다.

§실행 결과와 메모리·동작 흐름

build:3, test:2가 출력됩니다. 반복 변수는 각 원소의 읽기 전용 별칭이라 새 Task를 만들지 않습니다. priorityLimit은 컴파일 시간 상수로도 사용할 수 있지만 모든 const 값이 자동으로 constexpr인 것은 아닙니다.

✎단계별 실습

✎직접 실습

실습 목표

마법 숫자 상태와 인덱스 반복을 타입 안전한 표현으로 바꿉니다.

시작 전 상태와 실행 방법

위 코드를 C++17로 빌드하고 경고를 켭니다.

1단계: 최소 코드 작성

enum class와 범위 for로 두 작업을 출력합니다.

2단계: 값 또는 조건을 바꿔 결과 비교

반복 변수를 auto task로 바꾸고 복사 로그 타입으로 복사 여부를 확인한 뒤 const auto&로 되돌립니다.

3단계: 작은 기능 확장

constexpr bool validPriority(int)를 만들고 경계 0, 5, 6을 static_assert와 런타임 테스트로 확인합니다.

4단계: 스스로 해결하기

TaskStatus를 문자열로 바꾸는 switch를 작성하고 새 상태가 추가될 때 compiler warning이 누락을 드러내도록 default 사용 여부를 판단합니다.

막혔을 때

• enum class 값을 정수로 출력하려면 의도를 확인한 뒤 명시적 변환합니다.
• constexpr 함수 안에서 C++17이 허용하지 않는 연산을 사용하지 않습니다.
• 원소를 수정해야 할 때만 auto&, 읽기만 하면 const auto&를 사용합니다.

!흔한 실수와 해결 방법

!자주 하는 실수

• 모든 함수를 constexpr로 만듦: 실제 컴파일 시간 사용과 허용 연산을 먼저 확인합니다.
• enum class를 즉시 int로 변환해 비교: 타입 안전성을 다시 잃습니다.
• 범위 for에서 무심코 값 복사: 원본 수정 여부와 비용에 맞춰 반복 변수 타입을 선택합니다.

§언제 사용하고 언제 피할까

고정된 상태 집합은 enum class, 컴파일 시간에 검증 가능한 순수 규칙은 constexpr, 전체 범위 순회는 범위 for를 사용합니다. 인덱스 자체가 필요하거나 두 범위를 동기화해야 하면 더 적절한 반복 구조를 선택합니다.

§게임 개발 연결

상태·팀·아이템 등급처럼 닫힌 집합과 고정 상수에 같은 원칙을 적용할 수 있습니다. 엔진 Reflection이 필요한 열거형은 별도 매크로 규칙이 있지만 표준 타입 안전성의 목적은 유지합니다.

?이해 점검 질문 3개

1. enum class가 일반 정수 상태보다 잘못된 비교를 줄이는 이유는 무엇인가요?
2. 범위 for에서 const auto&와 auto의 복사 차이는 무엇인가요?
3. const 함수와 constexpr 함수는 어떤 점이 다른가요?

■핵심 요약

■핵심 요약

Modern C++ 문법은 의도와 허용 상태를 타입에 기록합니다. enum class, constexpr와 올바른 반복 참조로 런타임 이전에 오류를 줄입니다.

§다음 강의 연결

22강. 멀티스레드 입문에서 한 줄짜리 증가도 여러 스레드가 공유하면 안전하지 않은 이유를 확인합니다.