C++ Academy · 강의

enable_if 패턴

전통적인 방식으로 템플릿 제약하기

enable_if 패턴은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

enable_if란 무엇인가요

std::enable_if는 type 멤버를 조건부로 정의하는 간단한 특성입니다. 조건이 참이면 유형이 존재하고, 거짓이면 주변 템플릿이 SFINAE를 통해 제거됩니다.

<type_traits>에 정의되어 있습니다.
템플릿을 제한하는 고전적인 도구입니다.

#include <iostream>
#include <type_traits>

template <typename T>
typename std::enable_if<std::is_integral<T>::value, T>::type
doubleIt(T v) { return v * 2; }

int main() {
    std::cout << doubleIt(21) << '\n';
    return 0;
}

작동 방식

enable_if<Cond, T>::type은 Cond가 참일 때만 T가 됩니다. 거짓이면 type 멤버가 존재하지 않으므로 대입이 실패합니다.

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::boolalpha;
    std::cout << std::is_same<std::enable_if<true, int>::type, int>::value << '\n';
    return 0;
}

반환 유형의 enable_if

가장 일반적인 위치는 반환 유형입니다. 조건이 충족될 때만 함수가 존재합니다.

#include <iostream>
#include <type_traits>

template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, T>::type
half(T v) { return v / 2; }

int main() {
    std::cout << half(5.0) << '\n';
    return 0;
}

템플릿 매개변수로 사용하는 enable_if

또 다른 관용적 방식은 기본값이 있는 템플릿 매개변수에 enable_if를 넣어 반환 유형을 깔끔하게 유지하는 것입니다.

#include <iostream>
#include <type_traits>

template <typename T, typename = typename std::enable_if<std::is_integral<T>::value>::type>
T triple(T v) { return v * 3; }

int main() {
    std::cout << triple(4) << '\n';
    return 0;
}

enable_if_t 단축 표현

C++14에서는 별칭 std::enable_if_t<Cond, T>가 추가되어 typename ...::type이라는 장황한 표현을 생략할 수 있습니다.

#include <iostream>
#include <type_traits>

template <typename T>
std::enable_if_t<std::is_integral<T>::value, T>
negate(T v) { return -v; }

int main() {
    std::cout << negate(8) << '\n';
    return 0;
}

두 오버로드 짝짓기

서로 보완되는 조건을 제공하여 모든 유형에서 정확히 하나의 오버로드만 유효하게 만들고 모호성을 없앱니다.

#include <iostream>
#include <type_traits>

template <typename T>
std::enable_if_t<std::is_integral<T>::value, const char*>
category() { return "integer"; }

template <typename T>
std::enable_if_t<!std::is_integral<T>::value, const char*>
category() { return "non-integer"; }

int main() {
    std::cout << category<int>() << ' ' << category<double>() << '\n';
    return 0;
}

조건 결합하기

특성 값에 논리 연산자를 사용해 "정수형이고 부호가 있음"과 같이 더 풍부한 제약 조건을 표현합니다.

#include <iostream>
#include <type_traits>

template <typename T>
std::enable_if_t<std::is_integral<T>::value && std::is_signed<T>::value, T>
magnitude(T v) { return v < 0 ? -v : v; }

int main() {
    std::cout << magnitude(-12) << '\n';
    return 0;
}

생성자 제한하기

생성자의 템플릿 매개변수에 enable_if를 배치하여 호환되는 유형에서만 생성자를 사용할 수 있게 합니다.

#include <iostream>
#include <type_traits>

struct Wrapper {
    int value;
    template <typename T, typename = std::enable_if_t<std::is_integral<T>::value>>
    Wrapper(T v) : value(static_cast<int>(v)) {}
};

int main() {
    Wrapper w(42);
    std::cout << w.value << '\n';
    return 0;
}

기본 템플릿 인수의 함정

기본값이 있는 enable_if 템플릿 매개변수만 다른 두 오버로드는 재정의로 간주됩니다. 서로 다른 형식을 사용하세요. 예를 들어 한 조건을 반환 유형에 배치할 수 있습니다.

#include <iostream>
#include <type_traits>

template <typename T>
std::enable_if_t<std::is_integral<T>::value, void>
printKind() { std::cout << "int\n"; }

template <typename T>
std::enable_if_t<std::is_floating_point<T>::value, void>
printKind() { std::cout << "float\n"; }

int main() {
    printKind<int>();
    printKind<double>();
    return 0;
}

Concepts와 비교

C++20의 concepts는 대부분의 enable_if 사용을 훨씬 명확한 구문으로 대체하지만, enable_if는 C++20 이전 코드와 일부 특수한 경우에 여전히 필수적입니다.

#include <iostream>
#include <type_traits>

template <typename T>
std::enable_if_t<std::is_arithmetic<T>::value, T>
square(T v) { return v * v; }

int main() {
    std::cout << square(6) << ' ' << square(1.5) << '\n';
    return 0;
}

완전한 예제

정수와 부동 소수를 서로 다르게 형식화하는 함수군을 컴파일 시점에 선택하는 방식으로 모든 내용을 결합해 보겠습니다.

#include <iostream>
#include <type_traits>

template <typename T>
std::enable_if_t<std::is_integral<T>::value, void>
format(T v) { std::cout << "int[" << v << "]\n"; }

template <typename T>
std::enable_if_t<std::is_floating_point<T>::value, void>
format(T v) { std::cout << "float(" << v << ")\n"; }

int main() {
    format(10);
    format(3.5);
    return 0;
}

빠른 확인

enable_if에 대한 이해도를 확인해 보세요.

복습

고전적인 enable_if 패턴에 대해 다음을 배웠습니다.

조건이 참일 때만 ::type을 정의하여 SFINAE를 활성화합니다.
반환 유형이나 기본값이 있는 템플릿 매개변수에 배치합니다.
enable_if_t 별칭을 사용하고 논리 연산자로 특성을 결합합니다.
C++20에서는 concepts가 이를 대체하지만, 여전히 널리 사용됩니다.

이로써 템플릿 특수화 및 SFINAE 과정을 마칩니다.

자주 묻는 질문

“enable_if 패턴” 강의는 무료인가요?

네 — “enable_if 패턴” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“enable_if 패턴”에서 뭘 배우나요?

전통적인 방식으로 템플릿 제약하기 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

C++ Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.

“enable_if 패턴” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← C++ Academy(으)로 돌아가기