c++ - 模板的一些问题

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

当我尝试调用generate函数时，如下所示:

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

我收到错误消息:void Generate(const TypeIterator＆，const TypeIterator＆)':模板参数'TypeIterator'不明确

当我使用时:

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

然后我的程序构建成功。

我试图通过删除功能参数中的“＆”来修复它

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

那就没有错误。
谁能向我解释？

最佳答案

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



当您使用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]);时，对于编译器来说事情变得更加清楚了，因为您专门向函数提供了元素的地址，因此TypeIterator解析为PhanSo*。

最后，当您使用void Generate(const TypeIterator first, const TypeIterator last)调用了Generate(arr, arr+10);时，由于模板参数不再是引用类型，因此会发生常规的数组到指针转换，并且TypeIterator解析为PhanSo*。

感谢您的阅读。

关于c++ - 模板的一些问题，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/26438448/