我在 Debian squeeze 上使用 gcc 4.4。考虑以下代码。
#include <map>
#include <string>
using std::map;
using std::string;
// Args lets the user specify additional explicit template arguments
template <typename T,
template <typename T, typename... Args> class C,
typename... Args>
C<T, Args...> foo()
{
C<T, Args...> x;
return x;
}
int main(void)
{
map<string, int> a = foo<string, map, int>();
}
所以,这里的想法是 T
火柴string
, C
火柴map
, 和模板参数包 Args
火柴int
.我可能有一些语法错误,如果是这样请更正。特别是,如果有人想要 class C
中的第一个模板参数匹配T
其余匹配模板参数包 Args
, 是 template <typename T, typename... Args> class C
正确的语法?
这给出了错误
In function 'int main()':
post.cc:18: error: no matching function for call to 'foo()'
这似乎与问题 Variadic template templates and perfect forwarding 相似.这个问题表明这是一个 gcc 错误,但也许我错误地认为这些问题是关于同一件事的。
请温柔一点。我对可变参数模板的了解不到 12 小时;我只是想重写一些旧的 C++ 代码以减少重复。我也有一段时间没有使用 C++ 了。如果有解决方法,请告诉我。谢谢。
编辑:Variadic template templates and perfect forwarding 的评论中建议的解决方法通过 Ise Wisteria为我工作,这表明这是同一个错误。当然,我现在 (a) 想知道这种解决方法有多脆弱,以及 (b) 为什么它有效,以及是什么促使 Ise 想到它。 虽然我猜只有一诚能回答最后一点。 :-)
最佳答案
正如编辑中所讨论的那样,我的问题似乎与链接问题 Variadic template templates and perfect forwarding 引起了相同的错误。 .特别是,链接中给出的解决方法也适用于我的情况。修改后的代码如下:
#include <map>
#include <string>
using std::map;
using std::string;
template <typename T,
template <typename T, typename... Args> class C,
typename... Args>
struct X
{
typedef C<T, Args...> type;
};
template <typename T,
template <typename T, typename... Args> class C,
typename... Args>
typename X<T, C, Args...>::type foo()
{
C<T, Args...> x;
return x;
}
int main(void)
{
map<string, int> a = foo<string, map, int>();
}
关于c++ - 使用 gcc 4.4 的模板模板参数和可变参数模板,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8514633/