쓸데없는 C++ 문법고민

winner의 이미지

요새 할 일이 없는 것인지 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++는 심연을 알 수 없는 지옥같네요. ^_^

zelon의 이미지

VS 2010 로 테스트 해보았습니다만, 아마 위의 코드는 템플릿의 특성 중 하나인, '사용하지 않으면 컴파일하지 않는다' 에 따라서 컴파일이 되어버린 것 같습니다.

int main() 안에 Stack a; 라고 선언만 하면 컴파일 에러가 잘(!!!) 납니다. 즉, 템플릿 코드를 사용하지 않았기 때문에 컴파일을 제대로(!) 하지 않아서, 마치 컴파일 에러가 없는 것처럼 보인 겁니다 :)

-----------------------------------------------------------------------
GPL 오픈소스 윈도우용 이미지 뷰어 ZViewer - http://zviewer.wimy.com
블로그 : http://blog.wimy.com

jeongheumjo의 이미지

이런 템플릿의 인스턴스화는 '컴파일러에 의해 이루어지므로' 클래스 템플릿의 선언과 정의는 다른 파일에 존재할 수 없다.!!
- 열혈강의 C++ 프로그래밍 by 윤성우

템플릿을 인스턴스화 할 필요가 없어서 컴파일러가 인스턴스 즉, 해당 템플릿으로 만들어지는 클래스를 만들지 않았고 그래서 오류를 발생시킬 클래스 자체가 컴파일되지도 않은 상황...

제가 winner 님의 질문에 답글 다는 일도 생기네요.. 물론 윗분 답 보고 판단한 것이지만요... 그리고 제가 잘 짚은게 맞는지도 확실하지는 않지만...

그리고 다시 저 책을 봤는데 인스턴스화가 언제 어떻게 이루어지는가 하는 정확한 설명은 없습니다. 그런 정확한 설명은 아마도 C++ 표준 문서를 찾아봐야 할 것 같습니다. 컴파일러 설명서나....

winner의 이미지

저는 그 책을 제대로 읽어보지는 못했지만 제 주변분들이 안 좋아하셔서... 제 주변분들이 모태오덕이긴 합니다만.. ^_^
학교에서 후배들에게 C언어를 윤성우씨 책으로 가르친다는 이야기를 들으면서 졸업했던 기억이 납니다.

jeongheumjo의 이미지

일단, 테스트는 winner 님 방식으로 해야 하는 것이 맞는 것 같습니다.

	Stack<int> a;    <-- 맞는 방식
	//Stack a;       <-- 에러가 나긴 하지만 본 테스트 목적과 상관없는 에러임(템플릿 클래스의 인스턴스를 만들 때 타입 명시가 필요해서..)

테스트 결과는 다음과 같습니다.
	Stack() {}    // 1. ok
	Stack<T>() {} // 2. ok

즉, 생성자를 위의 두 가지 중 한가지로 아무렇게나 해도 컴파일에 문제가 없었습니다.
흥미로운 것은 저 두개의 생성자가 모두 존재하도록 해놓으면 컴파일 안된다는 것입니다.
그러니까 컴파일러는 두개를 구분하지 않고 동일하게 처리하는게 아닌가.. 싶습니다.

그런데 복사생성자에서는 다르더군요.

	Stack(const Stack& s) {};            // error
	Stack(const Stack<T>& s) {};         // error
	Stack<T>(const Stack<T>& s) {};      // ok

그러니까 생성자 이름에서는 < T > 가 없는 것과 있는 것이 동일시
복사생성자 이름에서는 < T > 가 반드시 필요

이런게 무슨 큰 의미인지는 모르겠습니다.
템플릿에 대해 잘 모르는 저로서는요..
winner 님도 잊고 계셨던 것 제가 테스트까지 해봤네요..
저는 VS2008 로 테스트 했습니다.

윤성우씨책이 제가 가지고있는 거의 유일한 C++ 책이거든요.
다른 좋은 책들이 더 많을텐데.. 제가 잘 몰라서요..
제가 잘 모르면서 답글 달더라도 이해해 주세요.. 제가 이해하는 만큼만 저도 kldp 에 동참하고 싶습니다.

좋은 하루 되세요~

winner의 이미지

각괄호 안의 T가 붙어있든 아니든 동일하다고 생각하고 있습니다.
저를 가르쳐주신 분이 잘못 알았을거라고 봅니다.

모르고 답글 달 수 있지요. 사실 누가 진짜 진리를 알 수 있겠어요. 다만 기술논의에 대한 옳고 그름이 사람의 인성에 대한 것으로 확대해석만 안 하면 된다고 봅니다. 누구나 자신이 알고 있는 것(혹은 알고 있다고 생각하는 것)에 대해서 남에게 말할 수 있는 것일테고 논의(대화)를 통해 진실에 다가가는 것일테니까요.

winner의 이미지

cout을 통한 ok 출력 위에

Stack<int> a;

를 넣었습니다만 저의 VS2010 Express는 무사히 build 하고 "ok"를 출력해주었습니다. Comeau C++ online도 compile이 성공했고, codepad.org(g++)도 ok 출력을 보여주었습니다.

하지만 template 실체화를 빼먹은 것은 확실히 제가 실수했네요.
답글이 없어 잊고 살려고 했는데 관심을 가져주셔서 감사합니다.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.