在仿函数中包装 const 成员函数的问题

Question

我们实现了一个将回调传递给对象实例成员函数的系统。这很好用，请参见下面的代码。问题是实现的当前状态只处理非常量成员函数。

下面的代码编译并演示了系统正在运行。只要包含/* const */，它就不再编译。

错误消息本地化不是英文，但第一条消息是“不完整类型”。

从逻辑上讲，对 const 成员函数的调用不应该比对非 const 成员函数的调用更受限制，因此看起来基本目标是明智的。 很明显，const 成员的类型与非 const 成员的类型不同。问题是我们没有找到一种方法向编译器表达代码对 const 成员也有效。

在所示的 WrapP 中，我们可以在哪里以及如何表示 const 是可以接受的？是否可以定义一个同时接受 const 和 non-const 成员函数的模板？

#include <algorithm>
#include <functional>
#include <iostream>

using std::cout;
using std::endl;

template <auto F>
struct WrapP;

template <typename T, typename R, typename ... Args, R(T::* F)(Args...)>
struct WrapP<F> {
    T* obj_;

    WrapP(T* instance) : obj_(instance) {}

    auto operator()(Args... args) const {
        return (obj_->*F)(args...);
    }
};

struct foo {
    // Const below is needed, but could not be activated.
    auto bar(double) /* const */ -> int { 
        return 314; };
};
int main() {
    foo x;
    // Create a functor for foo::bar
    WrapP<&foo::bar> fp{ &x };
    // Call the functor.
    std::cout << fp( 3.14159265  ) << std::endl;

    return 0;
}

Answer 1

如果您想将WrapP 特化为const 成员函数，您需要指定：

template <typename T, typename R, typename ... Args, R(T::* F)(Args...) const>
struct WrapP<F> {                                                   //  ^___^
 // ...
};

据我所知，没有办法在模板参数列表中允许 const 或非 const 成员函数指针，因此您必须单独编写这些案例的专业化。

Answer 2

不要专门化 WrapP - 而是继续将 auto F 作为模板参数，然后使用 Boost.CallableTraits 之类的东西或您自己的解决方案提取您需要的信息：

template <auto F>
struct WrapP {
    using T = boost::callable_traits::class_of_t<decltype(F)>; 
    using R = boost::callable_traits::return_type_t<decltype(F)>; 

    T* obj_;

    WrapP(T* instance) : obj_(instance) {}

    template <typename... Args>
    auto operator()(Args... args) const {
        return (obj_->*F)(args...);
    }
};

也可以提取Args...，但是当你返回std::tuple时会比较麻烦。