C++将具有成员指针的参数类型传递到模板

Question

我正在尝试将SomeStruct的成员转换为非常量void(*)()的成员。为此，我使用了一个名为Base的类，该类具有一个模板成员函数nc()，该函数通过转换自身将成员指针转换为常量指针：(static_cast<Derived *>(this)->*ptr)()。

问题：我还需要这个来处理void的接收参数(请参阅main()的第二行)。我是参数包装/开箱和转发的新手，如果有任何帮助，我们将不胜感激！

以下是我到目前为止的代码(更新为更简单的示例)：

#include <utility>
#include <iostream>
template <typename Derived> 
struct Base
{
template <void (Derived::*ptr)() const>     // should also take arbitrary amount
void nc()                                   // of params
{
(static_cast<Derived *>(this)->*ptr)();
}
};
struct SomeStruct: public Base<SomeStruct>
{
void exit() const;
void takesParam(int num);
};
inline void SomeStruct::exit() const               
{
}
inline void SomeStruct::takesParam(int num)
{
}
int main()
{
auto ptr1 = &Base<SomeStruct>::nc<&SomeStruct::exit>;    // works
//auto ptr2 = &Base<SomeStruct>::nc<&SomeStruct::takesParam>; // error
}

以及我用g++-10编译时得到的错误消息(未使用的变量可以忽略ofc)：

main.cc: In function ‘int main()’:
main.cc:31:36: error: unable to deduce ‘auto’ from ‘& nc<&SomeStruct::takesParam>’
31 |     auto ptr2 = &Base<SomeStruct>::nc<&SomeStruct::takesParam>;
|                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~
main.cc:31:36: note:   couldn’t deduce template parameter ‘auto’
main.cc:30:10: warning: unused variable ‘ptr1’ [-Wunused-variable]
30 |     auto ptr1 = &Base<SomeStruct>::nc<&SomeStruct::exit>;    // works
|          ^~~~

Answer 1

我不太确定你想要实现什么，但在nc的定义中，你有：

template <void (Derived::*ptr)() const>
void nc();

你不能用不同类型的成员函数来引用nc，它应该像void (Derived::*ptr)() const一样。但你可以简单地添加另一个过载，比如：

template <void (Derived::*ptr)(int)>
void nc();

然后它解决了你的问题，然后你可以同时拥有：

void (CPU::*CPU::s_opcode[])() =
{
&Base<CPU>::nc<&CPU::exit>,       // accepting const works
&Base<CPU>::nc<&CPU::takesParam>  // does not work
};

您可以定义这种过载，如：

template <typename Derived>
template <void (Derived::*ptr)(int) >
void Base<Derived>::nc()                
{                                       
(static_cast<Derived *>(this)->*ptr)(0);
}