위의 세 줄은 첫 템플릿 인자가 1로 들어오는 경우에는 T를 상속받고, 0으로 들어오면 U로 상속받아지도록 만드는거
selector라는 단어 자체는 키워드로 돼있는 건 아니고 걍 역할이 저런 역할이니까 같다붙인 이름입니다

흠. 승재형 블로그네 -0-

Excelsis님/ 아직 이해가 안되고 있습니다. 일단 템플릿부터 다시 뒤적여 봐야 할 듯 합니다-ㅅ- 뭐가 저렇게 어려운지
책에도 템플릿메타프로그래밍은 가독성이 상당히 떨어지니 주의하라고 나와 있군요 흠흠.

음..님/ ...헛. 저보다 어리신 것이었습니까(덜덜덜)

템플릿 인자에 int값 하나와 타입 두개 T, U를 받도록 셀렉터라는 구조체가 선언되었습니다. 이 구조체는 템플릿 인자를 넣는 것에 따라서 완전히 서로 다른 구조체를 만듭니다.
같은 selecter 로 선언했다고 같은 거 절대로 아닙니다. 상속관계도, 타입도 완전히 다른 별개의 구조체 선언이 된다고 생각하시면 됩니다.
자주 쓰는 STL에서 예를 들어 드리자면, vector<A> xxx 하고, vector<B> yyy 는 서로 아무런 호환도 안된다는 걸 떠올리세요.

그리고 두번째줄과 세번째줄에, 위에서 선언된 셀렉터 선언을 이용해 어떤 다른 구조체를 새로 선언했습니다.
그런데 이 템플릿이라는 것은, 템플릿 인자에 무엇이 들어오는가에 따라 실제로 행해 줄 처리를 특수화시킬 수 있습니다. 이 인자에 A가 들어오면 이걸 하고, X가 들어오면 뭘 하고, 1이 들어오면 어떻게 해라 라고 미리 정해두는 식으로 하는겁니다.
그런식으로 하는 게 둘째줄 셋째줄의 첫 인자, 0과 1인데요... 0이 들어오면 이렇게 선언하고 1이 들어오면 저렇게 선언해라 라고 적는겁니다.
그리고 심심하시면 한번 저런 식으로 어떤 특수화 처리를 똑같은 상황에다 두가지 선언을 해보세요. 클래스 템플릿이 이미 정의되었다면서 에러뜹니다. 어떻게 해야할지 미리 정해주는건데, 같은 상황(입력)에 두가지 이상 어떻게 해라 라고 하니 나보고 어쩌라고 하면서 배째고 퍼지는거...

그리고 각 구조체는 T, U 를 받고, 셀렉터 구조체에 넣는 인자를 T, U를 그대로 넣었습니다.

아 그리고 T, U를 똑같이 쓰니 헷갈리시겠네요. 다시 써봅시다.

template< int C, typename T, typename U > struct selector;
template< typename V, typename W > struct selector<1, V, W> : V {};
template< typename X, typename Y > struct selector<0, X, Y> : Y {};

이래도 똑같습니다. 대충 어떻게 돌아가는지 둘째줄-> 첫째줄 보는 식으로 따라가보세요.

흠.. Excelsis 님께서 앞부분까지만 말씀해주시고 그 뒤로는 설명 안해주셔서, 제가 좀 풀어서 써보겠습니다.

저 앞부분만 보고는 왜 저걸 저렇게 썼는지 알 수 없고, 뒷부분까지 다 적어야 왜 저런걸 썼는지 알 수 있습니다.

http://ricanet.com/new/view.php?id=blog/070303#none

일단은 여기고

하나씩 따라가 보면, 선언부는 node<22> lst 밖에 없는데
node<22>는 정의에 따라
node<22> : select< 22%2, node< 22*3+1>, node<22/2> > 즉, select<0, node<67>,node<11>>과 똑같습니다.
윗 정의에서는 select에서 제일 앞 인자가 0이면 뒤에껄 상속받는 아무일도 안하는 struct 이므로
node<22> : select< 22%2, node< 22*3+1>, node<22/2> >는 node<22> : select< 22%2, node< 22*3+1>, node<22/2> > : node<11> 과 같게 됩니다.
이제 다시 node<11>을 풀어봐야죠
node의 정의에 따라 node<11> : select< 11%2, node< 11 * 3 + 1 >, node< 11 / 2 > > 즉 select< 1, node<34>, node<5> >가 되는데 select에서 제일 앞 인자가 1이므로 앞에껄 골라서
node<11> : select< 11%2, node< 11 * 3 + 1 >, node< 11 / 2 > >는 node<11> : select< 1, node<34>, node<5> > : node<34> 와 똑같습니다.

이런식으로 계속 반복하다 보면
node<22> : selector<..>(이제 selector 생략 -_-) : node<11> : node<34> : node<17> : node<52> : node<26> : node<13> : node<40> : node<20> : node<10> : node< 5 > : node<16> : node<8>:node<4>:node<2>:node<1>
이 됩니다. -_-
각 struct의 소멸자가 소멸하면서 < > 안에 있는 숫자를 출력하고 종료하므로
22, 11, 34, 17, .... , 1 을 출력하고 종료하겠죠

저걸 컴파일 타임에 다 풀어서 만들기 때문에, node에 대한 다른 정의들이 16개나 만들어지고, selector에 대한 정의도 사이사이에 15개나 만들어지기 때문에 컴파일 시간이 많이 증가하고 실행 파일 크기도 커지지만, 런타임에 계산은 전혀 하지 않으므로 속도는 빠릅니다. struct를 전역으로 생성했다가
종료하는게 다 거든요 -_-
뭐든 과유불급이기 때문에 적당히 필요한 곳에 잘 사용하는 것이 필요하겠습니다.

Excelsis/ 한동안 바빠서 답변을 진지하게 읽을 시간이 없었네요.
API공부하다가 머리 식힐 겸 읽어보았습니다.

흠, 제가 알고 있는 것이기는 한데 소스가 저렇게 생소하다보니 눈치채지 못한 것 같습니다. 자세히 설명해 주셔서 감사드리고 이해가 아주 잘되었습니다.
첫번째 라인은 템플릿을 설정하는 것이고 두세번쨰는 어느 정수에 대해서 특화시킨 것이로군요. 그리고 마지막 것은 일반적인 템플릿이구요.

음../ 자세한 설명이군요. 재귀함수와 비슷하다고 할까;; 아무튼;;
자세한 설명 감사드립니다. 아주 잘 이해가 되었습니다. ...이제 자랑해야지(응?)-ㅅ-;;;