template <typename> struct Base { int i = 0; }; template <typename T> struct Deriv : Base<T> { void foo() { i = 1; // error: 'i' was not declared in this scope } }; struct Foo : Deriv<Foo> { void bar() { i = 2; } };