如何获取模板 class 的命名空间？

Question

我想写一个模板 class 像：

template<class A>
class B{/*class B code*/};

有 class A 位于各种命名空间中，例如：

namespace ns1{
class X{/*class X code*/};
class A{/*class A code*/};
}
namespace ns2{
class X{/*class X code*/};
class A{/*class A code*/};
}

现在如何在与 B 内某处的 A 相同的命名空间中访问 class X？

Answer 1

现在如何在与 B 内某处的 A 相同的命名空间中访问 class X？

你没有。 没有办法获取一个类型，提取它的名称空间，并通过组合该名称空间和名称来构建一个新的类型名称。

如果您需要B模板能够访问与模板参数给定的类型相关联的某些 class，那么该关联应该是显式的，以某种方式是该类型接口的一部分，而不是基于任意命名公约。

指定此类事物的两种传统机制是成员类型别名或特征 class：

//Member alias
template<class A>
class B{
  /* typename A::X is required to be an alias for the class associated with `A`.
};

namespace ns1{
class U{/*class U code*/};
class A{ using X = U;};
}

//traits
//Default implementation
template<class A>
class A_traits
{
  using X = typename A::X; //By default, assume that `A` provides a member typedef.
};

template<class A>
class B{
  /* typename A_traits<A>::X is required to be an alias for the class associated with `A`.
};

namespace ns1{
class U{/*class U code*/};
class A{}; //Doesn't provide the default.
}

//Specialization for `ns1::A`. Must be declared in the same namespace as the primary `A_traits` namespace
template<>
class A_traits<ns1::A>
{
  using X == ns1::U;
};

特征机制更复杂，但它适用于您无法控制的类型以及int和指针等基本类型。