Question

在学习信号时，我想出了以下代码。插槽，模板和函数指针。

基本上我正在尝试创建2个类，基类将使用普通函数指针，而派生函数将获取成员函数并使用普通函数将其包装起来，然后将其传递给基类进行调用。

以下是代码：

#include<iostream>

struct foo {
    void onNotify(int a, int b) {
        std::cout << "member function: this=" << this << " a=" << a << " b=" << b << "\n";
    }
};

void onNotify(void*, int a, int b) {
    std::cout << "normal function: no context needed! a=" << a << " b=" << b << "\n";
}


// invoker that will takes normal functions.
template <typename...>
class invoker{
public:
    invoker(void (*fptr)(void*, int, int), void* context){
        fptr(context, 1, 2);
    }
private:
    invoker(){}
};


// invoker that will takes member functions.
template<class T>
class invoker<T> : public invoker<>{
public:
    invoker<T>(T* context) : invoker<>(&forwarder, context){}
private:
    invoker<T>(){}
    static void forwarder(void* context, int i0, int i1) {
        static_cast<T*>(context)->onNotify(i0, i1);
    }
};

int main()
{
    invoker<>(&onNotify, 0);        // OK.

    invoker<foo>(new foo);          // OK.
    invoker<foo>(0);                // OK.

    foo foo_;

    auto f = invoker<foo>(&foo_);   // OK.

    // Errors:
    //      C2373 : 'foo_' : redefinition; different type modifiers.
    //      C2530 : 'foo_' : reference must be initialized.
    invoker<foo>(&foo_);            // ERROR!

    return 0;
}

我的问题是：

1）导致编译错误的原因是什么？

2）为什么invoker<foo>(0);实际上会运行而没有错误？

提前致谢！

Answer 1

1）问题在于

invoker<foo>(&foo_);

被解析为变量foo_的定义，其类型为invoker<foo>&，而不是对invoker<foo>的ctor的调用。有很多方法可以解决这个问题，例如，使用额外的括号：

(invoker<foo>)(&foo_);

2）代码

invoker<foo>(0);

编译没有错误，因为它是明确的（它不能被解释为声明）。

奇怪的模板和成员函数指针错误（C2373，C2530）

1 个答案: