c++ - 如何实例化成员函数指针？

Question

假设我有以下代码

template<class MemberFunc>
class Foo {
  MyClass object_;
  void call() {
    auto ptr = MemberFunc{};
    (object_.*ptr)();
  }
};


int main() {
  Foo<decltype(&MyClass::doThings)> foo;
  foo.call();
}

这段代码确实让我崩溃了，因为 ptr 为 0。为什么成员函数构造函数返回 0？

我的解决方法如下，但它涉及代码重复。有没有其他方法可以从类型中构造/实例化成员函数？欢迎 C++14。

template<class MemberFunc, MemberFunc f> 
class Foo {
  MyClass object_;
  void call() {
    (object_.*f)();
  }
};


int main() {
  Foo<decltype(&MyClass::doThings), &MyClass::doThings> foo;
  foo.call();
}

Answer 1

Why does the member function constructor returns 0?

因为它是一个指针 ( -to-member-function )，所有 标量类型值初始化为 0 (C++14 [dcl.init]/8.4)。

Is there no other way to just construct/instantiate the member function from the type?

您可以拥有多个具有相同签名的成员函数；它怎么知道你想引用哪个成员函数？

您的代码适用于 C++14。在 C++17 中，它可以简化为:

template<auto f> 
class Foo {
  MyClass object_;
  void call() {
    (object_.*f)();
  }
};

int main() {
  Foo<&MyClass::doThings> foo;
  foo.call();
}