Question

我遇到一些麻烦，理解为什么下面的代码无法编译

#include <iostream>
#include <typeinfo>

#define PRINT_FUNC() {std::cout << __PRETTY_FUNCTION__ << std::endl;}

struct Obj {
    Obj(){PRINT_FUNC();}
    int run (float f, char *c) {
        PRINT_FUNC();
        return 0;
    }

    int fly () {
        PRINT_FUNC();
        return 0;
    }
};

template <typename OBJ, typename R, typename ... Args>
void call_obj_func (OBJ &&o, R(OBJ::*fn)(Args...), Args ... args) {
    PRINT_FUNC();
    (o.*fn)(args...);
}

int main () {
    Obj o;
    call_obj_func(o, &Obj::fly);
}

对于函数call_obj_func，我期望OBJ的类型用于BOTH rvlaue和lvalue类型。但是，当使用左值类型进行调用时，编译器会抱怨使用类型有很大的困难：Obj和Obj＆amp;

这意味着编者不确定是否使用obj的副本或obj的引用。

我确信存在一些语法错误，因为我希望使用左值和右值类型编译函数call_obj_func。

我的假设是成员函数指针，因为语法（Obj＆amp; :: * fn）和（Obj :: * fn）可能具有不同的语义。（虽然我无法在任何地方找到差异。）

Answer 1

你可以写

template <typename OBJ, typename Method, typename ... Args>
void call_obj_func (OBJ &&o, const Method& fn, Args&& ... args) {
    PRINT_FUNC();
    (std::forward<OBJ>(o).*fn)(std::forward<Args>(args)...);
}

Live Demo

目前，您与类型扣除（Obj& vs Obj存在冲突，您可能会遇到与args类似的问题

成员函数指针中的通用引用

1 个答案: