정적 다형성
가상 호출 오버헤드 피하기
정적 다형성은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
다형성의 두 가지 종류
C++은 두 가지 종류의 다형성을 지원합니다.
- 동적: 가상 함수를 가상 테이블을 통해 런타임에 해결합니다.
- 정적: 템플릿과 CRTP를 컴파일 시점에 해결합니다.
정적 다형성은 유연성을 속도와 맞바꿉니다.
virtual의 비용
가상 함수 호출에는 가상 테이블을 통한 간접 분기가 필요합니다. 컴파일러는 일반적으로 이를 인라인할 수 없으므로 여러 최적화가 제한됩니다.
#include <iostream>
struct Shape {
virtual double area() const = 0;
virtual ~Shape() = default;
};
struct Square : Shape {
double s;
Square(double x) : s(x) {}
double area() const override { return s * s; }
};
int main() {
Shape* p = new Square(3);
std::cout << p->area() << "\n";
delete p;
return 0;
}CRTP를 사용한 정적 디스패치
CRTP에서는 기본 클래스가 컴파일 시점 변환을 통해 파생 클래스의 메서드를 직접 호출하므로 컴파일러가 모든 내용을 인라인할 수 있습니다.
#include <iostream>
template <typename T>
struct Shape {
double area() const { return static_cast<const T*>(this)->area(); }
};
struct Square : Shape<Square> {
double s;
Square(double x) : s(x) {}
double area() const { return s * s; }
};
int main() {
Square sq(3);
std::cout << sq.area() << "\n";
return 0;
}전달 함수 이름 지정
기본 클래스와 파생 클래스가 모두 area를 정의할 때는 기본 클래스의 전달 함수에 compute와 같이 구별되는 이름을 지정하여 파생 클래스의 구현을 명확하게 호출하도록 하세요.
#include <iostream>
template <typename T>
struct Shape {
double compute() const { return static_cast<const T*>(this)->area(); }
};
struct Circle : Shape<Circle> {
double r;
Circle(double x) : r(x) {}
double area() const { return 3.14159 * r * r; }
};
int main() {
Circle c(2);
std::cout << c.compute() << "\n";
return 0;
}정적 다형성으로서의 템플릿
일반 함수 템플릿도 정적 다형성입니다. 필요한 인터페이스를 제공하는 모든 유형에서 동일한 코드가 작동합니다(컴파일 시점의 덕 타이핑).
#include <iostream>
struct Dog { void speak() const { std::cout << "Woof\n"; } };
struct Cat { void speak() const { std::cout << "Meow\n"; } };
template <typename Animal>
void make_speak(const Animal& a) { a.speak(); }
int main() {
make_speak(Dog{});
make_speak(Cat{});
return 0;
}형식을 알고 있을 때
정적 다형성은 컴파일 시점에 구체 형식을 알고 있을 때만 적용됩니다. 서로 다른 형식의 객체를 하나의 컨테이너에 저장하고 실행 시간에 동작을 선택해야 한다면 여전히 가상 함수가 필요합니다.
서로 다른 형식의 컨테이너를 사용할 수 없음
Shape<Square>와 Shape<Circle>은 서로 관련 없는 형식이므로 동일한 std::vector에 공통 기반 형식으로 넣을 수 없습니다. 이것이 정적 다형성의 핵심적인 한계입니다.
성능상의 이점
호출을 인라인화하면 컴파일러가 상수를 접고 함수 호출에 따른 추가 비용을 완전히 제거할 수 있습니다. 하나의 알려진 형식을 대상으로 반복 실행하는 루프에서는 정적 다형성이 상당히 더 빠를 수 있습니다.
#include <iostream>
template <typename T>
struct Op {
int apply(int x) const { return static_cast<const T*>(this)->apply(x); }
};
struct Doubler : Op<Doubler> {
int apply(int x) const { return x * 2; }
};
int main() {
Doubler d;
int sum = 0;
for (int i = 0; i < 5; ++i) sum += d.apply(i);
std::cout << sum << "\n";
return 0;
}두 방식 결합
자주 실행되는 경로에는 CRTP를 사용하고, 형식 소거가 필요할 때는 얇은 가상 래퍼를 사용할 수 있습니다. 이렇게 하면 중요한 부분에서는 속도를 얻고 필요한 부분에서는 유연성을 확보할 수 있습니다.
정적 인터페이스 검사
파생 클래스가 필요한 메서드 구현을 빠뜨리면 오류가 실행 시간이 아니라 기반 전달 함수가 인스턴스화되는 컴파일 시점에 나타납니다.
#include <iostream>
template <typename T>
struct Greeter {
void greet() const { static_cast<const T*>(this)->hello(); }
};
struct English : Greeter<English> {
void hello() const { std::cout << "Hello\n"; }
};
int main() {
English{}.greet();
return 0;
}적절한 Right 도구 선택
다음과 같은 경우 정적 다형성을 사용하십시오.
- 컴파일 시점에 형식을 알고 있는 경우
- 성능이 중요한 경우
- 공통 실행 시간 기반 형식이 필요하지 않은 경우
그 외에는 명확성과 유연성을 위해 가상 함수를 선호하십시오.
빠른 확인
정적 다형성의 핵심적인 절충점을 고르십시오.
요약
정적 다형성과 동적 다형성을 비교했습니다.
- 가상 함수 = 실행 시간 디스패치, 가상 함수 테이블, 서로 다른 형식의 컨테이너
- CRTP/템플릿 = 컴파일 시점 디스패치, 인라인화 가능, 더 빠름
- 정적 방식은 컴파일 시점에 형식을 알고 있어야 함
- 유연성과 성능 요구 사항을 기준으로 선택
자주 묻는 질문
“정적 다형성” 강의는 무료인가요?
네 — “정적 다형성” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“정적 다형성”에서 뭘 배우나요?
가상 호출 오버헤드 피하기 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 2번째 강의입니다.
“정적 다형성” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.