# C++ 타입 추론 퀴즈로 실력을 점검해보세요! – 당신은 얼마나 잘 알고 있나요? *SEO 키워드: **C++ 타입 추론**, **C++ auto**, **C++ 템플릿*** --- # # 서론 – “내가 정말 이해했는지”를 확인하는 첫 걸음 프로그래밍을 하다 보면 “이 변수의 타입이 뭐지?” 하는 고민을 자주 합니다. 특히 C++에서는 `auto`와 템플릿을 활용한 **타입 추론**이 강력하지만, 그 동작 원리를 정확히 알지 못하면 의도와 다른 버그를 만들기 쉬워요. Reddit에 올라온 *“How well do you really understand C++ type deduction?”* 퀴즈는 이런 궁금증을 바로 잡아줍니다. 예시 코드를 보고 직접 답을 골라보면, 머릿속에 있던 막연함이 구체적인 지식으로 바뀝니다. 이번 포스트에서는 퀴즈를 한 번 풀어보고, 각 문제에 대한 해설을 통해 **C++ 타입 추론**을 초보자도 쉽게 이해하도록 정리해 보겠습니다. --- # # 본론 ## # 1️⃣ `auto`와 초기화식의 관계 ``` cpp auto x = {1, 2, 3}; ``` **정답**: `std::initializer_list` `auto`는 **초기화식**을 보고 가장 적합한 타입을 추론합니다. 중괄호 `{}` 로 초기화하면 **initializer‑list** 로 간주되므로 `std::initializer_list`가 선택됩니다. `int` 배열이나 `std::vector`가 아니라는 점을 기억하세요. > **팁**: `auto`에 `=` 없이 바로 중괄호를 쓰면 `std::initializer_list`가 아닌 **브레이스 초기화**가 되므로, `auto y{1,2,3};`는 컴파일 오류가 발생합니다. --- ## # 2️⃣ 템플릿 함수와 **전달된 인자**의 타입 ``` cpp template void func(T&& param) { /* ... */ } int a = 10; func(a); ``` **정답**: `T`는 `int&`, `param`은 `int& &&` → **결과는 `int&`** C++의 **완벽 전달(forwarding reference)** 은 인자가 **lvalue**이면 `T`가 `int&` 로 추론되고, `param`은 **참조 접힘(reference collapsing)** 규칙에 따라 `int&` 가 됩니다. 반대로 rvalue를 전달하면 `T`는 `int` 가 되고 `param`은 `int&&` 가 되죠. > **핵심**: `T&&` 가 “전달된 인자의 값 범주(value category)”에 따라 달라지는 것이 **템플릿 타입 추론**의 핵심 포인트입니다. --- ## # 3️⃣ `decltype`과 `auto`의 차이 ``` cpp int&& rr = 5; decltype(rr) a = std::move(rr); auto b = rr; ``` **정답**: - `decltype(rr)` → `int&&` (그 자체 타입을 그대로 반환) - `auto` → `int` (참조가 제거된 기본 타입) `decltype`은 **표현식 그대로의 타입**을 반환하므로, `rr`이 rvalue reference라면 결과도 rvalue reference입니다. 반면 `auto`는 **참조와 cv-qualifier를 제거**하고 기본 타입만 추론합니다. > **주의**: `auto&&` 를 쓰면 `decltype`과 비슷하게 **전달된 값 범주**에 따라 rvalue/lvalue reference가 결정됩니다. --- ## # 4️⃣ `std::remove_reference_t`와 `std::decay_t` 활용 ``` cpp template void wrapper(T&& arg) { using Pure = std::remove_reference_t; // ... } ``` **정답**: `Pure`는 **인자 타입에서 참조만 제거**한 형태 `std::remove_reference_t`는 `T`가 `int&`, `int&&` 등 어떠한 참조이든 **참조를 없앤** `int` 로 변환합니다. 반면 `std::decay_t`는 배열 → 포인터, 함수 → 포인터, const/volatile 제거 등 **더 많은 변환**을 수행합니다. > **예시**: `wrapper(const int(&)[3])` 에서 `Pure`는 `const int[3]` → `const int` 로 변환되지 않으며, `std::decay_t`를 쓰면 `const int*` 로 바뀝니다. --- ## # 5️⃣ `auto`와 `decltype(auto)`의 선택 ``` cpp int x = 5; auto a = (x); // a는 int decltype(auto) b = (x); // b는 int& ``` **정답**: `auto`는 **값을 복사**하고, `decltype(auto)`는 **표현식 그대로** 타입을 유지합니다. 괄호 `(x)` 로 감싸면 **lvalue 표현식**이 되므로 `decltype(auto)`는 `int&` 로 추론합니다. 이 차이는 함수 반환 타입을 설계할 때 큰 영향을 미칩니다. > **실전 팁**: 반환값이 큰 객체라면 `decltype(auto)` 로 **참조 반환**을 고려하고, 값 복사가 필요하면 `auto` 를 사용하세요. --- # # 결론 – 지금 바로 실전 코드에 적용해 보세요! C++ 타입 추론은 처음엔 헷갈릴 수 있지만, 위 퀴즈와 해설처럼 **규칙을 하나씩 짚어가면** 금방 익숙해집니다. 1. `auto`는 초기화식에 따라 **initializer‑list** 를 포함한 다양한 타입을 추론한다. 2. 템플릿 함수의 `T&&` 은 **전달된 인자의 값 범주**에 따라 lvalue/rvalue reference 로 변한다. 3. `decltype` 은 **표현식 그대로** 타입을 반환하고, `auto`는 **참조와 cv-qualifier** 를 제거한다. 4. `std::remove_reference_t` 와 `std::decay_t` 로 **참조와 변환 규칙**을 명시적으로 제어한다. 5. `decltype(auto)` 로 **표현식 그대로** 반환 타입을 유지하면 성능 최적화에 도움이 된다. 이제 여러분도 **C++ 타입 추론**을 자신 있게 활용할 수 있습니다. 직접 코드를 작성하면서 위 원칙을 적용해 보세요. > **행동 유도**: 오늘 배운 내용을 바탕으로 작은 프로그램을 하나 만들어 보세요. `auto`와 `decltype`을 섞어 사용하고, 컴파일러가 어떤 타입을 선택하는지 `typeid` 로 확인해 보면 이해가 한층 깊어집니다. 궁금한 점이나 더 알고 싶은 예제가 있으면 댓글로 남겨 주세요! 여러분의 C++ 실력이 한 단계 성장하는 데 도움이 되길 바랍니다. 🚀