В поисках разъяснений по встроенному пространству имен - PullRequest
Новая
       29

В поисках разъяснений по встроенному пространству имен

0 голосов
/ 30 апреля 2018

В cppreference , найден следующий текст:

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

Примечание: правило о специализациях допускает управление версиями библиотеки: различные реализации шаблона библиотеки могут быть определены в различные встроенные пространства имен, в то же время позволяя пользователю расширять родительское пространство имен с явной специализацией основного шаблон.

Что означают эти заявления? Может кто-нибудь объяснить с помощью простого примера?

1 Ответ

0 голосов
/ 30 апреля 2018

Рассмотрим глупый пример: 

#include <iostream>

namespace foo {
    inline namespace v1 {
        template <typename T>
        void bar(T t) {
            (void) t;
            std::cout << "Generic bar\n";
        }
    }

    template <>
    void bar<int>(int v) {
        (void) v;
        std::cout << "Specialized bar\n";
    }
}

int main() {
    foo::bar(12);
    foo::v1::bar(12);
    foo::bar(12.0);
    return 0;
}

Если вы запустите это, вы получите следующий вывод: 

Specialized bar
Specialized bar
Generic bar

Это потому, что вызов foo::bar с int специализируется на foo, хотя реализация по умолчанию существует в foo::v1.

Этот пример бесполезен, но рассмотрим сценарий, в котором вы хотите специализировать функцию template или class во внешней библиотеке (включая stl). Вы не знаете, является ли vector членом std или std::cxx11 (libc ++ использует std::__1 для многих вещей). Поскольку inline namespace - это способ обеспечения контроля версий на уровне API (например, вы изменяете свой inline namespace на v2 и оставляете v1 в покое), это позволяет конечным пользователям специализироваться, не зная подробностей inline д namespace с.

...