extern과 함께 함수의 로컬/블록 범위 선언 차이점

Question

C++에서 extern (언어 연결 문자열 리터럴 다음에 오지 않음)은 네임 스페이스 범위 (Difference between declaration of function with extern and without it)에서 함수 선언에 차이가 없음을 나타냅니다. 그러나 블록 범위 함수 선언에 어떤 영향을 미칩니 까? 또는 extern이없는 로컬 함수 선언은 항상 extern 인 것과 같습니다.

namespace { 
    void f() { 
    extern void g(); // has external linkage 
    g(); 
    } 
    void f2() { 
    void g();  // always the same, as if, without extern 
    g(); 
    } 
} 

고마워요!

Answer 1

규칙을에서 오는 것입니다 [ basic.link] :

블록 범위로 선언 된 함수의 이름과 블록 범위로 선언 된 변수의 이름 extern 선언에 링키지가 있습니다. 동일한 이름을 가진 링크가있는 엔티티와 유형의 선언이있는 경우, 블록 범위 선언 은 동일한 엔티티를 선언하고 이전 선언의 연결을 수신합니다. 일치하는 엔티티가 둘 이상인 경우 프로그램이 잘못 구성됩니다. 일치하는 엔티티가 없으면 블록 범위 엔티티 이 외부 연결을 수신합니다.

external을 포함하거나 포함하지 않는 블록 범위 함수 선언에는 차이가 없습니다. 블록 범위를 여기 f redeclares는 ::f을

static void f(); 

void g() { 
    extern void f(); // internal linkage 
} 

와 같은 링크 수신 : 그러나 흥미로운 예를 참고 내부. 비록 그것은 extern이라고 표시되어 있습니다. 그러나 extern 키워드 부재의 존재는 중요하지 않습니다.

Answer 2

함수에 extern 지정자가 있는지 여부는 외부 연결 (명시 적으로 내부 연결이 있다고 선언되지 않은 경우)이 있는지 여부를 지정합니다.

그러나 로컬 함수 선언은 외부 범위에서 같은 이름을 가진 다른 함수 선언을 숨길 수 있습니다.

은 다음과 실증 프로그램을 고려

#include <iostream> 

void f(int) { std::cout << "F(int)" << std::endl; } 
void f(short) { std::cout << "f(short)" << std::endl; } 

int main() 
{ 
    void f(short); 

    f(10); 

    return 0; 
} 

그것의 출력은 로컬 선언을 언급하는 경우

f(short) 

다음 출력이

F(int) 

여기