항목 6 : C++ 컴파일러의 어이없는 분석 결과를 조심하자.

STL 컨테이너에게만 국한된 이야기가 아니니 소스코드로 컴파일러가 어떻게 해석하는지 추측해 보자.
// 소스코드 1-1 #include <iostream> int fa( double i ); // double 형 인자를 받겠다는 의미 int fb( double (i) ); // 이하 동문 int fc( double ); // 정의에선 매개변수명을 생략 가능 int main(void) { std::cout << fa(4.5) << std::endl; // 동일한 출력 std::cout << fb(4.5) << std::endl; // 이하 동문 std::cout << fc(4.5) << std::endl; // 이하 동문 return 0; } int fa( double i ) { return i; } int fb( double (i) ) { return i; } int fc( double i ) // 선언 구문에서 매개변수명을 지정해야함 { return i; }
소스 코드를 보면 알겠지만 (i) 가 좀 생소하다. 컴파일러는 (i) 에서의 () 는 생략해 버린다. 하지만 함수의 매개변수로 () 는 좀 다른 의미를 가지고 있다. 소스 코드로 대신 한다.
// 소스코드 1-2 #include <iostream> // 아래 3 함수는 같은 매개변수 형식을 따른다. // 매개변수는 double형을 반환하고 void형을 매개변수로 하는 함수 이다. int gfa( double (*pf)() );// double func(void) 인자. int gfb( double pf() ); // 이하 동문 int gfc( double () ); // ?? 헛, 이것도 같다.! double ftest(); // 인자로 쓰기 위한 함수 int main(void) { std::cout << gfa(ftest) << std::endl; // 4 출력 std::cout << gfb(ftest) << std::endl; // 이하 동문 std::cout << gfc(ftest) << std::endl; // 이하 동문 return 0; } int gfa( double (*pf)() ) { return pf(); } int gfb( double pf() ) { return pf(); } int gfc( double pf() ) // 소스코드 1-1의 fc와 같은 의미다. { return pf(); } double ftest() { return 4.5; }
.. 그렇다 컴파일러는 "함수 매개변수로 () 로 주게 되면, .. 함수의 포인터가 인자네~"라고 인식한다! 그렇기 때문에.. 아래 코드는 list<int>를 반환하는 data명의 함수 선언으로 인식한다.
#include <iostream> #include <list> #include <fstream> int main(void) { // typedef basic_ifstream<char, char_traits<char> > ifstream; // 이거 컴파일이 안된다.. ifstream 이거 .. 생성자가 이런 식인데.. 템플릿 에러 나네; // 혹시 이거 사용법 아시는분 .. 알려 주세요. std::ifstream dataFile("./test/main.cpp"); std::list<int> data(std::istream_iterator<int>(dataFile), istream_iterator<int>()); }
여담으로
혹시 ifstream 사용법 아시는분은, 좀 알려 주세요.. MSVC2005 입니다.

2008/07/27 20:41 추가 : fstream 헤더파일에 약간 문제가 있었다.(아마도 보는 중에 오타 난 듯)


관련링크
http://lagoons.net/tt/574 .. 왜 트랙백 발송이 안되지..