如何将自动 lambda 参数约束为指向成员 function 的指针？

Question

我有一个通用的 lambda function 需要接受指向成员函数的指针作为参数。 我当然可以简单地使用auto ，编译器会推断出正确的类型。 但是，在可能的情况下，我更喜欢在适当的地方用* 、 &和const装饰我的自动参数，从而更好地传达推导类型的性质和意图。 如果我只是将auto参数设为 auto auto* ，则会出现编译器错误，对此我并不感到惊讶，因为auto*表示常规指针，而不是指向成员的指针。 是否有一些语法可以约束auto参数以接受指向成员的指针，或者我应该只使用auto并忘记它？

int main()
{
    struct S { void m() {} };

    //auto l = [](auto* pmf) // ERROR
    //auto l = [](const auto& pmf) // Works, but uh, bit misleading I think
    auto l = [](auto pmf)
    {
        S s;
        (s.*pmf)();
    };

    l(&S::m);
}

Answer 1

您可以将其声明为：

auto l = [](auto S::*pmf)

它确实将指针绑定到S类型，但这是有道理的，因为您将使用它。

Answer 2

在 C++20 中，你可以用一个概念来约束它：

#include <type_traits>

template <typename T>
concept MemberPointer = std::is_member_pointer_v<T>;

void test() {
    auto foo = [](MemberPointer auto memPtr) {};
}

Answer 3

您可以使用 C++20 requires -clause 来执行此操作：

#include <type_traits>

auto l = [](auto pmf) requires std::is_member_function_pointer_v<decltype(pmf)>
{
  S s;
  (s.*pmf)();
};

演示