C++这怎么不是成员函数指针

C++ How is this not member function pointer?

本文关键字:成员 函数 指针 C++      更新时间:2023-10-16

根据以下测试:

std::cout << std::is_member_function_pointer<int A::*()>::value << std::endl;

不是成员函数指针,而是常规函数,而这是:

std::cout << std::is_member_function_pointer<int (A::*)()>::value << std::endl;

评估为true。我在gcc&msvc。这两个声明之间有什么区别?这些结果正确吗?为什么A::*周围的括号很重要?

int A::*()是函数的类型,它返回A的成员,类型为int,不带参数。所以它不是成员函数指针,甚至不是函数指针。

std::cout << std::is_member_function_pointer<int A::*()>::value << std::endl; // 0
std::cout << std::is_pointer<int A::*()>::value << std::endl;                 // 0
std::cout << std::is_function<int A::*()>::value << std::endl << std::endl;   // 1

括号改变了优先级,int (A::*)()A的成员函数指针的类型,它返回int,不接受任何参数。

不同括号类型表达式的差异源于运算符优先级。

以下是一种获得更详细、描述性的类型规范的方法:

C: \my\forums\so\120>echo结构体A{};使用T=int A::*();T o;int x=o>1.cppC: \my\forums\so\120>g++-c 1.cpp1.cpp:1:48:错误:从"int A::*(*)()"到"int"的转换无效[-fpermission]结构体A{};使用T=int A::*();T o;int x=o;^C: \my\forums\so\120&gt_

因此,我们看到int A::*()类型的变量具有int A::* (*)()类型

EDIT:当这篇文章被标记为解决方案时,我无法删除它,所以请注意:在上面的代码中,o不是一个变量。相反,它是一个函数声明int A::*()直接是函数类型,即返回数据成员指针的函数。

现在去喝咖啡…