无法推断模板类型

Question

我试图将迭代器作为模板参数传递给模板方法，但编译器抱怨：

error C2783: 'void Test::Assert(std::vector<T>::const_iterator)':
could not deduce template argument for 'T'

产生错误的代码是：

#include "stdafx.h"
#include <iostream>
#include <vector>

class Test
{
    public:
        template <typename T>
        void Assert(typename std::vector<T>::const_iterator it)
        {
            std::cout << *it << std::endl;
        }
};

int _tmain(int argc, _TCHAR* argv[])
{
    Test test;

    std::vector<double> myVec;

    test.Assert(myVec.cbegin());

    return 0;
}

我猜想有一种简单的方法可以完成这项工作，因为大多数标准算法都可以从迭代器中推断出类型。

Answer 1

标准算法如下所示：

template <typename Iterator>
void some_algorithm(Iterator first, Iterator last) {
  // do stuff
}

如果他们需要迭代器的类型，他们可以使用typename std::iterator_traits<Iterator>::value_type。

他们不会以任何方式引用 vector 等容器。并非所有迭代器都来自容器。

Answer 2

template <typename Ite>
void Assert(Ite &&it)
{
    std::cout << *std::forward<It>(it) << std::endl;
}

就是这样 - 标准库只是对迭代器的整个类型进行参数化。事实上，任何表现得像迭代器的东西都可以使用（这是迭代器表现得像指针的主要原因）。这叫做"duck typing".

您正在尝试做的事情（将函数限制为仅那些显式迭代器的类型）是 C++17 概念的内容。

Answer 3

原因是您 T 中的表格是 非推导上下文 :

template <typename T>
void Assert(typename std::vector<T>::const_iterator it)

考虑一个更简单的案例来理解原因：

struct A { using type = int; };
struct B { using type = int; };
struct C { using type = int; };

template <typename T>
void Assert(typename T::type it) { ... }

Assert(5);

T应该推导出什么？这是不可能确定的。您必须明确提供类型...如 Assert<A>(5)。

另见 What is a nondeduced context?

since most of the std algorithms can deduce type from iterator.

那是因为标准算法只推断出迭代器类型，而不是容器类型。例如 std::find 就是：

template <class InputIt, class T>
InputIt find( InputIt first, InputIt last, const T& value );

这里根本没有"container"的概念——它只是需要推导的迭代器类型。这是算法库的一部分优点。

所以如果你只想输出迭代器的内容，正确的函数应该是：

template <typename Iterator>
void Assert(Iterator it)
{
    std::cout << *it << std::endl;
}

当您调用 Assert(myVec.cbegin()) 时，Iterator 将被推断为 std::vector<double>::const_iterator，这正是您想要的。

Answer 4

#include "stdafx.h"
#include <iostream>
#include <vector>

class Test
{
 public:
    template <typename T>
    void Assert(typename T::const_iterator it)
    {
        std::cout << *it << std::endl;
    }
};

int _tmain(int argc, _TCHAR* argv[])
{
   Test test;

   std::vector<double> myVec;

   test.Assert<std::vector<double> >(myVec.cbegin());

   return 0;
}

试试这个。

Answer 5

以下代码使用 clang 编译成功。

#include <iostream>
#include <vector>

class Test
{
    public:
        template <typename T>
        void Assert(typename std::vector<T>::const_iterator it)
        {
            std::cout << *it << std::endl;
        }
};

int main(int argc, char* argv[])
{
    Test test;

    std::vector<double> myVec;

    myVec.push_back(2.0f);

    test.Assert<double>(myVec.cbegin());  // call Assert in this way.

    return 0;
}

输出：

$ ./a.out
2

编译器版本：

$ clang++ -v
Apple LLVM version 6.1.0 (clang-602.0.49) (based on LLVM
3.6.0svn) Target: x86_64-apple-darwin14.1.0 Thread model: posix

无法推断模板类型

Can't deduce template type

c++

templates

template-argument-deduction