템플릿 아규먼트 생략해도 인스턴스화가 가능?
글쓴이: freezm7 / 작성시간: 월, 2004/06/21 - 5:00오후
Modern C++ Design 을 읽다가 의문점이 생겼습니다.
Functor 클래스 템플릿의 정의를 보면, (직접 loki 소스 받아서 Copy & Paste 한 것입니다.)
template <typename R, class TList = NullType, template<class> class ThreadingModel = DEFAULT_THREADING> class Functor { public: template <class PtrObj, typename MemFn> Functor(const PtrObj& p, MemFn memFn) : spImpl_(new MemFunHandler<Functor, PtrObj, MemFn>(p, memFn)) {} ...... }
와 같이, Functor 는 최소한 R 을 필요로 합니다.
그런데 책 205 페이지를 보면,
Functor<> cmd1(&geronimo, &Parrot::Eat);
처럼, Functor<> 를, 즉 아무런 타입 인자 없이 템플릿 클래스를 인스턴스화 하고 있습니다.
이상하게 생각되어 제가 직접 비슷한 코드를 만들어 확인해 봤습니다.
template <typename D> class DP { public: DP(const D& d) : _d(d) { } private: D _d; }; int main(int argc, char* argv[]) { DP<> di(static_cast<int>(10)); return 0; }
위의 코드는 컴파일 되지 않았습니다.
물론, DP<int> 라고 하면 컴파일 되었구요.
책에 나온 코드는 어떻게 가능한 것인지 궁금하네요.
이 책 읽어보신 분이 많으실 것 같은데,
원리를 아시는 분 계시면 가르쳐 주세요.
Forums:
정오표..
정오표에 올라와 있는 부분이네요
205페이지, 첫 번째 소스 부분
Functor<>
→ Functor<void>
http://www.infopub.co.kr/pdspool/common/correct_bug/8054-517-ox.hwp
--
cdecl
T.T
정오표 T.T
삽질했네요..
군데군데 번역 오류가 조금 있네요.
'cmd' 를 자꾸 '층'이라고 적은 것도 그렇고 ^-^
암튼 감사합니다. 쓸데없는데서 헤맬뻔 했네요.
즐겁게 살아 볼까나~*
저도 최근에 modern c++ design 책을 보고 읽고싶다고 생각했
저도 최근에 modern c++ design 책을 보고 읽고싶다고 생각했는데, 꼭 읽어봐야겠군요.
구글에서 검색해보니, 공식 홈페이지가 있네요.
http://www.moderncppdesign.com/
loki 프로젝트: http://sourceforge.net/projects/loki-lib/
댓글 달기