Re: Template partial specialization

On 17 Mrz., 10:02, Misiu <misi...@onet.eu> wrote:


You may want to rethink your design.

Anyhow, with a bit of meta-programming you could achieve a similar
effect.

  template<bool B, typename T1, typename T2>
  struct if_ { typedef T1 type; };
  template<typename T1, typename T2>
  struct if_<false,T1,T2> { typedef T2 type; };

  template<typename T1, typename T2>
  struct same_ { static const bool value = false; };
  template<typename T>
  struct same_<T,T> { static const bool value = true; };

  template<typename T>
  class impl_default {
      // ...
    protected:
      ~default_impl() {}
  };

  template<typename T>
  class impl_for_vect_iter {
      // ...
    protected:
      ~spec_for_vect_iter() {}
  };

  template<typename T>
  class test : public if_<
    same_<T,typename std::vector<T>::iterator>::value,
    impl_for_vect_iter<T>,
    impl_default<T>
  > {};

or something like this. (I didn't test it)

Cheers!
SG