異なる部分に定義された "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自体にではなく、定義の順に。

最初のコードスニペットでは、コンパイラはB::size_typeが何であるかを知りません - それはclass Bが存在することだけを知っています。後者の場合、コンパイラはすでにtypedefを知っています。したがって、B::size_typeです。

これは、コンパイラがコードを行ごとに「読み取り」（解析）し、定義の順序が重要なために発生します。