Ошибка компилятора C3856
"type": класс не является типом класса
Наиболее распространенная причина этой ошибки заключается в наличии более универсальных или шаблонных параметров в точке определения, чем в точке объявления.
Следующий пример приводит к возникновению ошибки C3856:
// C3856.cpp
template <class T>
struct S {
template <class T1>
struct S1;
void f();
};
template <class T> // C3856
template <class T1>
template <class T2> // extra template parameter list in definition
struct S<T>::S1{};
Возможное решение
// C3856b.cpp
// compile with: /c
template <class T>
struct S {
template <class T1>
struct S1;
void f();
};
template <class T>
template <class T1>
struct S<T>::S1{};
C3856 также может возникать при использовании универсальных шаблонов:
// C3856c.cpp
// compile with: /clr
generic <class T>
ref struct GS {
generic <class U>
ref struct GS2;
};
generic <class T>
generic <class U>
generic <class V>
ref struct GS<T>::GS2 {}; // C3856
Возможное решение
// C3856d.cpp
// compile with: /clr /c
generic <class T>
ref struct GS {
generic <class U>
ref struct GS2;
};
generic <class T>
generic <class U>
ref struct GS<T>::GS2 {};