C++中Deduce类型的模板类型

Question

在为"迭代器"范围编写通用函数时,我通常会这样做:

template <typename Iter> auto func(Iter &first, Iter &last)
{
    using IterType = typename std::decay<decltype(*first)>::type;
    ...
}

另一种方式似乎是:

template <typename Iter> auto func(Iter &first, Iter &last)
{
    using IterType = typename std::iterator_traits<Iter>::value_type;
    ...
}

而第三个:

template <typename Iter> auto func(Iter &first, Iter &last)
{
    using IterType = typename Iter::value_type;
    ...
}

没有申请iterator_traits.

从理论上讲,我的函数应该只接收迭代器,first并且last第二种形式理想地(imho)是获得该类型的最惯用的方式.但是使用typename std::decay<decltype(*first)>::type最通用的习惯用语是为了不对限定Iter喜欢value_type定义？

Answer 1

第二个是最惯用的.

• 第一个不适用于代理(std :: vector <bool>)
• 第三个不适用于指针.

Answer 2

这些都不是非常惯用的; 你应该按值传递迭代器,而不是通过引用.这是gcc 4.9中for_each的签名:

template<typename _InputIterator, typename _Function>
_Function
for_each(_InputIterator __first, _InputIterator __last, _Function __f)

正如您所看到的,它是通过价值传递的.您的功能将不适用于惯用法:

func(v.begin(), v.end()); // error, binding non-const ref to rvalue!

此外,通过iterator_traits不仅仅是惯用,它基本上是必需的.就STL而言,这种typedef仅通过iterator_traits定义:http://en.cppreference.com/w/cpp/concept/ForwardIterator.iterator_traits为泛型情况提供了合理的默认值,但它可以专门(就像指针一样)执行不同的操作.不通过iterator_traits基本上意味着有人可以编写一个兼容的迭代器,它可以使用STL而不是你的代码.