在C++中专门化函数时调用函数的非专业化版本?

不,你的专业化是MyObj类型论证中唯一的定义。但是,可以考虑以这种方式修改foo模板,这对模板的当前用户是透明的:

template<typename T>
class foo {
  void prelude(T &obj){ // choose a better name
    /* do nothing */
  }
  void do_something(T obj){
    prelude(obj);
    // do something generic...
  }
};

然后定义前奏曲的专业化:

template<>
void foo<MyObj>::prelude(MyObj &obj){
  // do something specific
}

这在结构上与 main use case for private virtual members

您还可以考虑一个不是MyObj的类型,但它隐式地转换为MyObj,但是最好的方法是重构并提取公共泛型。

#include <iostream>
#include <boost/ref.hpp>
typedef int MyObj;


template <typename T>
struct foo {
  void do_something(T obj) {
    // do something generic...
    std::cout << "generic " << obj << '\n';
  }
};

template<>
void foo<MyObj>::do_something(MyObj obj) {
  // do something specific...
  std::cout << "special " << obj << '\n';
  // and ALSO do something generic!
  foo<boost::reference_wrapper<MyObj> >().do_something(boost::ref(obj));
}

int main()
{
    foo<int> f;
    f.do_something(10);
}

是的,这其实很简单。只需让函数的主泛型版本作为传递给“implementation”泛型函数 不

template <typename T>
class foo 
{
  void do_something(T obj) 
  {
     do_something_impl(obj);
  }

  void do_something_impl(T obj)
  {
    // do something generic...
  }
};

现在,专门化可以毫无问题地调用通用版本:

template<>
void foo<MyObj>::do_something(MyObj obj) 
{
  // do something specific...
  do_something_impl(obj); //The generic part
}