为什么包含在不同部分定义的“typedef”的类会导致错误？

Question

我在类定义中使用了“typedef”，但是当这个类出现在不同的位置时，它的执行方式不同，可能会导致错误。请帮我检查以下代码。

这个版本的代码可能会报错：

#include <vector>
#include <string>
class B;
class A 
{
    public: 
        A() { }
        std::vector<B::size_type> vec;
};
class B
{
    public: 
        typedef std::vector<std::string>::size_type size_type; // [Error] incomplete type 'B' used in nested name specifier
};

但以下代码运行正常：

#include <vector>
#include <string>
class B
{
    public: 
        typedef std::vector<std::string>::size_type size_type;
};
class A 
{
    public: 
        A() { }
        std::vector<B::size_type> vec;
};

Answer 1

问题不在于typedef本身，而在于定义的顺序。

在第一个代码 sn-p 中，编译器不知道这个B::size_type 是什么——它只知道存在一个class B。在后一种情况下，编译器已经知道你的typedef，因此B::size_type。

发生这种情况是因为编译器逐行“读取”（解析）代码，并且定义的顺序很重要。