为什么您更喜欢未命名的命名空间而不是静态函数？

C++ 标准在第 7.3.1.1 节“未命名空间”第 2 段中写道：

static 关键字的用法是 在 namespace 作用域，即 unnamed-namespace 提供了一个更好的选择。

静态仅适用于对象、函数和匿名联合的名称，不适用于类型声明。

编辑：

弃用关键字（影响翻译单元中变量声明的可见性）的决定已被撤销（参考文献）。在这种情况下，使用 a 或 unnamed 基本上又回到了做完全相同事情的两种方式。有关更多讨论，请参阅此 SO 问题。staticstaticnamespace

Unnamed 的优点是允许您定义 translation-unit-local 类型。有关更多详细信息，请参阅此 SO 问题。namespace

感谢迈克·珀西（Mike Percy）引起了我的注意。

刚才在阅读您的问题时才了解到此功能，我只能推测。与文件级静态变量相比，这似乎提供了几个优点：

• 匿名命名空间可以相互嵌套，提供多个级别的保护，符号无法逃脱。
• 可以将多个匿名命名空间放在同一个源文件中，从而在同一文件中创建不同的静态级范围。

我有兴趣了解是否有人在实际代码中使用过匿名命名空间。

C++98 标准不推荐使用静态关键字。static 的问题在于它不适用于类型定义。它也是一个重载的关键字，在不同的上下文中以不同的方式使用，因此未命名的命名空间稍微简化了事情。

将方法放在匿名命名空间中可防止意外违反一个定义规则，从而使您永远不必担心将帮助程序方法命名为与可能链接的其他方法相同的方法。

而且，正如 Luke 所指出的，匿名命名空间在标准中比静态成员更受欢迎。

我最近开始在代码中用匿名命名空间替换静态关键字，但立即遇到了一个问题，即命名空间中的变量不再可用于调试器中的检查。我使用的是 VC60，所以我不知道这是否是其他调试器的问题。我的解决方法是定义一个“模块”命名空间，并在其中为它指定了我的 cpp 文件的名称。

例如，在我的 XmlUtil.cpp 文件中，我为所有模块变量和函数定义了一个命名空间。这样，我就可以在调试器中应用限定来访问变量。在这种情况下，它与公共命名空间（例如我可能想在其他地方使用的命名空间）区分开来。XmlUtil_I { ... }XmlUtil_I::_IXmlUtil

我认为与真正的匿名方法相比，这种方法的一个潜在缺点是，有人可能会通过在其他模块中使用命名空间限定符来违反所需的静态范围。我不知道这是否是一个主要问题。

有一种极端情况，静电会产生令人惊讶的效果（至少对我来说是这样）。C++03 标准在 14.6.4.2/1 中规定：

对于依赖于模板参数的函数调用，如果函数名称是 unqualified-id 而不是 template-id，则使用通常的查找规则（3.4.1、3.4.2）查找候选函数，但以下情况除外：

• 对于使用非限定名称查找 （3.4.1） 的查找部分，仅找到具有模板定义上下文中的外部链接的函数声明。
• 对于使用关联命名空间 （3.4.2） 的查找部分，仅找到在模板定义上下文或模板实例化上下文中找到的具有外部链接的函数声明。

...

下面的代码将调用，而不是您预期的那样。foo(void*)foo(S const &)

template <typename T>
int b1 (T const & t)
{
  foo(t);
}

namespace NS
{
  namespace
  {
    struct S
    {
    public:
      operator void * () const;
    };

    void foo (void*);
    static void foo (S const &);   // Not considered 14.6.4.2(b1)
  }

}

void b2()
{
  NS::S s;
  b1 (s);
}

就其本身而言，这可能没什么大不了的，但它确实强调了对于完全兼容的 C++ 编译器（即支持 的编译器），关键字仍将具有任何其他方式都无法使用的功能。exportstatic

// bar.h
export template <typename T>
int b1 (T const & t);

// bar.cc
#include "bar.h"
template <typename T>
int b1 (T const & t)
{
  foo(t);
}

// foo.cc
#include "bar.h"
namespace NS
{
  namespace
  {
    struct S
    {
    };

    void foo (S const & s);  // Will be found by different TU 'bar.cc'
  }
}

void b2()
{
  NS::S s;
  b1 (s);
}

确保在使用 ADL 的模板中找不到未命名命名空间中的函数的唯一方法是使其 .static

现代 C++ 更新

从 C++ '11 开始，未命名命名空间的成员隐式具有内部链接 （3.5/4）：

未命名的命名空间或在未命名的命名空间中直接或间接声明的命名空间具有内部链接。

但与此同时，14.6.4.2/1 进行了更新，删除了对链接的提及（这取自 C++ '14）：

对于后缀表达式是依赖名称的函数调用，候选函数是使用 通常的查找规则（3.4.1、3.4.2），但以下情况除外：

• 对于使用非限定名称查找 （3.4.1） 的查找部分，仅找到模板定义上下文中的函数声明。

• 对于使用关联命名空间 （3.4.2） 的查找部分，仅找到在模板定义上下文或模板实例化上下文中找到的函数声明。

结果是静态命名空间成员和未命名命名空间成员之间的这种特殊差异不再存在。

根据经验，我只想指出，虽然将以前的静态函数放入匿名命名空间是C++方法，但较旧的编译器有时可能会遇到问题。我目前为我们的目标平台使用一些编译器，更现代的 Linux 编译器可以将函数放入匿名命名空间中。

但是，在Solaris上运行的旧编译器，在未指定的未来版本之前，我们一直使用它，有时会接受它，有时将其标记为错误。错误不是我担心的，而是它接受错误时可能做的事情。因此，在我们全面实现现代之前，我们仍然使用静态（通常是类范围的）函数，而我们更喜欢匿名命名空间。

此外，如果对变量使用 static 关键字，例如以下示例：

namespace {
   static int flag;
}

它不会在映射文件中看到

在编译以下代码时，可以看到匿名命名空间和静态函数之间的编译器特定差异。

#include <iostream>

namespace
{
    void unreferenced()
    {
        std::cout << "Unreferenced";
    }

    void referenced()
    {
        std::cout << "Referenced";
    }
}

static void static_unreferenced()
{
    std::cout << "Unreferenced";
}

static void static_referenced()
{
    std::cout << "Referenced";
}

int main()
{
    referenced();
    static_referenced();
    return 0;
}

使用 VS 2017（指定级别 4 警告标志 /W4 以启用警告 C4505：未引用的本地函数已被删除）和带有 -Wunused-function 或 -Wall 标志的 gcc 4.9 编译此代码表明，VS 2017 只会对未使用的静态函数生成警告。GCC 4.9 及更高版本以及 CLANG 3.3 及更高版本将对命名空间中未引用的函数生成警告，也会对未使用的静态函数生成警告。

gcc 4.9 和 MSVC 2017 的现场演示

就我个人而言，我更喜欢静态函数而不是无名命名空间，原因如下：

• 仅从函数定义来看，很明显，它是编译它的翻译单元的私有的。使用无名称命名空间时，可能需要滚动并搜索以查看函数是否在命名空间中。

• 命名空间中的函数可能会被某些（较旧的）编译器视为外部函数。在 VS2017 中，它们仍然是外部的。因此，即使函数位于无名命名空间中，您可能仍希望将它们标记为静态。

• 静态函数在 C 或 C++ 中的行为非常相似，而无名命名空间显然只有 C++。无名命名空间还会在缩进中增加额外的级别，我不喜欢这样:)

因此，我很高兴看到不再弃用对函数使用静态。

区别在于损坏的标识符的名称 （ vs ，这并不重要，但它们都组装到符号表中的本地符号（没有 asm 指令）。_ZN12_GLOBAL__N_11bE_ZL1b.global

#include<iostream>
namespace {
   int a = 3;
}

static int b = 4;
int c = 5;

int main (){
    std::cout << a << b << c;
}

        .data
        .align 4
        .type   _ZN12_GLOBAL__N_11aE, @object
        .size   _ZN12_GLOBAL__N_11aE, 4
_ZN12_GLOBAL__N_11aE:
        .long   3
        .align 4
        .type   _ZL1b, @object
        .size   _ZL1b, 4
_ZL1b:
        .long   4
        .globl  c
        .align 4
        .type   c, @object
        .size   c, 4
c:
        .long   5
        .text

对于嵌套的匿名命名空间：

namespace {
   namespace {
       int a = 3;
    }
}

        .data
        .align 4
        .type   _ZN12_GLOBAL__N_112_GLOBAL__N_11aE, @object
        .size   _ZN12_GLOBAL__N_112_GLOBAL__N_11aE, 4
_ZN12_GLOBAL__N_112_GLOBAL__N_11aE:
        .long   3

翻译单元中的所有一级匿名命名空间都相互组合，翻译单元中所有二级嵌套匿名命名空间相互组合

您还可以在匿名命名空间中具有嵌套命名空间或嵌套内联命名空间

namespace {
   namespace A {
       int a = 3;
    }
}

        .data
        .align 4
        .type   _ZN12_GLOBAL__N_11A1aE, @object
        .size   _ZN12_GLOBAL__N_11A1aE, 4
_ZN12_GLOBAL__N_11A1aE:
        .long   3

which for the record demangles as:
        .data
        .align 4
        .type   (anonymous namespace)::A::a, @object
        .size   (anonymous namespace)::A::a, 4
(anonymous namespace)::A::a:
        .long   3

//inline has the same output

您也可以拥有匿名内联命名空间，但据我所知，在匿名命名空间上具有 0 效果inline

inline namespace {
   inline namespace {
       int a = 3;
    }
}

_ZL1b：表示这是一个损坏的标识符。 表示它是通过 的本地符号。 是标识符的长度，然后是标识符_ZLstatic1bb

_ZN12_GLOBAL__N_11aE _Z表示这是一个被篡改的标识符。 表示 this is a namespace 是匿名命名空间名称的长度，然后是匿名命名空间名称 ，然后是标识符的长度，是标识符并关闭驻留在命名空间中的标识符。N12_GLOBAL__N_1_GLOBAL__N_11aaaE

_ZN12_GLOBAL__N_11A1aE与上面相同，只是其中有另一个命名空间 （） 称为 ，前缀为 ，其长度为 1。匿名命名空间都具有1AAA_GLOBAL__N_1