c++ - 模板的一些问题

Question

template<class TypeIterator>
void Generate(const TypeIterator& first, const TypeIterator& last)
{
    //do something
}

当我尝试像这样调用生成函数时:

PhanSo arr[10];
Generate(arr, arr+10);

我收到错误消息:void Generate(const TypeIterator &,const TypeIterator &)' : template parameter 'TypeIterator' is ambiguous

当我使用:

PhanSo arr[10];
Generate(&arr[0], &arr[10]);

然后我的程序构建成功。

我试图通过删除函数参数中的“&”来修复它

template<class TypeIterator>
void Generate(const TypeIterator first, const TypeIterator last);

那么就没有错误了。 谁能给我解释一下？

Answer 1

数组不是指针。数组名称用作指向数组第一个元素的指针只是语法糖衣。

When the template parameter is a reference type, array-to-pointer conversions will not happen.

当你有 void Generate(const TypeIterator& first, const TypeIterator& last)用 Generate(arr, arr+10); 调用, arr解析为 PhanSo[10]同时 arr+10解析为 PhanSo* ，实际上 G++ 和 Microsoft 编译器都将其指出为歧义。

当你有 void Generate(const TypeIterator& first, const TypeIterator& last)用 Generate(&arr[0], &arr[10]); 调用，对于编译器来说事情变得更加清晰，因为您专门向函数提供元素的 address ，因此 TypeIterator 解析为 PhanSo* .

最后，当你有 void Generate(const TypeIterator first, const TypeIterator last)用 Generate(arr, arr+10); 调用，由于模板参数不再是引用类型，正常的数组到指针转换发生并且TypeIterator解析为 PhanSo* .

感谢阅读。