相关疑难解决方法(0)

关于对象生成器模式的这个问题让我想到了自动化它的方法.

从本质上讲,我希望自动像功能的建立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)'

我在这里的语法错了吗？
或者这是对的,海湾合作委员会是错的吗？
或者这在C++ 0x中根本不可能？

[编辑]

建议N2555似乎表明这是允许的,海湾合作委员会声称已在GCC4.4中实施.

正如以下代码片段中的注释所说，这是 gcc 4.4 的解决方法。错误，我现在可能应该删除它。有关此背景的信息，请参阅带有 gcc 4.4 的模板模板参数和可变参数模板。

在任何情况下，这都会在带有 clang 3.4.2-4 的 Debian Wheezy 上出现错误，从不稳定向后移植。这适用于 gcc 4.9，也从 Debian Wheezy 上的不稳定（和 4.7）向后移植。

// Workaround for gcc 4.4 bug. See /sf/ask/596024341/
template <typename S, typename T,
      template <typename S, typename T, typename... Args> class C,
      typename... Args>
struct maptype
{
  typedef C<S, T, Args...> type;
};

int main(void){}

错误是

clang++ -o shadow.ocl -c -ftemplate-depth-100 -fno-strict-aliasing -fno-common -ansi -Wextra -Wall -Werror -Wno-unused-function -Wc++0x-compat -Wpointer-arith -Wcast-qual -Wcast-align -std=c++11 -mtune=native -msse3 -O3 shadow.cc
shadow.cc:3:23: …