Question

我有这个问题困扰我。我有FSM类，它将键与回调相关联

class FSM
{
public:

typedef bool (FSM::*InCallback_t)( int );
typedef std::map< std::string, InCallback_t > Table;

// Since I would like to allow the user to register both functors and class member    functions
template< typename Callback_t, bool (Callback_t::*CallbackFunct_t)(int) >
bool callback( int x )
{
    return (Callback_t().*CallbackFunct_t)( x );
}

void addCallback( const std::string& iKey, InCallback_t iCallback )
{
    _table.insert( std::make_pair( iKey, iCallback ) );
}

    [ ... ]

private:
    Table _table;
};

还有一些回调类

class CallbackBase
{
public:

    bool operator()( int x ){ return doCall( x ); }

private:
    virtual bool doCall( int x ){ return true; }
};


class Callback: public CallbackBase
{
private:
    bool doCall( int x )
    {
        std::cout << "Callback\n";
        return true;
    }
};

现在如果进入主要我做：

FSM aFSM;
// OK
aFSM.addCallback( "one", &FSM::callback< CallbackBase, &CallbackBase::operator() > );  
// KO
aFSM.addCallback( "two", &FSM::callback< Callback, &Callback::operator() > );

第一个调用很好，在第二个编译器抱怨：

Test.cpp: In function ‘int main(int, char**)’:
Test.cpp:104:77: error: no matching function for call to ‘FSM::addCallback(const char [4], <unresolved overloaded function type>)’
Test.cpp:104:77: note: candidate is:
Test.cpp:24:7: note: void FSM::addCallback(const string&, FSM::InCallback_t)
Test.cpp:24:7: note:   no known conversion for argument 2 from ‘<unresolved overloaded function type>’ to ‘FSM::InCallback_t’

另请注意以下情况

typedef bool (Callback::*Function_t)( int );
Function_t aFunction = &Callback::operator();
(Callback().*aFunction)( 5 );

有什么想法吗？在此先感谢您的帮助。

西蒙

Answer 1

您尚未定义Callback :: operator（）。 Callback没有Secound函数只是来自CallbackBase的函数，它将CallbackBase和int作为参数！这就是编译器呻吟“未解决的重载函数类型”的原因。

继承函数的类型是bool（CallbackBase :: * operator（））（int）。此函数可以自动转换为bool（Callback :: * operator（））（int），因为您始终可以将Callback应用于仅接受CallbackBase的函数。这就是为什么以下工作的原因 - 它是在那里发生的自动演员。

typedef bool (Callback::*Function_t)( int );
Function_t aFunction = &Callback::operator();

模板类型扣除会出现问题：

template< typename Callback_t, bool (Callback_t::*CallbackFunct_t)(int) >
with: Callback_t = Callback, CallbackFunct_t = bool (CallbackBase::*CallbackFunct_t)(int)

这不起作用，因为在实现回调函数时，通过Callback_t给出的类型和函数指针所需的类型不匹配。在类型推导发生之前，您可以通过显式转换函数指针（Callback :: * operator（））（int）来解决问题。如果将回调函数更改为以下内容，则不需要两种类型相同，并且在没有强制转换的情况下进行编译。

template< typename Callback_t>
bool callback( int x )
{
    return Callback_t()( x );
}

我不明白的是你添加虚拟功能的原因。以下不会做同样的事情，更简单，更易读，甚至更快（没有虚函数调用）？ doCall函数必须是公共的。

template< typename Callback_t>
bool callback( int x )
{
    return Callback_t().doCall( x );
}

另一个改进是将回调函数设置为静态。如果doCall函数是静态的，那将更加简单 - 这将使回调函数过时并避免创建一个临时调用doCall。

函数作为模板参数问题

1 个答案: