问题描述
我查了 This stackoverflow post,但还是看不懂。
我有这个代码(是的,我知道 <functional>
实现了同样的事情)它有效(如果我没记错的话,它是 gcc6),现在用 gcc9.3.0 失败
给定这些类定义
template <typename D>
class Callback{
public:
virtual void operator()(D d)=0;
virtual ~Callback(){}
};
template <>
class Callback <void>{
public:
virtual void operator()()=0;
virtual ~Callback(){}
};
和这些定义
template <typename D,typename P>
struct ParamFunctionType{
typedef void (*value)(D,P);
};
template <typename P>
struct ParamFunctionType<void,P>{
typedef void (*value)(P);
};
我有这些子类
template <typename D,typename P,typename ParamFunctionType<D,P>::value f>
class FunctionParamCallback:public Callback<D>
{
P p;
FunctionParamCallback(const P& pp) : p(pp) {}
void operator()(D d) { (*f)(d,p); }
};
template <typename P,void (*f)(P)>
class FunctionParamCallback<void,P,f> : public Callback<void>
{
P p;
FunctionParamCallback(const P& pp) : p(pp) {}
void operator()() { (*f)(p); }
};
现在第二个定义对我来说似乎是一个专业化(对于 D 设置为 void),但我收到以下错误
error: partial specialization ‘class helium::scb::FunctionParamCallback<void,f>’ is not more specialized than [-fpermissive]
297 | template <typename P,void (*f)(P)> class FunctionParamCallback<void,f>:public Callback<void>{
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../../helium/signal/callback.h:284:85: note: primary template ‘template<class D,class P,typename helium::scb::ParamFunctionType<D,P>::value f> class helium::scb::FunctionParamCallback’
284 | template <typename D,P>::value f> class FunctionParamCallback:public Callback<D>{
|
我错了什么?
(MVCE 由 Jarod42 here 提供)。
解决方法
如果我没记错的话,这是一个提交 here 的 GCC 错误。 它是在 GCC 7.1 中引入的。
,根据@NutCracker 提供的 this bug filing 注释 4 的推理,我将代码修改如下
template <typename P,typename ParamFunctionType<void,P>::value f>
class FunctionParamCallback<void,P,f> : public Callback<void>
{ /*..*/};
这可以防止 f 类型的可能不一致的解析,并且在 gcc9.3 中编译而无需通过编译选项放松检查。