가장 고생스러운 구문 분석

Question

코드를 here에서 얻었습니다.

TimeKeeper time_keeper(Timer()); 

을하지만 return time_keeper.get_time();가있는 경우에만 발생합니다

그것의 모습에서

class Timer { 
public: 
    Timer(); 
}; 

class TimeKeeper { 
public: 
    TimeKeeper(const Timer& t); 

    int get_time() 
    { 
     return 1; 
    } 
}; 

int main() { 
    TimeKeeper time_keeper(Timer()); 
    return time_keeper.get_time(); 
} 

, 그것으로 인해 라인에 오류를 컴파일 받아야합니다.

이 줄이 중요한 이유는 무엇입니까? 컴파일러는 time_keeper(Timer()) 구조에서 모호한 부분을 나타냅니다.

Answer 1

이것은 TimeKeeper time_keeper(Timer());이 변수 정의가 아닌 함수 선언으로 해석되기 때문입니다. 이것은 자체적으로 오류가 아니지만 time_keeper (TimeKeeper 인스턴스가 아닌 함수)의 get_time() 멤버에 액세스하려고하면 컴파일러가 실패합니다. [왜 생성자에는 전화가 없다]

int main() { 
    // time_keeper gets interpreted as a function declaration with a function argument. 
    // This is definitely *not* what we expect, but from the compiler POV it's okay. 
    TimeKeeper time_keeper(Timer (*unnamed_fn_arg)()); 

    // Compiler complains: time_keeper is function, how on earth do you expect me to call 
    // one of its members? It doesn't have member functions! 
    return time_keeper.get_time(); 
}