我对模板并不陌生,但我遇到了一个相当奇怪的问题,我需要将模板类型分离到它的组件中,以用于我正在处理的数据序列化程序。这很难解释,所以我已经证明了。
这是我简化的示例问题,example.cpp。
template<typename T> void foo(T& arg) { }
template<typename T, typename V> void foo(T<V>& arg) { }
int main(int argc, char *argv[])
{
foo(argc);
return 0;
}
我得到一个错误,然后是一个警告,这似乎表明它正在尝试实例化两个函数,但只有其中一个是合适的。
$ g++ -Wall -W example.cpp
example.cpp:2:43: error: ‘T’ is not a template
template<typename T, typename V> void foo(T<V>& arg) { }
^
example.cpp: In instantiation of ‘void foo(T&) [with T = int]’:
example.cpp:6:11: required from here
example.cpp:1:34: warning: unused parameter ‘arg’ [-Wunused-parameter]
template<typename T> void foo(T& arg) { }
^~~
关于如何解决我的问题和/或防止这种混淆有什么建议吗?
最佳答案
模板模板参数(本身是可推导模板的参数)需要与您使用的语法不同的语法。正如您所写的那样,编译器不期望 T
成为模板,所以语法 T<V>
没有意义。
template< template<class> class T, class V> void foo(T<V>& arg>)
将是一个正确的例子。
示例
#include <iostream>
template<typename T> void foo(T& arg)
{
std::cout << __PRETTY_FUNCTION__ << '\n';
}
template<template<class> class T, class V> void foo(T<V>& arg)
{
std::cout << __PRETTY_FUNCTION__ << '\n';
}
template<class T>
struct Bar
{
};
int main(int argc, char *argv[])
{
foo(argc);
Bar<int> bar;
foo(bar);
return 0;
}
输出
void foo(T &) [T = int]
void foo(T<V> &) [T = Bar, V = int]
关于c++ - 模板实例化失败 : compiler choosing improper overload function,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44982578/