如何从成员函数指针中删除const限定符

Question

我正在使用包含以下代码的库:

template <typename M>
void _register_member(lua_State *state,
                      const char *member_name,
                      M T::*member) {
    std::function<M(T*)> lambda_get = [member](T *t) {
                //^ error here
        return t->*member;
    };
    //...

但是,此代码不接受const成员函数指针.传递它们会产生错误Function cannot return function type 'void () const'或const成员函数的任何类型.

如何从传递的成员函数中删除const限定符或如何应用std::remove_const？

Answer 1

正如Adam S在评论中指出的那样，当他尝试编译使用Selene库的简单代码时，就会发生此错误：

#include <selene.h>

class C {
public:
    bool get() const;
};

bool C::get() const {return true;}

int main() {
    sel::State state;
    state["C"].SetClass<C>("get", &C::get);
}

编译器无法编译 header 中的代码Class.h。_register_member其中类的函数成员有两个重载Class：

template <typename T,
          typename A,
          typename... Members>
class Class : public BaseClass {
private:

    // ...

    template <typename M>
    void _register_member(lua_State *state,
                          const char *member_name,
                          M T::*member) {
        // ...
    }

    template <typename Ret, typename... Args>
    void _register_member(lua_State *state,
                          const char *fun_name,
                          Ret(T::*fun)(Args...)) {
        // ...
    }

    // ...

};

const当指向函数成员的指针作为第三个参数传递时，编译器无法选择第二个重载。应该有另一个可以接受const函数成员的重载。应声明如下：

template <typename Ret, typename... Args>
void _register_member(lua_State *state,
                      const char *fun_name,
                      Ret(T::*fun)(Args...) const)
                                            ^^^^^

如果没有这样的重载，编译器会选择第一个重载，该重载是为使用指向数据成员（而不是函数成员）的指针而创建的，并且无法编译其代码。

const因此，在使用当前版本的Selena库时，您无法处理函数成员（至少以您这样做的方式）。