std::vector 作为模板函数参数

std::vector as a template function argument

本文关键字：函数 参数 vector std      更新时间：2023-10-16

我想创建一个将 std：：vector 引用作为参数的类方法，我想将其用于不同类型的数据。

该函数应如下所示：

void some_function(const std::vector & vect){ //do something with vector }

我想使用它，例如：

std::vector<int> v1;
some_function(v1);
std::vector<string> v2;
some_function(v2);

我希望我把我的观点说清楚了。我必须制作这样的模板方法吗：

template<class T>
void some_function(std::vector<T> & vect){}

或者我可以用其他方式来做吗？如果必须，请告诉我如何在类中编写该方法。

感谢您的帮助！

template函数接受任何const& std::vector的正确方法是：

template<typename T, typename A>
void some_func( std::vector<T,A> const& vec ) {
}

第二个参数是"分配器"，在std::vector的某些高级用法中，它不会是默认参数。 如果您只接受std::vector<T>，您的some_func将拒绝使用替代分配器的std::vector。

现在，还有其他方法可以解决这个问题，我将快速列出。 我将按成本：收益比递减列出它们 - 上面的一个可能是你想要的，下一个有时是有用的，之后我将分支到很少值得考虑的过度工程案例(但在某些极端情况下可能有用(。

您可以接受任意类型T T&&然后进行测试以确定typename std::remove_reference<T>::type是否是一种std::vector。 这将允许您对传入的std::vector进行"完美转发"。 它还可以让您更改用于测试的谓词，以接受不仅仅是一个std::vector：在大多数情况下，const& std::vector可能只需要一些任意的随机访问容器。

一个

荒谬的花哨方法是做一个两步功能。 第二步采用类型擦除的随机访问范围视图(如果不需要随机访问，则只是范围视图(用于使用 SFINAE 的固定类型T以确保传入对象兼容，第一步推断传入类型的容器类型，并在 SFINAE 上下文中调用第二步 (auto some_func(...)->decltype(...) (。

由于对连续T的随机访问范围视图std::vector<T> const&的类型擦除不会丢失太多功能，因此一个优点是可以保证函数的主体对于std::vector<T> const&和T[n]以及std::array<T,n>完全相同。

这不是一个很大的优势，特别是对于所需的样板。

C++20 可能会使这变得容易得多，因为上面的多步 SFINAE 将折叠成几个 require 子句。

相关文章：