Re: [Boost-users] [mpl] newbie question

From: Andy Little (andy_at_[hidden])
Date: 2006-02-24 05:04:00

"David Abrahams" writes

> The result of the transform is only required to be "concept-identical"
> to the result you're looking for.

IMO that behaviour is sloppy. I see no reason why (at least)

boost::is_same < plus< int_<1> ,int_<1> >::type, int_<2> > shouldnt be true.

mpl models itself on runtime C++ but in this case it deviates from following 
runtime behaviour for no real benefit. Note also that tightening the behaviour 
wouldnt break any conforming code ;-)

regards
Andy Little