template method pattern 에 CRTP 사용하기 (c++)

그동안 개발하면서 template method pattern을 즐겨 사용하고 있는데, virtual 함수를 이용하여 구현했었다. 그런데 CRTP 를 이용해도 비슷한(동일한건 아님) 처리가 가능하다.

예를 들어 다음처럼 template method pattern 구현을 한경우,

#include <iostream> #include <memory> #include <vector> template<typename T, typename... Args> std::unique_ptr<T> make_unique(Args&&... args) { return std::unique_ptr<T>(new T(std::forward<Args>(args)...)); } class Base { public: virtual ~Base() {} void DoWork() { DoBasicWork(); DoSpecialWork(); } void DoBasicWork(){ std::cout << "Do Basic work..\n"; } virtual void DoSpecialWork() = 0; }; class Derived1 : public Base { public: void DoSpecialWork() override { std::cout << "Do derived 1's special work..\n"; } }; class Derived2 : public Base { public: void DoSpecialWork() override { std::cout << "Do derived 2's special work..\n"; } }; int main() { std::vector<std::unique_ptr<Base>> vec_base; vec_base.push_back(make_unique<Derived1>()); vec_base.push_back(make_unique<Derived2>()); for(auto it = vec_base.begin(); it != vec_base.end(); ++it){ (*it)->DoWork(); } return 0; }

CRTP 를 이용해서 (비슷하게) 다시 구현하면 다음과 같다. 동적 다형성(dynamic polymorphism)을 희생한 경우이다.

//.... 생략 .... template<typename Derived> class Base { public: virtual ~Base() {} void DoWork() { DoBasicWork(); static_cast<Derived*>(this)->DoSpecialWork(); } void DoBasicWork(){ std::cout << "Do Basic work..\n"; } }; class Derived1 : public Base<Derived1> { public: void DoSpecialWork(){ std::cout << "Do derived 1's special work..\n"; } }; class Derived2 : public Base<Derived2> { public: void DoSpecialWork(){ std::cout << "Do derived 2's special work..\n"; } }; int main() { Derived1 child1; Derived2 child2; child1.DoWork(); child2.DoWork(); return 0; }

처음 예제와 같이 STL Container 에 저장하는 등의 동적 다형성이 필요하다면, 가상함수를 사용할수 밖에 없지만, 두번째 예제와 같은식으로 사용하는것으로 충분하다면 CRTP 를 이용한 방식도 고려해볼만 하겠다.