예외 사양 우리는 코드를</p> <pre><code>int main() { void f() throw(int); f(); return 0; } void f() { } </code></pre> <p>GCC를 다음 한 선언과 기능

Question

의 실현에 호환되지 않으며 그 소리는 잘 컴파일합니다. 그러나, 표준 등의 단락이있다 :

n3376 15.4/4

함수의 선언 모든 예외, 모든 선언을 허용하는 noexcept-사양이 아닌 예외 사양이있는 경우, 그 함수의 정의 및 명시 적 전문화를 포함하여, 호환 예외 규정을 가져야한다.

그리고 다음과 같은 예를 들어

: GCC - 오류가 연타 -

void f() throw(int); 

int main() 
{ 
    f(); 
    return 0; 
} 

void f() { } 

을 경고하는 이유는이 조각에서 차이가? 감사.

Answer 1

표준의 n3376 15.4/4는 함수의 모든 데 j 레이션과 정의가 동일한 유형을 가져야 함을 지정합니다. 여기 :

void f() throw(int); 
int main() 
{ 
    f(); 
    return 0; 
} 

void f() { } 

선언 void f() throw(int); 및 정의 void f() { } 글로벌 SCOP에 있습니다. 선언은 throw 사양이없는 함수에 대한 정의 인 동안 int를 throw하는 함수에 대한 선언이기 때문에 충돌이 발생합니다.

이제 주 스코프에 선언을 넣으면 정의가 동일한 범위에 있지 않습니다.이 범위에서는 정의를 알 수 없으므로 컴파일 할 수 있습니다.

당신이 내 영어를 이해 하셨기를 바랍니다. 죄송합니다.