쓸데없는 C++ 문법고민
글쓴이: winner / 작성시간: 일, 2011/03/06 - 1:12오후
요새 할 일이 없는 것인지 C++를 다시 공부하고 있는데 C++ compiler가 다음과 같은 괴상한 source를 통과시키고 말더군요.
#include <iostream> using namespace std; template<typename T> class Stack { T buf[10]; public: // 다음 중 생성자 모양으로 맞는 것은? // Stack() {} // 1. ok.. Stack<T>() {} // 2. error // 복사생성자는? // Stack(const Stack& s) {}; 1. 자신의 클래스 안에서는 이 표현도 허용 Stack<T>(const Stack<T>& s) {}; // 2. ok // 멤버 함수의 외부 구현 void push(const T& a); // 클래스 템플릿의 멤버함수 템플릿 template<typename U> Stack(const Stack<U>& s); }; int main() { cout << "ok" << endl; }
주석처리되었어야 할 잘못되었을 거라고 생각하는 기본생성자가 통과되더군요.
흥미롭게도 codepad.org(g++), VC++2008 둘다 통과하길래 Comeau C++ online compiler도 시도해봤더니 역시 통과....
혹시나 해서 표준문서를 대충 뒤적여봤지만 못찾겠네요. 2월에 update된 C++0x가 1300쪽이 넘으니...
최근 C++ 다시 공부하고 있습니다만 아무리 생각해도 C++는 심연을 알 수 없는 지옥같네요. ^_^
Forums:
VS 2010 로 테스트 해보았습니다만, 아마 위의
VS 2010 로 테스트 해보았습니다만, 아마 위의 코드는 템플릿의 특성 중 하나인, '사용하지 않으면 컴파일하지 않는다' 에 따라서 컴파일이 되어버린 것 같습니다.
int main() 안에 Stack a; 라고 선언만 하면 컴파일 에러가 잘(!!!) 납니다. 즉, 템플릿 코드를 사용하지 않았기 때문에 컴파일을 제대로(!) 하지 않아서, 마치 컴파일 에러가 없는 것처럼 보인 겁니다 :)
-----------------------------------------------------------------------
GPL 오픈소스 윈도우용 이미지 뷰어 ZViewer - http://zviewer.wimy.com
블로그 : http://blog.wimy.com
템플릿의 인스턴스화!!
템플릿을 인스턴스화 할 필요가 없어서 컴파일러가 인스턴스 즉, 해당 템플릿으로 만들어지는 클래스를 만들지 않았고 그래서 오류를 발생시킬 클래스 자체가 컴파일되지도 않은 상황...
제가 winner 님의 질문에 답글 다는 일도 생기네요.. 물론 윗분 답 보고 판단한 것이지만요... 그리고 제가 잘 짚은게 맞는지도 확실하지는 않지만...
그리고 다시 저 책을 봤는데 인스턴스화가 언제 어떻게 이루어지는가 하는 정확한 설명은 없습니다. 그런 정확한 설명은 아마도 C++ 표준 문서를 찾아봐야 할 것 같습니다. 컴파일러 설명서나....
윤성우씨 책을 좋아하시나 보네요.
저는 그 책을 제대로 읽어보지는 못했지만 제 주변분들이 안 좋아하셔서... 제 주변분들이 모태오덕이긴 합니다만.. ^_^
학교에서 후배들에게 C언어를 윤성우씨 책으로 가르친다는 이야기를 들으면서 졸업했던 기억이 납니다.
저도 테스트를 해보았습니다.
일단, 테스트는 winner 님 방식으로 해야 하는 것이 맞는 것 같습니다.
테스트 결과는 다음과 같습니다.
즉, 생성자를 위의 두 가지 중 한가지로 아무렇게나 해도 컴파일에 문제가 없었습니다.
흥미로운 것은 저 두개의 생성자가 모두 존재하도록 해놓으면 컴파일 안된다는 것입니다.
그러니까 컴파일러는 두개를 구분하지 않고 동일하게 처리하는게 아닌가.. 싶습니다.
그런데 복사생성자에서는 다르더군요.
그러니까 생성자 이름에서는 < T > 가 없는 것과 있는 것이 동일시
복사생성자 이름에서는 < T > 가 반드시 필요
이런게 무슨 큰 의미인지는 모르겠습니다.
템플릿에 대해 잘 모르는 저로서는요..
winner 님도 잊고 계셨던 것 제가 테스트까지 해봤네요..
저는 VS2008 로 테스트 했습니다.
윤성우씨책이 제가 가지고있는 거의 유일한 C++ 책이거든요.
다른 좋은 책들이 더 많을텐데.. 제가 잘 몰라서요..
제가 잘 모르면서 답글 달더라도 이해해 주세요.. 제가 이해하는 만큼만 저도 kldp 에 동참하고 싶습니다.
좋은 하루 되세요~
저는 복사생성자도 다 됩니다.
각괄호 안의 T가 붙어있든 아니든 동일하다고 생각하고 있습니다.
저를 가르쳐주신 분이 잘못 알았을거라고 봅니다.
모르고 답글 달 수 있지요. 사실 누가 진짜 진리를 알 수 있겠어요. 다만 기술논의에 대한 옳고 그름이 사람의 인성에 대한 것으로 확대해석만 안 하면 된다고 봅니다. 누구나 자신이 알고 있는 것(혹은 알고 있다고 생각하는 것)에 대해서 남에게 말할 수 있는 것일테고 논의(대화)를 통해 진실에 다가가는 것일테니까요.
저는 되는군요.
cout을 통한 ok 출력 위에
를 넣었습니다만 저의 VS2010 Express는 무사히 build 하고 "ok"를 출력해주었습니다. Comeau C++ online도 compile이 성공했고, codepad.org(g++)도 ok 출력을 보여주었습니다.
하지만 template 실체화를 빼먹은 것은 확실히 제가 실수했네요.
답글이 없어 잊고 살려고 했는데 관심을 가져주셔서 감사합니다.
댓글 달기