Question

以下源代码在VC中生成警告C4407，并且编译器确实产生了错误的代码。

struct A1 {
    int a1;
};

struct A2 {
    int a2;
};

struct B: A1, A2 {
    void f() {
        std::cout << this << '\n';
    }
};

int main() {
    B b = B();
    void (B::*pb)() = &B::f;
    void (A2::*pa)() = (void (A2::*)())pb;  // performs static_cast actually
    std::cout << (std::uintptr_t&)pb << '\n';
    std::cout << (std::uintptr_t&)pa << '\n';
    B* pB = &b;
    A2* pA = pB;
    std::cout << pB << '\n';
    std::cout << pA << '\n';
    (pB->*pb)();
    (pA->*pa)();
}

生成的代码不正确，因为在调用pA时未调整指针pa，导致this中的指针值错误f。但是，代码在GCC和clang中编译良好而没有任何警告（严格别名除外）。在GCC和clang生成的代码中正确调整了指针pA。所以，我想知道标准对此有何看法？上述代码中的演员是否按照标准罚款？或者它是GCC和clang的非标准扩展？

Answer 1

根据评论 - 这实际上是 MSVC 的非标准扩展 - GCC和CLang默认都正确处理。任何看到此内容的人都应该使用编译器命令行上的/vmg开关来禁用允许“压缩”的MSVC扩展程序。简单继承层次结构中的PMF。不幸的是，该开关的文档非常含糊 - 其相对/vmv的记录方式可以提供更多关于实际情况的见解。

VC是否符合有关警告C4407的标准？

1 个答案: