// -*- mode:C++ -*-

//////////////////////////////////////////////////////////////////////
// Named "function" parameters
//////////////////////////////////////////////////////////////////////

class named_fn 
{
  int _id;
  double _val;
  int _dim;
  
  public:
  named_fn() : _id(0), _val(1), _dim(2) {}
  named_fn& id(int p)     { _id  = p ; return *this; }
  named_fn& val(double p) { _val = p ; return *this; }
  named_fn& dim(int p)    { _dim = p ; return *this; }

  ~named_fn() {
    //Itt van maga az algoritmus
  }
};

//Hasznalat:
//named_fn().id(3);
//named_fn().id(3).val(2);
//named_fn().dim(4).id(3);


//////////////////////////////////////////////////////////////////////
// Named class template parameters (A)
//////////////////////////////////////////////////////////////////////

template<class A=int,class B=double>
class Named_T
{
public:

  typedef A Atype;
  typedef B Btype;

  template <class T> class SetAType : public Named_T<T,Btype> { };
  template <class T> class SetBType : public Named_T<Atype,T> { };
};

// Named_T<>::SetAType<double>::SetBType<double>

//////////////////////////////////////////////////////////////////////
// Named class template parameters (A)
//////////////////////////////////////////////////////////////////////

struct _NTR 
{
  typedef int Atype;
  typedef double Btype;
};

template<class TR=_NTR>
class Named_TR
{
public:

  typedef typename TR::Atype Atype;
  typedef typename TR::Btype Btype;

  Atype a;
  Btype b;
  
  template <class T>
  struct ATR : public TR {
    typedef T Atype;
  };

  template <class T>
  class SetAType : public Named_TR<ATR<T> > { };

  template <class T>
  struct BTR : public TR {
    typedef T Btype;
  };
  template <class T>
  class SetBType : public Named_TR<BTR<T> > { };

  Named_TR() {};
  Named_TR<TR> &setA(Atype _a) { a=_a; return *this;}
  Named_TR<TR> &setB(Btype _b) { b=_b; return *this;}

  void run() {
    // itt az algoritmus
  }

  //////////////////////////////////////////////////////////////////////
  template<class T>
  SetAType<T> SETA(T t) { SetAType<T> r; r.a=t; r.b=b; return r;}
  template<class T>
  SetBType<T> SETB(T t) { SetBType<T> r; r.a=a; r.b=t; return r;}
};

// Hasznalat:
// 1.
//   Named_TR<>::SetAType<double> nt;
//   Named_TR<>::SetBType<double>::SetAType<double> nt2;
//   nt2.setA(5).setB(6).run();
// 2.
//   double x;
//   Named_TR<>().SETA(5.2).SETB(x).run();
// 3. 
//   struct MyTr : public _NTR { typedef float Btype; };
//   int main() 
//   {
//     Named_TR<MyTr> d2; d2=d2;
//   }


// Sajnos ezt csak a fuggvenyen kivul lehet deklaralni:
struct MyTr : public _NTR { typedef float Btype; };

typedef Named_T<> Named_TN;

int main()
{

  Named_T<> a;a=a;
  Named_T<>::SetAType<double> b;b=b;
  Named_T<>::SetAType<double>::SetBType<int> c;c=c;

  Named_TR<> a2;a2=a2;
  Named_TR<>::SetAType<double> b2;b2=b2;
  Named_TR<>::SetAType<double>::SetBType<int> c2;c2=c2;

  //De igy is lehet:
  Named_TR<MyTr> d2; d2=d2;

  named_fn().id(3);
  named_fn().id(3).val(2);
  named_fn().dim(4).id(3);

   Named_TR<>::SetAType<double> nt;
   Named_TR<>::SetBType<double>::SetAType<double> nt2;
   nt2.setA(5).setB(6).run();

   double x;
   Named_TR<>().SETA(5.2).SETB(x).run();
}