可变参数模板模板和完美转发

Question

object generator pattern 上的This question 让我开始思考如何实现自动化。

本质上，我想自动创建 std::make_pair、std::bind1st 和 std::mem_fun 等函数，这样您就不必为每个模板类类型编写不同的函数，而可以编写一个可变参数模板模板函数一次处理所有案件。这个函数的用法如下：

make<std::pair>(1, 2);         // equivalent to std::make_pair(1, 2)
make<std::binder2nd>(&foo, 3); // equivalent to std::bind2nd(&foo, 3);

可以写这个函数make吗？我已经尝试过了，但它在 GCC 4.5 或 4.6 中不起作用：

template <template <typename...> class TemplateClass, typename... Args>
TemplateClass<Args...> make(Args&&... args)
{
    return TemplateClass<Args...>(std::forward<Args>(args)...);
}

如果我尝试致电（例如）make<std::pair>(1, 2) 我就会得到

error: no matching function for call to 'make(int, int)'

我在这里的任何地方都有语法错误吗？
或者这是对的而 GCC 是错的？
或者这在 C++0x 中根本不可能？

[编辑]

提案N2555 似乎表明这是允许的，GCC claims to have implemented it in GCC4.4。

Answer 1

完全正确。我希望它能够工作。所以我认为 GCC 拒绝这一点是错误的。 FWIW：

#include <utility>

template <template <typename...> class TemplateClass, typename... Args>
TemplateClass<Args...> make(Args&&... args)
{
    return TemplateClass<Args...>(std::forward<Args>(args)...);
}

int main() {
  make<std::pair>(1, 2);
}


// [js@HOST2 cpp]$ clang++ -std=c++0x main1.cpp
// [js@HOST2 cpp]$

Answer 2

这可能是 GCC 的怪癖。我可以获得以下内容以使用开发快照（我现在没有 4.6 的副本）：

template<
    template<typename...> class TemplateClass
    , typename... Args

    , typename Result = TemplateClass<Args...>
    // Also works with the arguably more correct
    // , typename Result = TemplateClass<
    //     typename std::decay<Args>::type...
    // >
>
Result
make(Args&&... args)
{ /* as before */ }

Answer 3

这是完全错误的——以make_shared 为例。 make_shared 的重点是使用它可以节省运行时效率。但是如果我尝试使用make<std::shared_ptr> 会发生什么？不要认为那会很成功。或者只有一些构造函数参数是模板参数而其他不是模板参数的类型呢？例如，make<std::vector, int>(other_vector.begin(), other_vector.end()); - 迭代器的类型不参与，但无论如何你都会传递它们。

写一个通用的make函数是不可能的。

至于标准，从那时起它很容易被删除。您必须检查 FDIS。