2011-08-04 4 views
4
void func() {assert(0);} 
int main() {void func();} 

위 코드는 func()를 호출하지 않거나 적어도 어설 션에 도달하지 않습니다. 내가 정말로 알아야 할 필요는 없지만, 단지 궁금해서 여기서 무슨 일이 일어나고있는거야?C++ void가 함수 호출의 접두사입니다. 예.

답변

10

func이라는 함수에 대한 프로토 타입을 선언하면 아무 것도 반환하지 않으며 인수도 필요하지 않습니다. 그것은 함수 호출과 함수 프로토 타입 간의 미묘한 차이점 중 하나입니다. main 위의 줄인 void func() {assert(0);}은 이것이 프로토 타입인지 또는 호출인지에 영향을 미치지 않습니다. 당신은 그것을 제거 할 수 있고 코드는 똑같은 일을 할 것입니다.

이렇게하면 함수 프로토 타입을 다시 선언 할 수 있음을 알 수 있습니다. 당신도 이것을 가질 수 있습니다 :

int main() { 
    void blah(); 
    void blah(); 
    void blah(); 
    void blah(); 
} 

그리고 코드는 이전과는 아무런 관계가 없습니다.

void을 벗어나면 해당 함수가 호출됩니다. 또한

는 매개 변수를 사용하는 함수의 경우 그 알이 :

int main() { func(4); } 

이 같은 그 전에 void을 추가 한 경우 프로토 타입으로 전환하지 않을 :

int main() { void func(4); } 

그 구문 오류가 발생합니다.

4

불필요한 경우에도 함수를 선언 할 수 있습니다. 그것이 당신이 한 일이며, 기능을 다시 선언했습니다. 다른 사람들이 지적했듯이

5

, 라인

void func(); 

main의 내부는 함수 프로토 타입이 아닌 기능 func에 대한 호출로 처리됩니다. C 및 C++에서는 원하는 경우 함수 프로토 타입을 함수 내부에 선언 할 수 있지만 실제로 수행하는 경우는 거의 없습니다.

이것이 합법적이라는 사실은 프로그래머에게 모든 종류의 골치 거리를 초래합니다. 당신이

로 코드를 재 작성하는 경우 예를 들어,
(void) func(); 

다음이 누구의 반환 유형을 명시 적으로 표시하는 void에 주조되어 func의 호출로 컴파일 것 "이 반환 값에 대한 상관 없어." 즉,이 괄호 집합은 선언을 명령문으로 변경합니다.

Object myObject(); 

만들 않습니다

Object myObject(137); 

비록 : C++에서

,이 문제는 다음이 코드는 함수 프로토 타입이 아닌 기본 생성자를 호출하는 변수 선언이라는 사실에 의해 악화 될 수있다 객체를 생성자에 전달하고

Object myObject; 

crea 생성자를 호출하지 않고 객체를 테스트합니다.

생성자를 호출하는 동안 개체를 선언하려고 할 때 발생하는 "가장 난감한 구문 분석"이라는 언어의 끔찍한 사례가 있습니다. 예를 들어,이 코드는 법률의 C++이지만, 함수 선언이 아닌 변수 선언입니다 :

set<int> mySet(istream_iterator<int>(cin), istream_iterator<int>()); 

문제는이 함수 선언이 아닌 일시적이 받아들이는 객체의 생성과 구문 분석 할 수 있다는 것입니다 istream_iterator<int>을 매개 변수로 사용합니다. 이 문제를 해결하려면, C에서 + + 당신은

set<int> mySet(istream_iterator<int>(cin), (istream_iterator<int>())); 

, 위와 같이 여분의 괄호가 강제로 선언되기 위해서는 함수 프로토 타입 인에서 문을 명확하게 작성해야 할 것입니다.

희망이 도움이됩니다.

0

로컬 함수 void func()main() 안에 선언하고 있습니다. void 문은 컴파일러가 함수 호출이 아니라 선언임을 나타냅니다. 따라서 void을 제거하면 함수가 호출됩니다.

관련 문제