为什么这个公共成员函数不能在类中声明的私有结构成员上调用 decltype？

Question

以下代码（粗略地表示我正在处理的一些序列化内容）使用 g++ (http://ideone.com/0rsGmt) 进行编译，但 Visual Studio Express 2013 RC 失败并出现以下错误：

Error 1 error C2326: 'void foo::print(void)' : function cannot access 'foo::bar::member_'
Error 2 error C2039: 'bar' : is not a member of 'foo'

代码：

#include <iostream>

class foo
{   
    private:
        struct bar
        {
            int member_;
        };

    public:
        void print()
        {
            std::cout << sizeof(decltype(foo::bar::member_)) << std::endl;
        }
};

int main(int argc, char* argv[])
{
    foo f;
    f.print();
    return 0;
}

怎么了？ Visual Studio 不足还是其他？显然我可以将结构声明移出类； Daniel Frey 在下面提供了一种解决方法；但我想知道为什么上面的代码无法在 Visual Studio 中按原样编译。

更新： 接受的答案说它应该可以工作，但对于 Microsoft 来说，通常情况下它不会。我在这里填写了一个错误报告：http://connect.microsoft.com/VisualStudio/feedback/details/801829/incomplete-decltype-support-in-c-11-compiler

（如果有人可以为问题提出更好的标题，我将不胜感激！）

Answer 1

我认为您的代码应该工作（如在 GCC 或 Clang 上），根据

5 个表达式 [expr]

⁸ 在某些情况下，未计算的操作数会出现（5.2.8、5.3.3、5.3.7、7.1.6.2）。未计算的操作数不会被计算。未计算的操作数被视为完整表达式。 [注意： 在未计算的操作数中，可以命名非静态类成员（5.1），并且对象或函数的命名本身并不要求提供定义（3.2）。 — 尾注 ]

似乎 VC++ 没有实现注释所阐明的内容，因此您需要一个（伪造的）实例作为解决方法来让 VC++ 满意。这应该有效：

void print()
{
    std::cout << sizeof(std::declval<bar>().member_) << std::endl;
}

请注意，我删除了 decltype，因为 sizeof 可以直接处理表达式。

Answer 2

也许你的代码的问题是结构就像类，你在类中定义结构，但编译器不知道这个类（或结构）存在，直到它编译整个类。