将一个指向成员的指针函数转换为同一个类的另一个指针

Question

将指向成员函数的指针转换为使用同一类的另一个指向成员函数的函数是否合法reinterpret_cast？以下示例有效.但这是合法的吗？

#include<iostream>
#include<vector>
#include<string>

class A
{
    public:
    void func_int(int x) { std::cout << x << std::endl; }
    void func_string(std::string const& x) { std::cout << x << std::endl; }
};

int main()
{
    std::vector<void(A::*)()> v;
    v.push_back(reinterpret_cast<void(A::*)()>(&A::func_int));
    v.push_back(reinterpret_cast<void(A::*)()>(&A::func_string));
    A a;
    (a.*reinterpret_cast<void(A::*)(int)>(v[0]))(5);
    (a.*reinterpret_cast<void(A::*)(std::string const&)>(v[1]))(std::string{"Test"});

    return 0;
}

Answer 1

在[expr.reinterpret.cast],C++草案指出:

甲prvalue类型的"指针的构件X类型的T1"可被明确地转换成不同类型的"指针的构件的prvalue Y类型的T2"如果T1和T2都函数类型或两者的对象类型.⁷²空成员指针值([conv.mem])将转换为目标类型的空成员指针值.除以下情况外,此转换的结果未指定:

• 将"指向成员函数的指针"类型的prvalue转换为指向成员函数类型的不同指针,并返回其原始类型,从而生成指向成员值的原始指针.

• 类型的prvalue转换"指针的数据成员X类型的T1"到该类型的"指针的数据成员Y类型的T2"(其中的对准要求T2并不比那些更严格的T1),并返回到其原始类型产生的原始指针到会员价值.

72)T1并且T2可能具有不同的cv-限定符,受限于reinterpret_cast不能抛弃常数的总体限制.

由于您将"指向成员函数的指针"转换为另一个"指向成员函数的指针"类型并返回,因此它会生成原始值.这是合法且定义明确的行为.所以你的代码应该正常工作.