c++ - 在函数中使用模板模板参数没有匹配函数错误

Question

我正在尝试使用模板模板参数定义一个函数（我只想知道它是如何工作的）。我有以下内容：

template <typename T, template <typename> class Cont>
typename Cont<T>::iterator binary_search (typename Cont<T>::iterator first, typename Cont<T>::iterator last)
{
    typename Cont<T>::iterator it;
    // ...
    return it;
}

然后在main ()函数中：

std::vector<int> data;

// ....

std::vector<int>::iterator it = binary_search (data.begin (),data.end ());

尝试编译代码时出现此错误：

binary_search.cpp: In function ‘int main(int, char**)’:
binary_search.cpp:43:83: error: no matching function for call to ‘binary_search(std::vector<int>::iterator, std::vector<int>::iterator)’

我找不到任何适当的响应来帮助我解决这个错误。任何帮助，将不胜感激。

提前致谢

Answer 1

你所拥有的是一个非推断的上下文，以及一个模板模板参数不匹配，即使上下文是可推断的。std::vector接受第二个模板参数，分配器，默认为std::allocator.

对于非推导上下文，T永远不能推导并且总是必须指定，typename表明这一点。有关血腥细节，请参阅此问题。