Microsoft Visual C++ コンパイラエラー C2992 について解説

#include <iostream>
using namespace std;
template <class T>
struct Outer {
    // 内部クラス Inner をテンプレートとして宣言
    template <class U>
    struct Inner;
};
// 以下は誤った宣言例です。
// template <class T>   // 型パラメーターリストが不足しているためエラー C2992 が発生します。
// struct Outer<T>::Inner {};
// 正しい宣言例として、内側のテンプレートパラメーターも含めて宣言する必要があります。
template <class T>
template <class U>
struct Outer<T>::Inner {
    // サンプルとしてメンバー関数を定義
    void printMessage() {
        cout << "Inner class インスタンスの型情報を扱います。" << endl;
    }
};
int main() {
    // Outer<int> の Inner クラスを宣言して利用例を示します。
    Outer<int>::Inner<double> instance;
    instance.printMessage();
    return 0;
}

Inner class インスタンスの型情報を扱います。

#include <iostream>
using namespace std;
template <class T>
struct Outer {
    // 内側のクラス Inner をテンプレートとして宣言
    template <class U>
    struct Inner;
};
// 無効な宣言例(型パラメーター U を指定していないためエラーとなる)
// template <class T>
// struct Outer<T>::Inner { };
int main() {
    cout << "無効な宣言例ではコンパイルが通りません。" << endl;
    return 0;
}

#include <iostream>
using namespace std;
template <class T>
struct Outer {
    // 内側のクラス Inner をテンプレートとして宣言
    template <class U>
    struct Inner;
};
// 正しい宣言例
// 外側のテンプレートパラメーター T と、内側のテンプレートパラメーター U を両方指定します。
template <class T>
template <class U>
struct Outer<T>::Inner {
    void showTypes() {
        cout << "Outer の T と Inner の U を正しく扱っています。" << endl;
    }
};
int main() {
    // Outer<int>::Inner<double> のインスタンスを生成し利用例を示します。
    Outer<int>::Inner<double> instance;
    instance.showTypes();
    return 0;
}

Outer の T と Inner の U を正しく扱っています。

// 以下のコードは無効な例です。実際にコンパイルするとエラー C2992 が発生します。
/*
#include <iostream>
using namespace System;
generic <class T>
ref struct Outer {
    generic <class U>
    ref struct Inner;
};
// 無効な宣言例(Inner の型パラメーター U の指定が抜けているためエラーが発生)
generic <class T>
ref struct Outer<T>::Inner { };
*/

#include <iostream>
using namespace System;
using namespace std;
generic <class T>
ref struct Outer {
    generic <class U>
    ref struct Inner;
};
// 正しい宣言例：外側および内側の型パラメーターを両方指定しています。
generic <class T>
generic <class U>
ref struct Outer<T>::Inner {
    // サンプルとしてメソッドを実装
    void ShowMessage() {
        Console::WriteLine("ジェネリック構文での正しい型パラメーターの指定例です。");
    }
};
int main(array<System::String ^> ^args) {
    // Outer<int>::Inner<double> のインスタンスを生成し、メッセージを表示します。
    Outer<int>::Inner<double>^ instance = gcnew Outer<int>::Inner<double>();
    instance->ShowMessage();
    return 0;
}

ジェネリック構文での正しい型パラメーターの指定例です。

// 修正前のコード例(エラーになるためコメントアウトしています)
/*
template <class T>
struct Outer {
    template <class U>
    struct Inner;
};
template <class T>   // ここで内側の U が指定されていないためエラー発生
struct Outer<T>::Inner { };
*/

#include <iostream>
using namespace std;
template <class T>
struct Outer {
    template <class U>
    struct Inner;
};
template <class T>
template <class U>
struct Outer<T>::Inner {
    void display() {
        cout << "型パラメーター T と U の指定が正しく行われています。" << endl;
    }
};
int main() {
    Outer<int>::Inner<double> obj;
    obj.display();
    return 0;
}

型パラメーター T と U の指定が正しく行われています。