从模板化向量函数中删除 cv 限定符

Question

我正在编写一些代码，从给定的向量中随机选择一个具有任何泛型类型的元素。我成功地制作了一个返回随机元素副本的函数，但是如果有一个类似的函数返回该元素的迭代器，对我来说会很方便。这就是我所拥有的，其中随机迭代器是通过生成器函数向开始迭代器添加随机数而产生的：

template <class T>
typename std::vector<T>::iterator pickElementIterator(const std::vector<T>& v)
{
    if (v.empty())
    {
        // error
        return v.end();
    }

    return v.begin() + generate(v.size());
}

如果没有代码使用它，这将成功编译。但当我尝试用Foo类型替换某个向量时，使用g会出现以下错误：

无法转换'（

两次退货。似乎它在试图转换类型以便返回时给类型添加了一个const。我在两个返回上都尝试了std::decay，但是它不接受这些参数。这就是我对模板编程的了解，而且在我所看到的任何地方都找不到太多这方面的内容。

注意：“typename”是返回类型，因为否则g会抱怨：

在“std：：vector ”之前需要“类型名称”

Answer 1

我建议你让 auto 决定返回哪种迭代器。如果使用 C 11，则可以使用尾随返回类型，如 decltype（v.begin（）），而在 C 14 及更高版本中，则不需要这样做。

如果您还使用模板模板参数，则不必使其仅适用于vectorsv.begin（）generate（v.size（））需要随机访问，所以我建议使用std:：next来获得结果迭代器。

例：

#include <iterator> // std::next

template <template <class, class...> class C, class T, class... Args>
auto pickElementIterator(const C<T, Args...>& c) -> decltype(c.begin()) {
    if(c.empty()) return c.end();
    return std::next(c.begin(), generate(c.size()));
}

Answer 2

std:：vector

编译失败的原因是const_iterators无法转换为可变的iterator类型。修复方法很简单：将返回类型更改为const_iterator：

template <class T>
typename std::vector<T>::const_iterator pickElementIterator(const std::vector<T>& v)
//                       ^~~~~~~~~~~~~~

如果您使用的是c 14或更高版本，您也可以只使用＜code＞auto＜/code＞而不使用声明的返回类型，这样它就可以自己推导它，例如：

template <class T>
auto pickElementIterator(const std::vector<T>& v)

注意:您观察到在不使用时编译成功的原因是因为模板在实例化之前不能被完全评估。由于模板的专门化，编译器必须假设任何依赖于模板参数的东西(例如，type T)都可能产生有效的实例化。

例如，编译器必须假设可能存在一个T使得constd::向量

因此，在实际实例化模板之前，您不会经常看到语法错误之外的诊断