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

Subject: Re: [boost] [guidelines] why template errors suck
From: Andrew Sutton (asutton.list_at_[hidden])
Date: 2010-09-28 09:39:23

> > I've done it and there was no particular problem. I just need to check
> the argument are input iterators and an unary function object taking the
> same value as the iterator value type and returning a boolean.
> > (of course, by taking a particular value, I really mean taking something
> that can be converted from that particular value, and by returning a
> particular value I mean returning a type convertible to that value, but all
> of those implicit conversions are taken care of automatically by
> expressions)
>
> All of that handwaving is exactly where the problem is. When the computer
> is checking your work, you don't get that luxury ;-)
>
> resting-his-case-ly y'rs,
>

Having done the exercise, I'm satisfied with my results (which agree with
Mathias'). I think your "left to the reader as an exercise" approach doesn't
seem to be getting the point across. Perhaps you could provide a more
concrete argument?

Andrew Sutton