假设有如下代码:
#include <iostream>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;
template <typename T1>
void display(T1 x)
{
cout << x << endl;
}
template <typename T2>
void fun1(const string msg, const vector<T2> vec)
{
for_each(vec.begin(), vec.end(), display);
}
int main(int argc, char **argv)
{
string msg("Hello world");
vector<int> vec;
vec.push_back(11);
vec.push_back(12);
vec.push_back(7);
fun1(msg, vec);
return 0;
}
为什么这段代码会出错?用的是C++98的标准,编译器是g++
display函数不用模版函数的时候就可以编译通过:
void display(int x)
display() 需要显示的类型就是T2,改成下面的用g++编译就可以了。
但是用clang 600.0.56 照样不能编译。定义fun1的时候直接报错:
candidate template ignored: couldn't infer template argument 'T'.
据说g++ 实现有错,我刚开始学,也不明白。
给display添加类型标记就可以了
display是模板函数,在调用for_each的时候display还没有实例化,在for_each内部调用display的时候才会实例化display(这个时候会根据迭代器解引用返回的值来推导类型实例化),所以for_each这里是编译不过的