c++ - 基于模板参数的动态命名空间使用

Question

我不知道这是否可行，但这是我想要实现的:在模板化类中，我想使用模板参数的命名空间。

例如。

template<class P>
class Foo
{
    public:
        Foo();
        virtual ~Foo();

        void doSomething(P&);
        void doSomethingElse();

    protected:
        // There I'm hardcoding "namespace1" but that's what I'd like to 
        // be possibly dynamic 
        // (I'm assuming template parameter P = namespace1::Type)
        void method1(namespace1::Type1&);
        ...
        void methodN(namespace1::TypeN&);
}

// Again, supposing P == namespace1::Type then I want to be using namespace1 
// everywhere in the implementation...
using namespace namespace1;

template<class P>
void Foo<P>::doSomething(P& parameter)
{
    ...
    Type1 type1 = P.getType1(); // There namespace1::Type1 is returned !!
    method1(type1);
    ...
}

template<class P>
void Foo<P>::doSomethingElse()
{
    ...
    TypeN typen; // There I want to instanciate a namespace1::TypeN !!
    ...
}

...

当然，我不想专门化模板并为每个可能的 P 值提供专门的实现，而且我想避免传递所有类型，如 Type1 和 TypeN 作为模板参数，因为我可能有很多。

这可能吗？

该项目基于 C++3，欢迎使用任何 boost 解决方案。

更新

作为模板参数 P 本身与任何 TypeN 参数完全一样，这可能是正确的方法:

template<typename NAMESPACE>
class Foo
{
    typedef typename NAMESPACE::Parameter MyParameter; 
    typedef typename NAMESPACE::Type1 MyType1; 
    typedef typename NAMESPACE::Type1 MyTypeN; 
    ...
}

Answer 1

是和否

是的，可以从主要类型推断次要类型，通常使用特征系统:

template <typename T> struct Trait { typedef typename T::Secondary Secondary; };

template <typename X>
struct Foo {
    typedef typename Trait<X>::Secondary Secondary;

    void foo(Secondary const& s);
};

不，您不能推导出命名空间，因此不能使用；但请注意如何在类中使用本地别名 (typedef ...) 就没有必要了。