命名空间中的私有类

Question

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

提交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;
}

文件main.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:
}

因此,您可以从相当长时间的示例中看到,最终目标是不允许最终用户声明class awith float作为typename,并且只能使用具有特定类型的预定义类,如声明所述typedef a<double> a_double;.

我认为上面的这个例子会允许这个,但是我错了,因为我可以创建a<float>如上所述,因为我包括b.hpp,反过来包括a.hpp!所以你看到了问题!(希望？)

如果可能的话,可能有一个简单的解决方案.

Answer 1

如果您只希望能够使用类型别名而不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命名空间就必须被挖掘出来,这通常被认为是一件坏事.如果用户决定他们想要这样做,他们已经放弃了避免麻烦,你不应该采取额外的措施来阻止他们伤害自己.