指针到成员的C类内初始化使MSVC失败（但GCC/Clang工作）

Question

下面是一个非常简单的C代码：

#include <iostream>

struct A
{
    int a;
    constexpr static int A::* p = &A::a;
    virtual void f() {}
};
int main()
{
    A x; x.a = 0;
    x.*(A::p) = 1234;
    std::cout << x.a;
}

更令人震惊的是，这段代码显示了GCC、Clang和MSVC之间不同的结果。

我试过4个编译器

>

GCC：编译良好，打印1234。

叮当声：编译良好，打印1234。

MSVC（在线）：编译失败。

带有Visual Studio 2019的MSVC（本地）：编译良好，打印0。（有趣的是，如果我删除f（），它会打印1234。）

我不确定指向成员的指针及其自己的成员的类内初始化是否合法，但我相信这段代码应该打印1234。

在编译器资源管理器或Rextester上试用。

我不知道谁是对的。（至少4.似乎是一个bug）

编辑-我发现3.和4.的差异来自编译器选项/permissive。但是/permissive和no-/permissive的结果仍然与gcc和clang不同。

Answer 1

更新

这是一个稍微修改的代码，它似乎像你预期的那样工作，在Visual Studio 2019中：

struct A
{
    int a;
    constexpr static int A::* p() { return &A::a; }
    virtual void f() {}
};

using namespace std;
int main()
{
    A x;
    void* px = &x;
    x.a = 0;
    x.*(A::p()) = 1234;
    cout << x.a << endl;

    getchar();
}

更新结束

刚刚在Visual Studio 2019上试用，我将代码修改为：

#include <iostream>

struct A
{
    int a;
    constexpr static int A::* p = &A::a;
    virtual void f() {}
};

struct B
{
    int a;
    constexpr static int B::* p = &B::a;
};

using namespace std;

void printBytes(void* p, size_t length = 16) {
    uint8_t* pu = (uint8_t*)p;
    cout << "  ";
    for (size_t i = 0; i < length; ++i) {
        auto val = *(pu + i);
        printf("%02x ", val);
    }
    cout << endl;
}

int main()
{
    A x;
    void* px = &x;
    cout << "\nfor A:\n";
    printBytes(px);
    x.a = 0;
    printBytes(px);
    x.*(A::p) = 0x1234;
    printBytes(px);
    cout << x.a << endl;

    B y;
    void* py = &y;
    cout << "\nfor B:\n";
    printBytes(py);
    y.a = 0;
    printBytes(py);
    y.*(B::p) = 0x1234;
    printBytes(py);
    cout << y.a << endl;

    getchar();
}

输出为：

for A:
  fc 9c 2c 01 cc cc cc cc cc cc cc cc 0f 40 04 09
  fc 9c 2c 01 00 00 00 00 cc cc cc cc 0f 40 04 09
  34 12 00 00 00 00 00 00 cc cc cc cc 0f 40 04 09
0

for B:
  cc cc cc cc cc cc cc cc cc cc cc cc 60 fd 3d 01
  00 00 00 00 cc cc cc cc cc cc cc cc 60 fd 3d 01
  34 12 00 00 cc cc cc cc cc cc cc cc 60 fd 3d 01
4660

B 事例按预期工作，但对于 A 事例，上面的输出表明以下行：

< code > x . *(A::p)= 0x 1234；

将< code>0x1234写入“指向虚函数表的指针”所在的位置。

所以，我认为Visual Studio 2019的编译器在表达式< code >上犯了一个错误