Hi,
Here is a link to an initial draft of my proposal about making class template parameters visible outside the scope of a class by default (without manual and explicit declaration them inside the class via using/typedef).
Quick example:

Before

After

template <class _Tp,

          class _Allocator>

struct vector {

   typedef _Tp value_type;

   typedef _Allocator allocator_type;

};


vector<int>::value_type a = 0;

template <class value_type,

          class allocator_type>

struct vector {

};


vector<int>::value_type a = 0;



Your feedback is appreciated.

--
Dmitry
Sent from gmail