函数定义中可以缺少函数声明中的 static 关键字吗？

Question

我想要一个静态函数，在定义它之前在 .c 文件中声明它：

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

但是，似乎我可以将 static 关键字保留在函数定义之外，并且我不会收到编译器警告。例如，

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

我假设这两种形式完全相同吗？
如果是这样，为什么允许这种差异以及我应该使用哪种形式？

Answer 1

是 7.1.1/6

在没有存储类说明符的命名空间范围中声明的名称具有外部链接，除非它由于先前的声明而具有内部链接，并且没有声明为 const >.

另请参见 7.1.1/7 的示例

Answer 2

7.1.1/7：

连续的暗示的联系
特定实体的声明应
同意。也就是说，在一定的范围内，
每个声明都声明相同
对象名称或相同的重载
函数名称应暗示相同
链接。

7.1.1/6：（谢谢史蒂夫 - 这也是使答案清晰所需要的）

在命名空间范围内声明的名称
没有存储类说明符有
外部链接，除非有
由于先前的内部链接
声明并假设它不是
声明为常量。声明为 const 的对象
并且没有明确声明 extern
具有内部链接。

是的，这两个是一样的。

然而这是无效的：

int foo();

static int foo() {
  return 0;
}

Answer 3

static - 在这种情况下 - 仅影响作用域，当您将函数声明为静态时，它具有文件作用域。因此，您可以通过尝试从其他来源访问该函数来轻松检查它是否相同。

这样我们就避免了有关编译器语言等的讨论。

Answer 4

static 属性更改编译单元的可见性。这允许在不同的文件中出于不同的目的使用相同的名称。您应该只使用一次 static 。如果你有原型，你必须在这里做。

当您要求使用 C++ 时，您不应使用静态名称空间，而应使用匿名名称空间来使符号对编译单元私有：

namespace {
    int foo();
}

void bar()
{
    foo();
}

Answer 5

顺便说一句，C++ 提供了一个优于static 的替代方案。您还可以在此处使用未命名命名空间

示例，

namespace 
{  
   void f()
   {
   }
}

请参阅这些：

未命名命名空间相对于静态的优越性？< /a>
为什么未命名命名空间是静态命名空间的“高级”替代品？< /a>