()重载后的结构体如何作为函数指针或操作器的形式使用？

Question

问题背景：
有遍历向量的函数，为了方便在便利时进行其他操作，其实现如下：

template <typename T> void Vector<T>::traverse ( void ( *visit ) ( T& ) ) //借助函数指针机制
{ for ( Rank i = 0; i < _size; i++ ) visit ( _elem[i] ); } //遍历向量

template <typename T> template <typename VST> //元素类型、操作器
void Vector<T>::traverse ( VST& visit ) //借助函数对象机制
{ for ( Rank i = 0; i < _size; i++ ) visit ( _elem[i] ); } //遍历向量

另有一个函数，统计向量的特征，其中重载了()运算符，如下：

template <typename T> struct Crc { //函数对象：累计T类对象的特征（比如总和），以便校验对象集合
   T& c;
   Crc ( T& crc ) : c ( crc ) {}
   virtual void operator() ( T& e ) { c += e; } //假设T可直接相加
};

为了能够在遍历向量的时候统计出所有元素的总和，封装了以下函数：

template <typename T> void crc ( Vector<T> & V ) { //统计向量的特征（所有元素之和）
    T crc = 0;
    V.traverse ( Crc<T> ( crc ) ); //以crc为基本操作进行遍历
    printf ( "CRC =" );
    print ( crc );
    printf ( "\n" ); //输出统计得到的特征
}

问题：
1、最终结合traverse()函数以及结构体封装出来的函数，编译器检测到在调用traverse函数时， 无法找到相匹配的traverse()函数，应该是传入参数的类型不对，代码中这样写是否有错误？应该如何修改呢？
2、重载的()运算符会影响到结构体模板中的默认构造函数么？
3、最后一段代码中的 Crc ( crc )可以作为函数指针或则操作器使用么？

Answer 1

1. traverse()的操作器的参数类型需要改为右值引用&&，因为V.traverse ( Crc<T> ( crc ) );传入的参数是临时变量，左值引用无法绑定

   template <typename T> template <typename VST>
   void Vector<T>::traverse ( VST&& visit ) // 参数类型改为VST&&，当传入参数是左值时，visit的类型是左值引用，当传入参数是右值时，visit的类型时右值引用
   { for ( Rank i = 0; i < _size; i++ ) visit ( _elem[i] ); }
   

2. 不会。不过你已经声明了构造函数，编译器不会为其生成默认构造函数

3. Crc<T> ( crc )可以作为操作器使用，它实际上是创建了一个零时对象