c++ - 如何将自动 lambda 参数限制为指向成员函数的指针？

Question

我有一个通用 lambda 函数，需要接受指向成员函数的指针作为参数。我当然可以简单地单独使用 auto ，编译器将推断出正确的类型。但是，在可能的情况下，我更喜欢在适当的情况下使用 *、& 和 const 来装饰我的自动参数，从而更好地传达自动参数的本质和意图推导的类型。如果我只是将 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)

它确实将指针绑定(bind)到 S 类型，但它是有意义的，因为您将通过这种方式使用它。