Re: [boost] [guidelines] why template errors suck

Subject: Re: [boost] [guidelines] why template errors suck
From: David Abrahams (dave_at_[hidden])
Date: 2010-10-03 18:20:51

At Sun, 03 Oct 2010 22:52:20 +0100,
Mathias Gaunard wrote:
> 
> Sorry, I assumed we were talking about standard C++, or eventually about 
> the soon-to-standard C++0x.
> 
> I.e. solutions that we can really use in the real world.

I actually think it's quite possible to make something like this work:

  template <class Iter>
  struct ForwardIterator
    : associated<value_type>,
      signature<Iter&, operator_increment(Iter&)>,
      signature<value_type&, operator_star(Iter)>,
      EqualityComparable<Iter>
  {
  };

(maybe not exactly that, but something like it).  No time to explore
that right now, though, sorry ;-)

-- 
Dave Abrahams
BoostPro Computing
http://www.boostpro.com