24 Feb
2006
24 Feb
'06
10:04 a.m.
"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