字符串化和取消字符串化模板参数

Question

假设我有很多类在命名中带有“*Pack”对应项。例如，如果我有一个类 Moo，我就有 MooPack，如果我有 Foo，我也有 FooPack。

我想要一个 C++ 模板化函数，它从 Foo 返回 FooPack

template <class X, class XPack>
XPack packify(X input){
   ...
}

是否可以在不必指定模板参数的情况下执行此操作？目前，必须按如下方式完成：

Moo moo;
MooPack mooppey = packify<Moo, MooPack>(moo);

如果它只需要 Moo 模板参数，那么丑陋的模板规范位可能会消失，但除了使用 #defines（这也不是真正的最佳解决方案）之外，仍然没有不要这样做。

有办法吗，还是我必须等待c++0x？

Answer 1

你不必指定 Moo，只需指定 MooPack，因为 moo 会为你推导出参数。不过，我建议您在 Moo 本身内部将 MooPack 设为 typedef 或嵌套类（称为 Pack），在这种情况下，您可以通过模板内的类型名 X::Pack 轻松访问它。

class Moo {
public:
    class Pack {
        ...
    };
};
template<typename T> typename T::Pack packify(T t) {
    ...
}

// usage

Moo m;
Moo::Pack p = packify(m);

Answer 2

正如 DeadMG 的答案已经提到的，您不需要显式指定参数类型，因为它可以自动推导（如果它是第二个而不是第一个模板参数）。既然你说你不能改变类型声明来形成类之间的链接，我会为此建议特征路线（想想std::iterator_traits）：

template<typename T> struct pack_traits;
template<> struct pack_traits<Moo> { typedef MooPack Pack; };
...//traits for other packifable classes

template<typename T> pack_traits<T>::Pack packify(T val){...}
...
Moo moo;
MooPack mooppey = packify(moo);

这样你就可以调用函数而无需手动指定模板参数，而不需要修改类本身。