¿La palabra clave estática en la declaración de la función puede faltar en la definición de la función?

Question

Quiero tener una función estática que declaro en mi archivo .c antes de definirlo:

//file a.c version 1 
static int foo(); 
... 
static int foo() 
{ 
... 
} 

Sin embargo, parece que puedo dejar la palabra clave static fuera de la definición de la función y me da ninguna advertencia del compilador ... p.ej

//file a.c version 2 
static int foo(); 
... 
int foo() 
{ 
... 
} 

¿Estoy en lo correcto al asumir que estas dos formas son exactamente las mismas?
Si es así, ¿por qué se permite esta discrepancia y qué formulario debo usar?

Answer 1

Sí 7.1.1/6

Un nombre declarado en un ámbito espacio de nombres sin almacenamiento de clase-especificador tiene enlazado externo a menos que tenga enlace interno debido a una declaración previa y siempre que no esté declarado const.

Ver también los ejemplos de 7.1.1/7

Answer 2

estática - en este contexto - solo afecta el alcance, cuando declara una función estática tiene alcance de archivo. Por lo tanto, puede verificar fácilmente si es igual al intentar acceder a la función desde otra fuente.

de esa manera evitamos las discusiones sobre el lenguaje compilador etc.

Answer 3

7.1.1/7:

Los vínculos implícitos en las declaraciones sucesivas para una entidad determinada serán de acuerdo. Es decir, dentro de un alcance dado, cada declaración que declare el mismo nombre de objeto o la misma sobrecarga de nombre de una función implicará el mismo enlace .

7.1.1/6: (Gracias Steve - esto también es necesaria para que la respuesta sea clara)

Un nombre declarado en un ámbito espacio de nombres sin almacenamiento de clase-especificador tiene enlace externo a menos que tenga enlace interno debido a una declaración anterior y siempre que no sea declarado const. Los objetos declarados const y no explícitamente declarados extern tienen un enlace interno.

Sí, esos dos son iguales.

Sin embargo, esto no es válido:

int foo(); 

static int foo() { 
    return 0; 
} 

Answer 4

El atributo estático cambia la visibilidad a la unidad de compilación. Esto permite usar el mismo nombre en diferentes archivos para diferentes propósitos. Deberías usar la estática solo una vez. Si tienes un prototipo, debes hacerlo aquí.

Cuando está solicitando C++ no se debe utilizar espacio de nombres estático, sino anónima para que el symbold privada para la unidad de compilación:

namespace { 
    int foo(); 
} 

void bar() 
{ 
    foo(); 
} 

Answer 5

Como comentario, C++ proporciona una alternativa superior a static. También puede utilizar espacio de nombres sin nombre aquí

ejemplo,

namespace 
{ 
    void f() 
    { 
    } 
} 

Vea éstas:

Superiority of unnamed namespace over static?
Why an unnamed namespace is a "superior" alternative to static?