Skip to main content

C++ of the Day #15 - Question on type deduction

오늘도 역시 뉴스그룹에서 하나 가져왔습니다. ((c.l.c.m:Question on type deduction))

Question

void augment(int& outNumber)
{
  ++outNumber;
}

template<typename R, typename A1>
R exec(R (*pfunc)(A1), A1 arg1 )
{
  return pfunc(arg1);
}

int main()
{
  int number = 10;
  exec(augment, number);  // <-- compiler error
} 
위의 코드에서 main() 안의 첫번째 exec 함수 호출을 보면 R 타입과 A1 타입을 컴파일러가 유추하게 되는데 augment 인자 타입이 void (*)(int&) 이므로 R은 void, A1은 int& 가 되어 다음과 같이 instantiation될 것으로 생각됩니다
void exec(void (*pfunc)(int&), int& arg1)
하지만 예상과는 달리 컴파일 에러가 발생하는군요. 이제 질문입니다.
  1. 왜 위와 같이 컴파일 에러가 발생할까요?
  2. 해결 방법은 무엇일까요?


Answer

먼저 이유를 살펴보겠습니다. 컴파일러는 exec 함수를 찾기 위해 먼저 각각의 인자에 대해 type deduction을 수행합니다. exec(augment, number) 함수 호출에서 컴파일러는 augment 인자는 void (*)(int&) 타입이라는 것을 찾아내고 number 인자는 int 라는 것을 찾아냅니다. 여기서 중요한 점은 number는 int 이지 int& 가 아니라는 점입니다. 이렇게 찾아낸 정보를 가지고 적당한 함수를 찾아보게 됩니다. 컴파일러는 위의 template 함수인 exec 를 찾아내게 되고 자신이 유추한 타입을 대입하여 올바른지 확인합니다. 하지만 이 경우에는 첫번째 인자와 두번째 인자가 A1 타입에 대해 동의하지 않고 있다는 것을 알아내죠. 첫번째 인자를 적용해보면 A1은 int& 가 되어야 하는데 두번째 인자를 적용해보면 int가 되어야 하니까요. 따라서 컴파일러는 에러를 발생시키게 됩니다. 그럼 이 문제를 해결하기 위해 어떤 방법을 사용해야 할까요. 물론 다음과 같이 타입을 명시적으로 써주면 되나 깔끔한 방법이 아니죠.
exec<void, int&>(augment, number); // compiles OK
다음 코드를 보시죠.
template <typename T>
struct SelfType
{
  typedef T type;
};

void augment(int& outNumber)
{
  ++outNumber;
}

template<typename R, typename A1>
R exec(R (*pfunc)(A1), typename SelfType<A1>::type arg1 )
{
  return pfunc(arg1);
}

int main()
{
  int number = 10;
  exec(augment, number);  // <-- compiler OK
} 
위의 코드에서는 SelfType이라는 단순한 클래스를 하나 사용하여 두번째 인자를 dependent name으로 만들었음을 알 수 있습니다. 이렇게 하면 컴파일 에러가 발생하지 않게 됩니다. 이 방법은 다음 내용을 이용합니다.
Function template argument deduction doesn't work where the function parameter type is a dependent name.
즉, dependent name인 함수 인자에 대해서는 type deduction이 일어나지 않습니다. 따라서 위의 코드에서 두번째 인자의 타입은 첫번째 인자에 의해 결정된 타입인 int&가 그대로 사용되게 됩니다.

정말 template 프로그래밍은 하나 하나 퍼즐 퀴즈같습니다. :-)

Comments

  1. 저런 테크닉이 많이 적용된 곳이 boost::function/boost::bind이지요.
    boost::bind는 변수저장공간 문제때문에, reference를 binding시킬때는 boost::ref를 쓰더라는...

    template은 하면 할수록 빠져드는 매력이 있는것 같습니다. :)

    ReplyDelete
  2. 그렇군요. 그러고보니 boost 라이브러리는 아직 사용만 하지 코드를 깊이 들여다본적은 없네요. 주로 In-depth 시리즈 책들을 통해서 이렇게 구현되었겠거니 하고 짐작만... :-)
    그리고 주로 쓰는 boost 라이브러리중의 하나가 function 입니다. (물론 젤 자주 쓰는 건 shared_ptr) lambda 나 bind 와 같이 쓰면 뽀대 나는 코드를 작성할 수 있다는... -_-;

    ReplyDelete
  3. function이 lambda, bind랑 쿵짝을 하게되면 브라보죠. 허나.. function은 성능면에서 떨어지는 경우가 종종 있더군요. 주의해서 사용해야 할듯. 흑;

    ReplyDelete
  4. 다행히 제가 하는 것들은 성능에 그렇게 많이 민감하지 않아서요. 가끔 성능 문제로 string 대신 char[] 을 쓰거나 vector 대신 그냥 array를 써야 한다고 하는 분들이 아직도 주변에 있는데 전 일단 쉽게 가고 성능 문제는 발생하기 전에는 생각하지 않는답니다. ;-)
    근데 function의 call 성능이야 기껏해야 한두번의 indirect 호출인데 어지간히 작은 함수가 아니고서는 큰 문제가 발생하진 않을 것 같은데 아니던가요?

    ReplyDelete
  5. 실은 컴파일러가 최적화를 하는 과정에서 불필요한 스택을 다 날리기 때문에... function이 갖는 오버헤드는 stack1개 만큼이긴 합니다. (그래도 그게 문제가 된적이 있었다는... 흑; 이럴떄 참 우울합니다 T_T)

    boost::bind는 거의 오버헤드가 없는듯. 후후.

    ReplyDelete
  6. 이 포스트 매우 실용적이며 매우 재미있습니다. 기억두어야 겠습니다.

    ReplyDelete
  7. 이렇게 오래된 글에 스팸 아닌 댓글이 달리니 기분이 좋네요. :)

    ReplyDelete

Post a Comment

Popular posts from this blog

1의 개수 세기 - 해답

벌써 어제 말한 내일이 되었는데 답을 주신 분이 아무도 없어서 좀 뻘쭘하네요. :-P 그리고 어제 문제에 O(1)이라고 적었는데 엄밀히 얘기하자면 O(log 10 n)이라고 적었어야 했네요. 죄송합니다. ... 문제를 잠시 생각해보면 1~n까지의 수들 중 1의 개수를 얻기 위해서는 해당 숫자 n의 각 자리의 1의 개수가 모두 몇개나 될지를 구해서 더하면 된다는 사실을 알 수 있습니다. 예를 들어 13이라는 수를 생각해 보면 1~13까지의 수에서 1의 자리에는 1이 모두 몇개나 되는지와 10의 자리에는 모두 몇개나 되는지를 구해 이 값을 더하면 됩니다. 먼저 1의 자리를 생각해 보면 1, 11의 두 개가 있으며 10의 자리의 경우, 10, 11, 12, 13의 네 개가 있습니다. 따라서 2+4=6이라는 값을 구할 수 있습니다. 이번엔 234라는 수에서 10의 자리를 예로 들어 살펴 보겠습니다. 1~234라는 수들 중 10의 자리에 1이 들어가는 수는 10, 11, ..., 19, 110, 111, ... 119, 210, 211, ..., 219들로 모두 30개가 있음을 알 수 있습니다. 이 규칙들을 보면 해당 자리수의 1의 개수를 구하는 공식을 만들 수 있습니다. 234의 10의 자리에 해당하는 1의 개수는 ((234/100)+1)*10이 됩니다. 여기서 +1은 해당 자리수의 수가 0이 아닌 경우에만 더해집니다. 예를 들어 204라면 ((204/100)+0)*10으로 30개가 아닌 20개가 됩니다. 이런 방식으로 234의 각 자리수의 1의 개수를 구하면 1의 자리에 해당하는 1의 개수는 ((234/10)+1)*1=24개가 되고 100의 자리에 해당하는 개수는 ((234/1000)+1)*100=100이 됩니다. 이들 세 수를 모두 합하면 24+30+100=154개가 됩니다. 한가지 추가로 생각해야 할 점은 제일 큰 자리의 수가 1인 경우 위의 공식이 아닌 다른 공식이 필요하다는 점입니다. 예를 들어 123에서 100의 자리에 해당하는 1의 개수는 ((123/1

std::map에 insert하기

얼마전 회사 동료가 refactoring한 코드를 열심히 revert하고 있어서 물어보니 다음과 같은 문제였습니다. 원래 코드와 refactoring한 코드는 다음과 같더군요. nvp[name] = value; // original code nvp.insert(make_pair(name, value)); // refactored 아시겠지만 위의 두 라인은 전혀 다른 기능을 하죠. C++03에 보면 각각 다음과 같이 설명되어 있습니다. 23.1.2/7 Associative containers a_uniq.insert(t): pair<iterator, bool> inserts t if and only if there is no element in the container with key equivalent to the key of t. The bool component of the returned pair indicates whether the insertion takes place and the iterator component of the pair points to the element with key equivalent to the key of t. 23.3.1.2/1 map element access [lib.map.access] T& operator[](const key_type& x); Returns: (*((insert(make_pair(x, T()))).first)).second. 원래 코드는 매번 새 값으로 이전 값을 overwrite했지만 새 코드는 이전에 키가 존재하면 새값으로 overwrite하지 않습니다. 따라서 원래 기능이 제대로 동작하지 않게 된것이죠. 그래서 물어봤죠. "왜 이렇게 했어?" "insert가 성능이 더 좋다 그래서 했지." :-? 사실 Fowler 아저씨는 Refactoring 책에서 refactoring은 성능을 optimizing하기 위한 것이 아니다라

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("