命名空间中的私有类

Private Class within Namespace

本文关键字：命名空间      更新时间：2023-10-16

我在头文件的命名空间中有一个类。该类需要模板类型，我只想使用某些类型。下面显示了一个示例。

文件 a.hpp

// a.hpp
namespace a_ns {
template<class T>    
class a {
    // stuff
};
typedef a<double> a_double;
} // end of namespace
// stuff

文件 b.hpp

// b.hpp
#include <a.hpp>
namespace b_ns {
    typedef a_ns::a_double b;
}

文件主.cpp

// main.cpp
#include "b.hpp"
int main() {
    b_ns::b my_b; // <<<--- I LIKE this!
    a_ns::a<float> my_a_which_is_not_allowed; // <<<--- I DO NOT LIKE THIS THOUGH! D:
}

因此，正如您从相当冗长的例子中看到的那样，最终目标是不允许最终用户声明以 float 作为类型名的class a，并且只能使用具有特定类型的预定义类，如 typedef a<double> a_double; 所述。

我认为上面的这个例子会允许这样做，但是我错了，因为我可以像上面一样创建一个a<float>，因为我包括b.hpp，而a.hpp又包括！所以你看到了问题所在！(希望？

如果可能的话，可能有一个简单的解决方案。

如果您只想使用类型别名而不直接使用a，则可以将其放入用户应该知道不使用的实现命名空间中：

namespace a_ns {
namespace detail {
    template<class T>        
    class a {
        // stuff
    };
}
typedef detail::a<double> a_double;
} // end of namespace

现在任何东西都可以使用 a_double ，但要直接使用 a，必须挖掘您的 detail 命名空间，这通常被认为是一件坏事。如果用户决定要这样做，他们已经放弃了远离麻烦，您不应该采取额外的措施来阻止他们伤害自己。

以下是使用static_assert的方法

#include <type_traits>
template <typename T>
class X
{
  T i;
  static_assert(!std::is_same<float,T>::value,"Don't use floating point");
};

int main()
{
    X<int> a;
    //X<float> b; fails at compile time
    return 0;
}

只要变量不是常量或易失性，这将起作用

相关文章：