Skip to main content

C++ of the Day #24 - 다시 ADL

Question



전에도 C++ of the Day #7 - ADL (Argument Dependent Lookup)글에서 ADL을 다룬 적이 있는데 이번엔 좀 더 난이도 있는 버전입니다. (그리고 더 자세한 설명이 있는 버전입니다. ;-) )

내용은 뉴스그룹에서 가져왔습니다. ((VC8 compiler behavior?))


template
ostream& operator<<(ostream& os, const vector& v) // (1)
{
// ...
}

namespace formatter
{
template
struct bracketed
{
bracketed(const T& t) : value(t) {}
T value;
};

template
ostream& operator<<(ostream& os, const bracketed& v) // (2)
{
return os << '[' << v.value << ']'; // (3)
}
};

int main()
{
using formatter::bracketed;

int n = 21014;
vector v;

cout << bracketed(n) << endl; // (4)
//cout << bracketed >(v) << endl; // (5)
}


위와 같은 코드에서 질문은.


  1. 왜 (4)번 라인은 컴파일이 될까?

  2. 왜 (5)번 라인은 컴파일이 되지 않을까?



답을 보시기 전에 한번 생각해 보세요.

Answer



먼저 잠깐 ADL 규칙에서 후보 함수들을 찾아내는 규칙에 대해 간단히 살펴 보면 다음과 같습니다.


  1. 호출되는 함수의 각 argument가 존재하는 class나 namespace내의 같은 이름의 함수들

  2. 일반적인 name lookup 방법에 의해 찾아진 같은 이름의 함수들 ((일반적이라고 표현한 이 방법은 표준 문서에서 말하는 unqualified name lookup입니다.))



위의 규칙에 대해서는 표준 문서에 좀 더 자세히 정의되어 있으나 일단 이렇게만 알고 있어도 문제를 해결하는데 도움이 됩니다.

일단 (4)번 라인부터 살펴 보겠습니다. 먼저 (4)번 라인의 앞부분, 즉 << endl; 부분을 뺀 부분을 다시 써 보면 다음과 같습니다.


operator<<(cout, n)


여기서 cout argument는 std::ostream& 타입이므로 이에 의해 선택되는 후보는 std::operator<< 입니다. 그리고 n argument는 const formatter::bracketed& 타입이므로 (2)번 라인에 있는 formatter::operator<< 함수를 후보에 추가합니다. 마지막으로 일반적인 name lookup 방법에 의해 찾아진 후보는 global scope에 있는 (1)번 라인의 ::operator<<이 됩니다. 컴파일러는 당연히 이중 가장 잘 match되는 (2)번 라인의 formatter namespace안에 있는 함수를 선택합니다.

그럼 위에서 선택된 (2)번에서 호출되는 (3)번 라인으로 가보겠습니다. 이 라인에서 필요한 부분은 다음과 같습니다.


operator<<(cout, v.value)


(4)번 라인에서와 같이 먼저 cout에 의해 std namespace안에 있는 operator<<가 후보에 추가됩니다. 하지만 v.value는 int 즉 primitive type이므로 후보를 추가하지 않습니다. 마지막으로 일반적인 name lookup 방법에 의해 찾아지는 후보는 (2)번 라인 그 자체가 됩니다. 왜냐하면 일반적인 name lookup은 좀 더 작은 scope에서 찾아보고 발견되지 않으면 좀 더 큰 scope에서 찾아보는 방법인데 이 경우 자신이 존재하는 가장 작은 scope인 formatter namespace scope안에서 그 자신이 같은 이름으로 발견되기 때문에 더 이상 상위 scope를 찾지 않기 때문입니다. 이 경우 컴파일러는 ambiguity 없이 std 안의 operator<<을 선택하게 되며 따라서 정상적으로 컴파일됩니다.

그럼 이제 문제가 되는 (5)번 라인을 살펴보겠습니다. 먼저 (5)번 라인은 (4)번 라인과 같은 규칙에 의해 formatter namespace안의 operator<< 함수가 선택됩니다. 다음으로 (3)번 라인에서 필요한 부분은 다음과 같습니다.


operator<<(cout, v.value)


여기서 먼저 cout에 의해 std::operator<<이 선택됩니다. 두번째로 v.value는 const std::vector& 타입으로 먼저 std::operator<<이 선택됩니다. 하지만 이것은 이미 선택되었죠. 다음으로 template argument인 int는 primitive 타입이므로 더이상 후보를 추가하지 않습니다. 다음으로 일반적인 name lookup 방법에 의해 다시 (2)번 라인 자신을 추가합니다. 하지만 이 경우에는 두 후보, 즉 std::operator<< 와 formatter::operator<< 함수 모두 vector를 처리할 수 없으므로 컴파일 에러가 발생하게 됩니다.

그렇다면 어떻게 컴파일 에러 문제를 해결할 수 있을까요?

위에서 알아본대로 이 경우 ADL에 함수가 선택되는 scope는 std 아니면 formatter가 됩니다. 따라서 global scope에 있는 함수를 std 혹은 formatter scope안으로 옮겨주면 됩니다. 이때 std 안으로 옮기는 것은 표준에 따르면 undefined behavior가 됩니다. 따라서 알아서들 사용하시길... 대개 문제는 없습니다. ;-)

만약 std와 formatter namespace 둘 다에 (1)번 라인과 같은 operator<<가 존재한다면 어떻게 될까요? 이 경우에는 컴파일러가 둘 중에 더 나은 것을 선택할 수 없으므로 ambiguity 에러가 발생하게 됩니다.

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에 비할바는 아니지만 쓸만할 것 같습니다. :-)