インライン名前空間の目的は何ですか? 質問する

インライン名前空間は、次のようなライブラリのバージョン管理機能です。シンボルのバージョン管理ただし、特定のバイナリ実行可能形式 (つまり、プラットフォーム固有) の機能ではなく、純粋に C++11 レベル (つまり、クロスプラットフォーム) で実装されています。

これは、ライブラリ作成者がネストされた名前空間を、そのすべての宣言が周囲の名前空間にあるかのように見せ、動作させることができるメカニズムです (インライン名前空間はネストできるため、「さらにネストされた」名前は最初の非インライン名前空間まで浸透し、その宣言が中間の名前空間のいずれかにあるかのように見せ、動作します)。

例として、 の STL 実装を考えてみましょうvector。C++ の最初からインライン名前空間があったとしたら、C++98 のヘッダーは<vector>次のようになります。

namespace std {

#if __cplusplus < 1997L // pre-standard C++
    inline
#endif

    namespace pre_cxx_1997 {
        template <class T> __vector_impl; // implementation class
        template <class T> // e.g. w/o allocator argument
        class vector : __vector_impl<T> { // private inheritance
            // ...
        };
    }
#if __cplusplus >= 1997L // C++98/03 or later
                         // (ifdef'ed out b/c it probably uses new language
                         // features that a pre-C++98 compiler would choke on)
#  if __cplusplus == 1997L // C++98/03
    inline
#  endif

    namespace cxx_1997 {

        // std::vector now has an allocator argument
        template <class T, class Alloc=std::allocator<T> >
        class vector : pre_cxx_1997::__vector_impl<T> { // the old impl is still good
            // ...
        };

        // and vector<bool> is special:
        template <class Alloc=std::allocator<bool> >
        class vector<bool> {
            // ...
        };

    };

#endif // C++98/03 or later

} // namespace std

namespace std {

    namespace pre_cxx_1997 {
        // ...
    }
#if __cplusplus < 1997L // pre-standard C++
    using namespace pre_cxx_1997;
#endif

#if __cplusplus >= 1997L // C++98/03 or later
                         // (ifdef'ed out b/c it probably uses new language
                         // features that a pre-C++98 compiler would choke on)

    namespace cxx_1997 {
        // ...
    };
#  if __cplusplus == 1997L // C++98/03
    using namespace cxx_1997;
#  endif

#endif // C++98/03 or later

} // namespace std

// I don't trust my STL vendor to do this optimisation, so force these 
// specializations myself:
namespace std {
    template <>
    class vector<MyType> : my_special_vector<MyType> {
        // ...
    };
    template <>
    class vector<MyOtherType> : my_special_vector<MyOtherType> {
        // ...
    };
    // ...etc...
} // namespace std