[boost] Re: "invariants" class; Version 1.00

From: Dan W. (danw_at_[hidden])
Date: 2004-01-08 16:01:23

Daniel Wallin wrote:
> Consider:
> 
>   template<class T>
>   struct B
>   {
>       struct type {};
>   };
> 
>   template<class T>
>   struct A : B<A<T> >
>   {
>       typedef typename B<A<T> >::type type;
>        dependent, needs typename ^^^^
>   };

     template<class T>
     struct A : private B< A<T> >
     {
      private:
         //no typedefing OR typenaming,
         //as trigobj is not for export;
         //--just using type as in...
         type _typo;
      public:
         //or...
         void f()
         {
             type a_typo;
         }
         //isn't this compliant?
         ...
     };