テンプレートクラスのメンバクラスを別のテンプレートクラス内で使用する方法

Question

template <class T>
struct A
{
    struct _A {};
};

template <class T>
struct B {
    A<T>::_A _a;
};

int main() {
    B<int> b;
}

上記のように、テンプレートクラスAのメンバクラス_Aを別のテンプレートクラスB内で使いたいのですが、このコードをコンパイルすると以下のエラーが出ます。

(9): warning C4346: '_A': 依存名は型ではありません
(9): note: 'typename' を持つプレフィックスは型を示します。
(10): note: コンパイル対象の クラス テンプレート インスタンス化 'B<T>' のリファレンスを確認してください
(9): error C2061: 構文エラー: 識別子 '_A'
(9): error C2238: ';' の前に無効なトークンがあります。

テンプレートクラスB内で、どのようにA<T>::_A を宣言すればエラーを消せますか?

Answer 1

エラーメッセージでnote: 'typename' を持つプレフィックスは型を示します。とあるとおりです。

C++20未満のC++コンパイラは、typenameを付けないとA<T>::_Aが型か変数かを判別できないですので、typename A<T>::_A _a;として宣言してください。

なお、C++20では文脈から型だと判定できる場合にはtypenameを省略可能になるとのことです。

Comments

[tometome]

迅速な回答ありがとうございます!!
無事コンパイル成功しました。