VC 是否符合警告 C4407 的标准

Does VC conform to the standard with respect to warning C4407?

本文关键字：C4407 标准 警告 是否 VC      更新时间：2023-10-16

以下源在 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没有调整，导致f中的指针值this错误。但是，代码在 GCC 和 clang 中编译良好，没有任何警告（严格别名除外）。指针pA在 GCC 和 clang 生成的代码中进行了适当的调整。所以，我想知道标准对此有何规定？上面代码中的强制转换按照标准好吗？还是GCC和clang的非标准扩展？

根据评论 - 这实际上是MSVC的非标准扩展 - GCC和CLang默认情况下都正确处理了这一点。 看到此消息的任何其他人都应使用编译器命令行上的/vmg开关来禁用 MSVC 扩展，该扩展允许在简单继承层次结构中使用"压缩"PMF。 不幸的是，该交换机的文档非常神秘 - 它的相对/vmv以一种提供更多关于真正发生的事情的见解的方式进行记录。

相关文章：