以下语句是函数重载还是函数部分特化？

Question

template <typename Function> void for_each_element(
  const boost::tuples::null_type&, Function) {}

template <typename Tuple, typename Function> void     
  for_each_element(Tuple& t, Function func) {
    func(t.get_head());
    for_each_element(t.get_tail(),func);
}

鉴于上面的代码片段，我们是否定义了重载函数或部分专用函数？

谢谢

Answer 1

没有功能部分专业化这样的东西。这是一个过载。

e.g。

template <typename T, typename U>
void foo(T t, U u);

template <typename T>
void foo<T, int>(T t, int u); // Illegal: no partial specialisation of functions

template <typename T>
void foo(T t, int u); // OK

mixing specialisations with overloads时要小心，因为它并不总是像你想象的那样工作。

Answer 2

超载。你不能部分专门化功能，即使你可以，你也有第二对<> - 括号。

Answer 3

这是一个过载。功能的部分特化是不可能的。如果您尝试部分特化一个函数，编译器会抱怨。在这种情况下，当您到达元组的末尾时，编译器使用重载决策来选择第一个函数。