C++에서 optional 참조가 필요할 때 안전하게 우회하는 패턴

2026. 2. 9. · tech

설정 파서를 짜다 보면 “값이 있을 수도 있고, 없을 수도 있는데 복사는 피하고 싶다”는 요구가 자주 나온다.

처음엔 보통 이렇게 쓰고 싶어진다.

std::optional<const Config&> findConfig(std::string_view key); // 컴파일 에러

하지만 std::optional<T>는 참조 타입을 직접 받을 수 없다. 여기서 무리해서 raw pointer로 밀어붙이면 null 체크 누락, 수명 문제로 바로 사고 난다.

내가 요즘 고정해서 쓰는 방식은 아래다.

#include <optional>
#include <functional>

std::optional<std::reference_wrapper<const Config>>
findConfig(const std::unordered_map<std::string, Config>& table, std::string_view key) {
    auto it = table.find(std::string(key));
    if (it == table.end()) return std::nullopt;
    return std::cref(it->second);
}

void run(const std::unordered_map<std::string, Config>& table) {
    if (auto cfg = findConfig(table, "motor")) {
        use(cfg->get());
    }
}

핵심은 2개다.

없음 상태는 optional로 표현
참조 자체는 reference_wrapper로 감싸기

흔한 오류와 해결

오류 1) 임시 객체를 cref로 감쌈

return std::cref(makeConfig()); // 위험: 임시 수명 종료

반드시 컨테이너 내부의 안정된 객체, 혹은 호출자가 수명을 보장하는 객체만 감싸야 한다.

오류 2) optional 안의 값을 오래 보관

함수 반환 직후 원본 컨테이너가 바뀌면 참조는 무효가 된다. optional<reference_wrapper<...>>는 “소유권 없음”을 더 명확히 드러내는 도구일 뿐, 수명 문제를 해결해주진 않는다.

오류 3) 그냥 pointer로 통일

pointer는 가능하지만 인터페이스 의도가 흐려진다. “값이 없음”과 “참조”라는 두 의미를 함께 전달할 때 optional+reference_wrapper가 코드 리뷰에서 훨씬 읽기 좋다.

짧게 정리하면, 복사 비용을 피하면서도 null/존재 여부를 타입으로 표현하려면 이 조합이 가장 안전하고 실용적이었다.