C++로 구현하는 상태 패턴: 객체의 동적 행동 전환

상태 패턴의 개념과 주요 응용 분야

상태 패턴은 행위 디자인 패턴 중 하나로, 객체 내부의 상태 변화에 따라 그 행동을 동적으로 변경할 수 있게 해줍니다. 이 패턴은 마치 객체가 클래스 자체를 바꾼 것처럼 보이게 하며, 조건문 기반의 복잡한 제어 흐름을 캡슐화하여 코드의 유지보수성과 확장성을 높입니다. 대표적인 적용 사례로는 주문 처리 시스템(예: 결제 대기, 배송 완료, 거래 종료), 엘리베이터 제어 로직, 네트워크 연결 관리 등 다양한 상태 전이가 필요한 시스템이 있습니다.

추상 상태 인터페이스 설계

상태 패턴의 핵심은 추상 상태 인터페이스에 있습니다. 이 인터페이스는 모든 구체적인 상태 클래스들이 공통으로 따라야 할 계약을 정의하며, 컨텍스트 객체가 특정 구현에 의존하지 않고도 다양한 상태와 상호작용할 수 있도록 합니다. 이를 통해 OCP(개방-폐쇄 원칙)와 DIP(의존 역전 원칙)를 자연스럽게 준수할 수 있습니다.

#pragma once
#include <memory>

class GateContext;

class GateState {
public:
    virtual ~GateState() = default;
    
    virtual void open(GateContext* context) = 0;
    virtual void close(GateContext* context) = 0;
    virtual void lock(GateContext* context) = 0;
    virtual void unlock(GateContext* context) = 0;
};

virtual ~GateState(): 파생 클래스의 소멸자가 올바르게 호출되도록 가상 소멸자를 선언합니다.
모든 메서드는 GateContext*를 매개변수로 받아 상태 전이 또는 공유 데이터 접근을 위한 콜백을 수행합니다.
인터페이스는 오직 현재 상태에서의 반응만을 정의하며, 상태 전이 로직이나 부가 기능(예: 로깅)은 포함하지 않습니다.

구체적인 상태 클래스 구현

각각의 실제 상태는 추상 인터페이스를 상속받아 자신만의 행동을 정의합니다. 예를 들어, 문이 열린 상태에서는 다시 여는 동작이 무시되고, 닫기 요청에만 응답하도록 구현할 수 있습니다.

class OpenState : public GateState {
public:
    void open(GateContext* context) override {
        std::cout << "문이 이미 열려 있습니다.\n";
    }

    void close(GateContext* context) override {
        std::cout << "문을 닫는 중...\n";
        context->setNextState(std::make_unique<ClosedState>());
    }

    void lock(GateContext* context) override {
        std::cout << "문이 열려 있어 잠글 수 없습니다.\n";
    }

    void unlock(GateContext* context) override {
        std::cout << "문이 열려 있어 해제할 필요가 없습니다.\n";
    }
};

비슷한 방식으로 ClosedState와 LockedState 클래스를 구현하며, 각 상태는 자신에게 적절한 동작과 전이 규칙을 캡슐화합니다. 특히 LockedState는 잠금 해제 시 권한 검사를 추가로 수행할 수 있습니다.

컨텍스트 클래스 설계 및 상태 전환 메커니즘

컨텍스트 클래스는 현재 상태를 보유하고 있으며, 클라이언트로부터 들어오는 요청을 현재 상태 객체에 위임하는 중재자 역할을 합니다. 이 클래스는 상태 변화의 중심이며, 상태 간의 전환을 안전하게 관리합니다.

class GateContext {
private:
    std::unique_ptr<GateState> currentState;

public:
    GateContext() : currentState(std::make_unique<ClosedState>()) {}

    void setNextState(std::unique_ptr<GateState> newState) {
        if (newState) {
            currentState = std::move(newState);
            std::cout << "상태가 전환되었습니다.\n";
        }
    }

    void requestOpen() { currentState->open(this); }
    void requestClose() { currentState->close(this); }
    void requestLock() { currentState->lock(this); }
    void requestUnlock() { currentState->unlock(this); }
};

초기 상태로 ClosedState를 설정하여 객체 생성 직후 바로 사용 가능하게 합니다.
std::unique_ptr를 사용해 상태 객체의 소유권을 명확히 하고, 메모리 누수를 방지합니다.
클라이언트는 requestOpen() 같은 간단한 메서드를 호출하기만 하면 되며, 내부에서 어떤 상태인지 전혀 알 필요가 없습니다.

C++ 다형성과 가상 함수 메커니즘 활용

상태 패턴은 C++의 다형성에 크게 의존합니다. 컨텍스트는 GateState 포인터를 통해 구체적인 상태를 참조하지만, 실제 호출되는 메서드는 런타임에 결정됩니다. 이는 가상 함수 테이블(vtable)과 가상 포인터(vptr)를 통한 동적 바인딩 덕분입니다.

컴파일러는 각 GateState 파생 클래스마다 고유한 vtable을 생성합니다.
객체 생성 시, 해당 클래스의 vtable을 가리키는 vptr이 객체 내부에 설정됩니다.
currentState->open(this) 호출 시, 프로그램은 vptr을 통해 실제 OpenState::open()이나 ClosedState::open()을 실행합니다.

이러한 메커니즘은 상태에 따른 행동 분기를 if-else 체인 없이 깔끔하게 해결해주며, 새로운 상태를 추가하더라도 기존 코드를 수정할 필요가 없습니다.

전체 아키텍처 요약 및 실용적 장점

최종적인 설계는 세 가지 주요 구성 요소로 이루어집니다:

GateState: 모든 상태의 공통 인터페이스.
Concrete States: OpenState, ClosedState, LockedState 등 실제 행동을 구현.
GateContext: 현재 상태를 관리하고 클라이언트 요청을 위임.

이 패턴을 사용하면 다음과 같은 이점이 있습니다:

코드 단순화: 복잡한 조건문을 제거하고 책임을 각 상태 클래스에 분산시킵니다.
확장 용이성: 새로운 상태를 추가하려면 새 클래스를 만들고 인터페이스를 구현하기만 하면 됩니다.
테스트 용이성: 각 상태 클래스는 독립적으로 단위 테스트할 수 있습니다.
결합도 감소: 컨텍스트와 구체 상태 간의 의존성이 인터페이스를 통해 느슨하게 연결됩니다.

태그: design-patterns cpp state-pattern Polymorphism uml

5월 26일 22:06에 게시됨

괴물 클럽