c++ - MSVC 与 GCC 与 sizeof 的行为不一致

Question

考虑以下代码:

#include <cstddef>

class A
{
public:
    struct B
    {
        int M;
    };

    static void StaticFunc();
};

void A::StaticFunc()
{
    const std::size_t s0 = sizeof(::A::B::M);
    const std::size_t s1 = sizeof(A::B::M);
    const std::size_t s2 = sizeof(B::M);
}

int main()
{
    const std::size_t s3 = sizeof(A::B::M);
    return 0;
}

GCC compiles it ，只是警告未使用的变量。

但是 Visual C++ 2015 无法编译它:

error C2326: 'void A::StaticFunc(void)': function cannot access 'A::B::M'

在线

const std::size_t s0 = sizeof(::A::B::M);
const std::size_t s1 = sizeof(A::B::M);

在 StaticFunc() 中。

main() 中的另一行 s2 = ... 和 s3 = ... 编译正常。

这是 MSVC 中的错误，还是我错过了一些基本的东西？

Answer 1

这是 MSVC 中的一个错误。

C++11/14 允许在非求值上下文中使用非静态类成员，参见 5.1.1 [expr.prim.general] p。 13:

An id-expression that denotes a non-static data member or non-static member function of a class can only be used:

...

(13.3) — if that id-expression denotes a non-static data member and it appears in an unevaluated operand.

[ Example:

    struct S {
       int m;
    };
    int i = sizeof(S::m);        // OK
    int j = sizeof(S::m + 42);   // OK

— end example]

编辑:看起来 MSVC 接受 B::M 而不接受 A::B::M，这是一个完全无法解释的行为。我看不出它怎么可能不是错误。

clang++ like g++ in C++11 and C++14 mode accepts the program。 C++03 模式下的 clang++ 拒绝对 M 的所有 4 个引用(C++03 没有任何类似 p.13.3 的东西)，而 C++03 模式下的 g++ 仍然接受它们(这是可能是 g++ C++03 模式错误)。