c++ - 这个部分模板特化有什么问题？

Question

template<typename Retval, typename Op, typename... Args>
Retval call_retval_wrapper(CallContext &callctx, Op const op, Args &...args);

template<typename Op, typename ...Args>
bool call_retval_wrapper<bool, Op, Args>(
        CallContext &callctx, Op const op, Args &...args) {
    (callctx.*op)(args...);
    return true;
}

稍后在代码中调用它:

call_retval_wrapper<bool>(callctx, op, args...)

给出这个错误:

src/cpfs/entry.cpp:1908: error: function template partial specialization ‘call_retval_wrapper<bool, Op, Args>’ is not allowed

Answer 1

在 C++ 中，您不能对函数进行部分模板特化，只能对结构和类进行特化。所以你应该要么做完全特化，要么使用具有静态成员函数的类(当然这与函数不同)

你可以使用类的一些技巧:

template<typename Retval, typename Op, typename... Args>
struct my_traits {
 static Retval call_retval_wrapper(CallContext &callctx, Op const op, Args &...args);
};

 template<typename Op, typename ...Args>
 struct my_traits<bool,Op,Args...> {
   static bool call_retval_wrapper<bool, Op, Args>(
    CallContext &callctx, Op const op, Args &...args) {
      (callctx.*op)(args...);
     return true;
   }
 };

template<typename Retval, typename Op, typename... Args>
Retval call_retval_wrapper(CallContext &callctx, Op const op, Args &...args)
{
     return my_traits<Retval,Op,Args...>::call_retval_wrapper(calllxtx,op,args...);
}

类似的东西