Ускоряет ли процесс линковки использование ключевого слова static в безымянном пространстве имён?

Question

Для того, чтобы глобальные переменные/функции имели внутреннее связывание (internal linkage), начиная с C++11 достаточно поместить их определение в безымянное пространство имён (unnamed namespace):

namespace {
    int foo() {
        return 42;
    }
}

До C++11 необходимо было указывать ключевое слово static:

static int foo() {
    return 42;
};

Услышал мнение, что с технической точки зрения при объявлении глобальных переменных/функций в безымянных пространствах имён всё равно лучше дописывать ключевое слово static, т.к. это ускоряет процесс линковки:

namespace {
    static int foo() {
        return 42;
    }
}

Насколько это правда?

Answer 1

С точки зрения редактора связей (линкера) anon. namespace и static абсолютно эквивалентны (с точностью до манглирования имён):

$ cat tmp1.cc
namespace { void foo() {} }
$ g++ -c tmp1.cc && readelf -sW tmp1.o | g foo
     5: 0000000000000000    11 FUNC    LOCAL  DEFAULT    1 _ZN12_GLOBAL__N_13fooEv
$ cat tmp2.cc
static void foo() {}
$ g++ -c tmp2.cc && readelf -sW tmp2.o | g foo
     5: 0000000000000000    11 FUNC    LOCAL  DEFAULT    1 _ZL3foov
$ cat tmp3.cc
namespace { static void foo() {} }
$ g++ -c tmp3.cc && readelf -sW tmp3.o | g foo
     5: 0000000000000000    11 FUNC    LOCAL  DEFAULT    1 _ZN12_GLOBAL__N_1L3fooEv

Как можно видеть компилятор использовал символы одинакового типа (LOCAL DEFAULT) в порождённых объектных файлах, а значит редактор связей в процессе линковки будет обрабатывать их одинаковым образом (и соответственно время работы не поменяется).

Answer 2

Во-первых, с точки зрения компилятора функция в анонимном пространстве имен вовсе не эквивалентна такой же функции, но с модификатором static, как то утверждается в другом ответе. Основное отличие - функция в анонимном пространстве имен не учитывается при выполнении ADL. Так что после простой замены static на анонимное пространство имен код может изменить поведение или даже вообще перестать работать, так что тут надо быть аккуратным.

Во-вторых, какай вариант быстрее по скорости последующей линковки - на самом деле не так уж важно, так вклад этих сущностей в общее время линковки не может быть существенным, если только вся программа не состоит из тысяч статических функций и глобальных переменных.

В-третьих, для того чтобы реально ускорить процесс линковки необходимо сокращать число единиц трансляций. В идеале перейти на сборку SCU, где всё реализовано в заголовочных файлах. А вот тут нагромождения глобальных переменных и функций со статическим связыванием могут сыграть с вами злую шутку, так как придется разбираться с коллизиями и избавляться от них.