Skip to main content

C++ of the Day #29 - covariant return types with CRTP

Prototype 패턴을 구현하려면 다음과 같이 각 클래스는 자신만의 clone 함수를 구현해야 합니다. ((c.l.c.m: covariant return types with CRTP)) 간단히 다음과 같죠.
struct B
{
  virtual ~B() {}
  virtual B* clone() const = 0;
};

struct D : B
{
  B* clone() const { ... }
};
이렇게 하면 B*를 가지고 실제 클래스가 무엇인지 관계없이 그 instance의 복제품을 만들어낼 수 있습니다. 하지만 위의 코드를 사용하여 D*를 가지고 복제된 D*를 얻고자 한다면 다음과 같이 casting을 해주어야 합니다.
D* d2 = dynamic_cast<D*>(d->clone());
이런 불편함을 줄이기 위해 C++에서는 overiding한 함수의 리턴 타입이 covariant인 경우 signature가 좀 달라도 overiding을 허용합니다. 일반적으로 두 타입이 모두 pointer나 reference이고 overiding한 함수의 리턴 타입이 원래 리턴 타입을 상속받은 타입이며 같은 cv-qualification을 가지는 경우를 covariant라고 합니다. ((C++98 10.3/5 참조)) 이를 이용하여 위의 코드를 다시 작성하면 다음과 같이 됩니다.
struct D : B
{
  D* clone() const { ... } // change return type from B* to D*
};

D* d2 = d->clone(); // no casting
일반적으로 clone 함수는 자신의 복사 생성자를 사용하여 다음과 같이 구현할 수 있습니다.
D* clone() const {
  return new D(*this);
}
하위 클래스마다 반복되어야 하는 코딩 작업을 줄이기 위해 다음과 같이 CRTP를 사용한 clonable 클래스를 만들어 보겠습니다.
template <class T, class U>
struct clonable : U
{
  T* clone() const {
    T const* d = static_cast<t const*>(this); // (1)
    return new T(*d);
  }
};

struct B
{
  virtual ~B() {}
  virtual B* clone() const = 0;
};

struct D : clonable<D, B>
{
}; 
(1)번 라인에서 dynamic_cast 대신 static_cast를 사용한 것은 이 template의 usage상 clonable과 T는 반드시 상속 관계에 있다는 것을 미리 알 수 있었기 때문입니다. 만약 우리가 원하는 대로 template이 instantiation된다면 D 클래스의 clone함수는 다음과 같이 됩니다.
D* clone() const {
  D const* d = static_cast(this);
  return new D(*d);
}
원하는 대로 covariant return type을 사용하고 있습니다. 그러나... 애석하게도 위의 코드는 컴파일이 되지 않습니다. 컴파일러가 수행하는 작업을 순서대로 따라가면서 원인을 살펴 보죠.
  • struct D : clonable<D, B> 라인에서 컴파일러는 clonable template을 implicitly instantiation합니다. ((C++98 14.7.1/1 참조))
  • 여기서 instantiation되는 clonable은 다음과 같습니다.
struct clonable : B
{
  D* clone() const {
    D const* d = static_cast<d const*>(this); // (1)
    return new D(*d);
  }
};
  • 여기서 clonable의 부모 클래스인 B가 clone함수를 정의하고 있기 때문에 이 함수를 overiding하기 위해서 clonable의 clone() 함수의 리턴 타입은 B의 것과 같거나 covariant type이어야 합니다.
  • 하지만 아직 D 클래스는 완전히 정의되지 않은 상태이기 때문에 D가 B를 상속받는다는 것을 컴파일러가 알지 못합니다.
  • 따라서 컴파일러는 이를 covariant가 아니라고 판단하고 에러를 출력합니다.
위의 이유로 CRTP를 사용한 clonable 클래스는 covariant return type을 가지는 virtual clone()함수를 제공하지 못합니다.

그렇다고 방법이 없는 것은 아닙니다. 다들 아시다시피 derived 클래스에서 base 클래스와 같은 이름의 virtual이 아닌 함수를 선언하면 base 클래스에 있는 이름은 보이지 않게 됩니다. name hiding이라고 불리는 것이죠. 이를 이용하면 다음과 같이 pseudo-covariant return type을 가지는 clonable 클래스를 만들 수 있습니다.
template <class D, class B>
class clonable : B
{
public:
  D* clone() const {
    return static_cast(this->do_clone());
  }
private:
  virtual clonable* do_clone() const {
    return new D(static_cast(*this));
  }
};

class B
{
public:
  B* clone() const {
    return do_clone();
  }
private:
  virtual B* do_clone() const=0;
}; 
위의 clonable에서 중요한 사항은 바로 clone() 함수가 virtual로 정의되어 있지 않다는 점입니다. ((virtual이 아니면서 함수의 signature가 리턴 타입을 제외하면 같죠. 여기서 리턴 타입은 covariant입니다만 실제 overiding 관계가 아니므로 이를 pseudo-covariant return type이라고 부릅니다. 물론 표준적인 용어는 아닙니다.)) 따라서 B의 clone이 불리면 D::clone()이 아닌 B::clone()이 불리게 됩니다.

여기서 두 clone()은 overiding 관계가 아니므로 컴파일러도 covariant인지 아닌지 알아야 필요가 없으며 따라서 에러 없이 컴파일됩니다. 물론 필요한 기능은 모두 동작하면서 말이죠. :-)

Comments

Popular posts from this blog

1의 개수 세기

저도 간단한 알고리즘 문제 하나... :-)

어떤 수 n이 주어졌을때 1~n까지의 수를 쭈욱 썼을때 나오는 1의 개수를 구하는 문제입니다.

예를 들어 13이라는 수가 주어지면 1~13까지의 수 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13에서 1은 1, 10, 11, 12, 13에 나오며 그 개수는 6이 됩니다. 즉, f(13)=6.

원래 문제는 f(n)=n이 되는 1이 아닌 가장 작은 수를 구하는 문제인데 이 문제의 경우에는 처음부터 쭈욱 세어나가면 되기 때문에 간단히 다음과 같이 구현을 하면 됩니다. ((한가지 주의할 점은 이전에 찾았던 n-1값을 사용하지 않고 다시 처음부터 n까지 값을 계산하면 시간이 너무 많이 걸린다는 점입니다. 위의 코드에서는 static 변수를 사용하여 이전 값에 계속 더해나가는 방법을 사용했습니다.))


#include

int count1(int n)
{
static int cnt = 1; // not 0 because n starts from 2. see main.

while (n > 0) {
if ((n % 10) == 1) ++cnt;
n /= 10;
}

return cnt;
}

int main()
{
using namespace std;

int n = 2;

while (count1(n) != n) ++n;
cout << n << endl;
}


좀 재미가 없죠? 그래서 이번 문제는 어떤 수 n에 대해서 f(n)을 O(1)시간에 구하는 알고리즘을 만드는 것입니다. 관심있으신 분들은 한번 풀어보세요. 제가 만든 코드는 내일 올려보겠습니다.

C++ of the Day #9 - Boost.Python 사용하기 #1

Python은 가장 인기있는 interpret 언어중의 하나입니다. Python의 장점 중 하나는 C/C++ 모듈과 쉽게 연동할 수 있다는 점입니다. 물론 손으로 일일히 wrapper를 만드는 것은 손이 많이 가고 에러를 만들수 있는 작업이나 SWIG등과 같은 도구를 사용하면 쉽게 python 모듈을 만들 수 있습니다.

Boost.Python은 이런 SWIG와 같이 python 모듈을 쉽게 만들 수 있도록 도와주는 라이브러리로 순수 C++만을 사용한다는 점이 SWIG와 다른 점입니다. 그리고 개인적으로는 Boost 라이브러리에 포함되어 있는 것들이 왠지 좀 더 믿음직스러워서... :-)

이번 글에서는 Boost.Python 문서에 나와 있는 예제를 가지고 간단하게 python 모듈을 만드는 방법에 대해서 알아보겠습니다.

Requirements리눅스
이 글에서는 리눅스 환경에서의 사용 방법을 설명한다.Boost.Python 라이브러리 (1.33.1)
Boost 라이브러리를 다운로드받아 아래와 유사한 명령으로 라이브러리를 빌드한다.
bjam -sTOOLS=gcc -with-python install

bjam의 --prefix 옵션으로 라이브러리가 설치될 위치를 변경할 수 있다.Python 라이브러리 (2.4.3)
Python을 다운로드 받아 빌드하여 설치한다.
위의 경우와 유사하게 configure의 --prefix 옵션으로 설치될 위치를 변경할 수 있다.

Write C++ Code다음과 같이 코드를 작성한다.

// greet.cpp #include <stdexcept> char const* greet(unsigned x) { static char const* const msgs[] = { "hello", "Boost.Python", "world!" }; if (x > 2) throw std::range_error("greet: index out of range"…

Hello Wordpress, again.

한 두주일 정도 Textpattern을 사용해봤는데 다시 Wordpress로 돌아오기로 결정했습니다. 무엇보다 스킨 변경이 너무 복잡하고 사용자층이 Wordpress에 비해 너무 앏네요. 원하는 plugin도 찾기 어렵고... :-|

그동안 Textpattern에 썼던 글들은 모두 Wordpress로 옮겼습니다. 2개 있던 댓글도 옮겼는데 그중의 하난 제가 쓴... ;-)

애초에 wp-dokuwiki plugin이 무거워서 옮겼던 것이라 이 plugin은 설치를 안할 예정인데 몇가지 아쉬운 점이 있네요.

첫째는 code highlighting 기능인데 이 기능은 예전에 만들어 놨던 것을 조금 수정해서 쓰려고 준비중입니다. 두번째는 Footnote 기능인데 찾아보니 Footnotes 0.9 Plugin for WordPress 2.0.x라는게 있네요.

이정도면 비록 wiki syntax에 비할바는 아니지만 쓸만할 것 같습니다. :-)