指向成员函数语法的奇怪指针

Question

我了解如何声明函数的类型：

typedef void (typedef_void_f)(); // typedef_void_f is void()
using alias_void_f     = void(); // alias_void_f is void()

并且可以用来声明函数指针：

void function() { std::cout << __PRETTY_FUNCTION__ << '\n'; }

typedef_void_f *a = function; // pointer to void()
alias_void_f   *b = function; // pointer to void()

对于成员函数指针，语法稍微复杂一些：

struct S { void function() { std::cout << __PRETTY_FUNCTION__ << '\n'; } };

typedef void (S::*typedef_void_m_f)();
using  alias_void_m_f = void (S::*)();

typedef_void_m_f c = &S::function; // pointer to S void() member function
alias_void_m_f   d = &S::function; // pointer to S void() member function

这是我对C++中函数指针的理解，我觉得就够了。

但是在p0172r0 technical paper我发现了一个我不熟悉的语法：

struct host {
   int function() const;
};

template <typename TYPE>
constexpr bool test(TYPE host::*) { // <---- What is this??
    return is_same_v<TYPE, int() const>;
}

constexpr auto member = &host::function;

test(member);

据我了解代码，test 函数 将函数的类型从函数所属的对象的类型中拆分出来，因此在模板 test 函数中 TYPE模板参数将是 void() 但如果我尝试以下操作：

void my_test(void() S::*) {}

my_test(&S::function);

我收到一堆语法错误：

error: variable or field 'my_test' declared void
 void my_test(void() S::*) {}
                   ^
error: expected ')' before 'S'
 void my_test(void() S::*) {}
                     ^
error: 'my_test' was not declared in this scope
     my_test(&S::function);

很明显，我不理解 p0172r0 的 test 函数语法。

谁能解释template <typename TYPE> constexpr bool test(TYPE host::*)语法的细节？

Answer 1

TYPE host::* 是指向类数据成员的指针。 TYPE 是类成员的类型，host::* 表示指向 host 成员的指针。所以TYPE host::* 接受一个指向host 的任何成员的指针

Answer 2

试试这个：

constexpr void my_test(void (S::*)()) {}

这是声明一个指向S的成员函数的参数类型指针的正确方法，返回void而不带参数。

http://ideone.com/EqfYmb