완전 특수화
타입에 맞게 템플릿 사용자 지정하기
완전 특수화은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
복습: 템플릿
템플릿을 사용하면 하나의 코드 조각이 여러 형식에서 작동할 수 있습니다. 컴파일러는 사용하는 각 형식에 맞는 구체적인 버전을 생성합니다.
- 일반 형식은 모든 형식을 처리합니다.
- 때로는 특정 형식에 특별한 처리가 필요합니다.
#include <iostream>
template <typename T>
T maxOf(T a, T b) { return a > b ? a : b; }
int main() {
std::cout << maxOf(3, 9) << ' ' << maxOf(2.5, 1.5) << '\n';
return 0;
}전체 특수화란 무엇인가요
전체 특수화는 특정한 하나의 형식에 대해 완전히 별도의 구현을 제공하여 해당 형식에 한해서 일반 템플릿을 재정의합니다.
#include <iostream>
template <typename T>
void describe(T) { std::cout << "some type\n"; }
template <>
void describe(int) { std::cout << "an int\n"; }
int main() {
describe(3.14);
describe(42);
return 0;
}문법
전체 특수화는 빈 꺾쇠괄호 template <>로 시작하며, 특수화할 정확한 형식을 지정합니다.
#include <iostream>
template <typename T>
struct TypeName { static const char* get() { return "unknown"; } };
template <>
struct TypeName<bool> { static const char* get() { return "bool"; } };
int main() {
std::cout << TypeName<double>::get() << '\n';
std::cout << TypeName<bool>::get() << '\n';
return 0;
}클래스 템플릿 특수화하기
클래스 템플릿 전체를 특수화하여 기본 템플릿과 구별되는 고유한 멤버와 동작을 형식에 부여할 수 있습니다.
#include <iostream>
template <typename T>
struct Storage {
T value;
void show() { std::cout << "value: " << value << '\n'; }
};
template <>
struct Storage<bool> {
bool value;
void show() { std::cout << (value ? "true" : "false") << '\n'; }
};
int main() {
Storage<int> s{5}; s.show();
Storage<bool> b{true}; b.show();
return 0;
}특수화하는 이유
특수화는 다른 논리가 필요한 형식을 처리합니다. 예를 들어 const char*에는 포인터 비교 대신 문자열 비교가 필요합니다.
#include <iostream>
#include <cstring>
template <typename T>
bool equal(T a, T b) { return a == b; }
template <>
bool equal(const char* a, const char* b) { return std::strcmp(a, b) == 0; }
int main() {
std::cout << std::boolalpha;
std::cout << equal(5, 5) << '\n';
std::cout << equal("hi", "hi") << '\n';
return 0;
}단일 멤버 특수화하기
클래스 템플릿에서는 특정 형식에 대해 멤버 함수 하나만 특수화하고 나머지는 재사용할 수 있습니다.
#include <iostream>
template <typename T>
struct Printer {
void print(T v) { std::cout << v << '\n'; }
};
template <>
void Printer<char>::print(char v) {
std::cout << "char: " << v << '\n';
}
int main() {
Printer<int>{}.print(7);
Printer<char>{}.print('A');
return 0;
}일반 형식보다 우선되는 일치
정확한 형식에 대한 전체 특수화가 존재하면 컴파일러는 항상 기본 템플릿보다 이를 우선합니다.
#include <iostream>
template <typename T>
int rank() { return 0; }
template <>
int rank<double>() { return 99; }
int main() {
std::cout << rank<int>() << ' ' << rank<double>() << '\n';
return 0;
}특수화는 기본 템플릿 뒤에 와야 합니다
특수화는 기본 템플릿이 표시된 후에 선언해야 합니다. 그렇지 않으면 컴파일러가 특수화할 대상을 알 수 없습니다.
#include <iostream>
template <typename T>
const char* kind() { return "generic"; }
template <>
const char* kind<float>() { return "float"; }
int main() {
std::cout << kind<int>() << ' ' << kind<float>() << '\n';
return 0;
}std 템플릿 특수화하기
std::hash와 같은 일부 표준 라이브러리 템플릿은 사용자 정의 형식에 맞게 특수화할 수 있으므로, 해당 형식을 해시 컨테이너에서 사용할 수 있습니다.
#include <iostream>
struct Point { int x, y; };
template <typename T>
struct Hasher { size_t operator()(const T&) { return 0; } };
template <>
struct Hasher<Point> {
size_t operator()(const Point& p) { return p.x * 31 + p.y; }
};
int main() {
Hasher<Point> h;
std::cout << h(Point{2, 3}) << '\n';
return 0;
}값 특수화
비형식 템플릿 매개변수는 특정 값에 맞게 특수화할 수 있으며, 컴파일 시점 표에 유용합니다.
#include <iostream>
template <int N>
struct Fib { static const int value = Fib<N-1>::value + Fib<N-2>::value; };
template <>
struct Fib<0> { static const int value = 0; };
template <>
struct Fib<1> { static const int value = 1; };
int main() {
std::cout << Fib<10>::value << '\n';
return 0;
}동작 일관성 유지
특수화는 기본 템플릿과 동일한 개념적 계약을 유지하고 구현만 변경해야 합니다. 그렇지 않으면 호출하는 쪽이 예상하지 못한 동작을 경험하게 됩니다.
#include <iostream>
template <typename T>
T zero() { return T{}; }
template <>
int zero<int>() { return 0; }
int main() {
std::cout << zero<int>() << ' ' << zero<double>() << '\n';
return 0;
}빠른 확인
완전 특수화 구문에 대한 이해도를 확인해 보세요.
복습
완전 특수화에 대해 다음을 배웠습니다.
- 정확히 하나의 유형에 전용 구현을 제공합니다.
template <>와 구체적인 유형을 사용해 작성합니다.- 컴파일러는 항상 정확히 일치하는 특수화를 우선합니다.
- 함수, 클래스, 개별 멤버 및 특정 값에 사용할 수 있습니다.
다음에는 유형 패턴에 일치하는 부분 특수화를 살펴보겠습니다.
자주 묻는 질문
“완전 특수화” 강의는 무료인가요?
네 — “완전 특수화” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“완전 특수화”에서 뭘 배우나요?
타입에 맞게 템플릿 사용자 지정하기 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 1번째 강의입니다.
“완전 특수화” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- 완전 특수화
- 부분 특수화
- SFINAE
- enable_if 패턴