Unterschied zwischen local/block-scope Deklaration der Funktion mit extern und ohne es

Question

Es scheint, dass in C++ extern (NICHT gefolgt von einer Sprache-Verknüpfung Zeichenfolge literal) keinen Unterschied auf Funktionsdeklarationen bei Namespace-Bereich (Difference between declaration of function with extern and without it). Aber hat es irgendwelche Auswirkungen auf Block-Scope-Funktionsdeklarationen? Oder ist eine lokale Funktionsdeklaration ohne extern immer gleichwertig mit einer mit extern?

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

Vielen Dank!

Answer 1

Die Regeln hier kommen wird von [ basic.link]:

Der Name einer Funktion, die im Blockbereich deklariert wurde, und der Name einer Variablen, die durch einen Blockbereich deklariert wurde extern Deklaration haben eine Verknüpfung. Wenn es eine sichtbare Deklaration einer Entität mit einer Verknüpfung mit demselben Namen und dem Typ gibt, die Entitäten ignoriert, die außerhalb des innersten umschließenden Namespacebereichs deklariert sind, deklariert die Blockbereichsdeklaration diese Entität und erhält die Verknüpfung der vorherigen Deklaration. Wenn es mehr als eine solche übereinstimmende Entität gibt, ist das Programm schlecht formatiert. Andernfalls, wenn keine übereinstimmende Entität gefunden wird, empfängt die Blockbereichseinheit externe Verknüpfung.

Es gibt also keinen Unterschied zwischen einer Blockbereich Funktionsdeklaration mit und ohne external. Aber beachten Sie das interessante Beispiel:

static void f(); 

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

Hier wird der Block Umfang f redeclares ::f und erhält seine gleiche Verknüpfung: intern. Auch wenn es markiert ist extern. Aber das Vorhandensein der Abwesenheit der extern Schlüsselwort ist immateriell

Answer 2

Ob eine Funktion den externen Spezifizierer hat oder nicht, sie hat eine externe Verknüpfung (wenn sie nicht explizit als interne Verknüpfung deklariert ist).

Eine lokale Funktionsdeklaration kann jedoch andere Funktionsdeklarationen mit demselben Namen im äußeren Bereich verbergen.

Betrachten Sie das folgende demonstrative Programm

#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; 
} 

Sein Ausgang ist

f(short) 

Wenn die lokale Deklaration Kommentar dann die Ausgabe

F(int)