Question

struct A // some class
{
  void method(); // non-static member method
  static void function(); // static member method
};
void function(); // global function
vector<A> vi; // any such `std` like container

我希望有一个函数（比如Iterate()），可以通过以下方式调用：

Iterate(vi, &A::method);  // (1)
Iterate(vi, &A::function); // (2a)
Iterate(vi, &function); // (2b)

（2a）和（2b）完全相同。

现在Iterate()原型如下所示（1）和（2）：

template<typename Container, typename Method>
void Iterate (Container &container, Method method); // for (1)

template<typename Container, typename Function>
void Iterate (Container &container, Function function); // for (2a), (2b)

当然两者完全相同，这会导致编译错误有没有办法在C ++ 03中重载/专门化Iterate()，这将允许两个函数共存？

Answer 1

你可以使一个功能比另一个更具体：

template<typename Container, typename Functor>
void Iterate (Container &container, Functor fun); 

template<typename Container, typename R, typename ..Args>
void Iterate (Container &container, R (Container::value_type::*fun)(Args...));

第一个模板适用于常规函数，函数对象和静态成员函数，而第二个模板仅适用于非静态成员函数。

在C ++ 03中，您可以通过编写重载来模拟可变参数模板，如下所示：

template<typename Container, typename R>
void Iterate (Container &container, R (Container::value_type::*fun)());

template<typename Container, typename R, typename Arg>
void Iterate (Container &container, R (Container::value_type::*fun)(Arg));

template<typename Container, typename R, typename Arg1, typename Arg2>
void Iterate (Container &container, R (Container::value_type::*fun)(Arg1, Arg2));

//add more overloads to handle member functions 
//that take 3 or more arguments

当然，如果你必须以不同方式实施它们。例如，调用成员函数的语法为(obj.*fun)(a1,a2,a3);，而函子调用语法仅为fun(a1,a2,a2)。我不知道你会传递给函数（成员或函子）的参数。我假设这不是真正的代码，你只想探索语法。

重要的一点是，obj（来自容器）不需要调用仿函数，但你可以将它作为参数传递给它。

重载模板函数，可以区分非静态成员方法和其他函数

1 个答案: