未命名/匿名名称空间vs.静态函数

c++的一个特性是能够创建未命名(匿名)的名称空间，如下所示:

namespace {
    int cannotAccessOutsideThisFile() { ... }
} // namespace

您可能会认为这样的特性毫无用处——因为不能指定名称空间的名称，因此不可能从外部访问其中的任何内容。但是，这些未命名的名称空间可以在创建它们的文件中访问，就像对它们有一个隐式的using子句一样。

我的问题是，为什么或者什么时候这比使用静态函数更可取?或者它们本质上是做同一件事的两种方式?

当前回答

区别在于被破坏的标识符的名称(_ZN12_GLOBAL__N_11bE vs _ZL1b，这并不重要，但它们都被组装为符号表中的局部符号(缺少.global asm指令)。

#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 namespace {
   inline namespace {
       int a = 3;
    }
}

_ZL1b: _Z表示这是一个错误的标识符。L表示它是通过静态的局部符号。1是标识符b的长度，然后是标识符b

_ZN12_GLOBAL__N_11aE _Z表示这是一个错误的标识符。N表示这是一个命名空间12是匿名命名空间名称_GLOBAL__N_1的长度，然后是匿名命名空间名称_GLOBAL__N_1，然后1是标识符a的长度，a是标识符a, E关闭命名空间中的标识符。

_ZN12_GLOBAL__N_11A1aE与上面相同，除了其中有另一个命名空间(1A)称为A，前缀为A的长度为1。匿名命名空间的名称都是_GLOBAL__N_1

2020-06-03 15:06:48

其他回答

将方法放在匿名名称空间中可以防止您意外地违反One Definition Rule，允许您不必担心将您的helper方法命名为与您可能链接的其他方法相同的方法。

而且，正如luke所指出的，标准更喜欢匿名名称空间而不是静态成员。

2008-09-30 23:20:49

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

It's obvious and clear from function definition alone that it's private to the translation unit where it's compiled. With nameless namespace you might need to scroll and search to see if a function is in a namespace. Functions in namespaces might be treated as extern by some (older) compilers. In VS2017 they are still extern. For this reason even if a function is in nameless namespace you might still want to mark them static. Static functions behave very similar in C or C++, while nameless namespaces are obviously C++ only. nameless namespaces also add extra level in indentation and I don't like that :)

所以，我很高兴看到静态函数不再被弃用了。

2018-04-05 18:25:46

我刚才在看你的问题时才了解到这个特点，我只能猜测。这似乎比文件级静态变量提供了几个优势:

匿名名称空间可以嵌套在另一个名称空间中，提供多级保护，使符号无法逃脱。可以在同一个源文件中放置多个匿名名称空间，从而在同一个文件中创建不同的静态级作用域。

我想知道是否有人在实际代码中使用过匿名名称空间。

2008-09-30 19:09:26

在第7.3.1.1节第2段中，c++标准如下:

static关键字的用法是类中声明对象时不支持命名空间范围，即未命名的命名空间提供了一个更好的选择。

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

编辑:

反对使用static关键字(影响翻译单元中变量声明的可见性)的决定已被推翻(ref)。在这种情况下，使用静态名称空间或未命名名称空间本质上是做完全相同的事情的两种方式。更多讨论请参见这个SO问题。

未命名的名称空间仍然具有允许您定义翻译单元局部类型的优势。请参阅这个SO问题了解更多细节。