Base Class Accessible Accessible As Type Via Derived Class
I am trying to locate the specific documentation in TCPPPL 3rd Ed.
that says that a class is a scope, and applying the scope resolution
operator allows access to types from that scope.
template <class Element>
struct Derived : public Base<int>
Base b1; // <int> unnecessary
Base b2; // <int> unnecessary
First, I can no longer find the page that says that specification
of <int> is unnecessary, as there is no ambiguity in type of Base.
struct Bigger : public Big
int main ()
Derived::Base<int>; // OK, <int> unnecessary
Derived::Base; // OK, <int> unnecessary
Derived::Base<float>; // error
Derived::Base b3; // OK, Base is accessible via Derived
Bigger::Big k; // OK, Big is accessible via Derived
We see that base classes are types that are usable external to the
scope of the derived class. Where in TCPPPL 3rd edition does
it say this?
-Le Chaud Lapin-
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]