c++ - 仿函数在 C++ 中不起作用

Question

我有一个 Vector 类(不是内置的)。我想编写一个可以遍历 Vector 类的内置函数。 vector 类是这样定义的:

template <typename T> class Vector{int _size; int _capicity ; T* _elem;
   /(protected and public functions/};

然后我写一个公共(public)函数遍历:

template <typename T> template <typename VST> 
void Vector<T>::traverse ( VST& visit ) 
{ for ( int i = 0; i < _size; i++ ) visit ( _elem[i] ); }
//visit here represent some action that I am gonna perform on the elements

测试代码:我编写了一个仿函数来对 vector 类的每个元素执行 _elem[i]++。

template <typename T>
struct Increase 
  {virtual void operator() ( T& e ) { e++; }  }; 

在主程序中，我写了一个函数:

template <typename T>
void increase ( Vector<T> & V )
 {  V.traverse ( Increase<T>() );  } 

注意:这个函数不同于Increase函数，后者是一个仿函数。

下面是我如何测试我的程序:

 Vector<int> c={1,2,3,4,5}; //initialize my vector class
 increase(c);

返回错误信息:

 no match function for call to 'traverse'.

我发现这可能与我声明遍历的方式有关。

void Vector<T>::traverse ( VST& visit );
V.traverse ( Increase<T>() );//this is the way I called this function.

然后我把这里的“&”去掉，使用VST visit，这次可以了，但我还有一个大问题，我不知道为什么我不能使用VST& visit作为遍历函数的变量。

我似乎可以通过引用传递。

Answer 1

在遍历函数中按值取VST。目前，您传递的右值对象只能被 const-reference(const T&) 或 r-value reference (T&&) [成为通用引用模板]。

template <typename T> 
template <typename VST> 
void Vector<T>::traverse ( VST visit ) 
{ 
   for ( int i = 0; i < _size; i++ ) visit ( _elem[i] ); 
}

要使其通过引用工作，首先创建仿函数的 l-value 实例，然后调用 traverse。

template <typename T>
void increase ( Vector<T> & V )
{  
   Increase<T> inc;
   V.traverse ( inc );  
} 

但如果可以的话，更喜欢按值传递。 STL 按值获取仿函数。此外，您也不应该使用 const-reference，因为那样您还必须使您的 operator() const