"Andy Little" wrote
The expectation ( based on OP's light reading of examples I guess ) is this
assert( boost::is_same <
mpl::transform<
vector_c ,vector_c ,some_plus_func
> ::type ,
vector_c
::value == true);
Personally I think ( even ) that is with (some mods) a realistic expectation.
FWIW Enclosed is a small sample which seems to work ok in VC7.1 and gcc4.01,
bearing in mind its based on expectations not status quo
Formatting of output works best in vc7.1 BTW.
IOW Its not impossible to make it work. Might be useful as a relatively simple
demo anyway. Could also be used to explain the reasons for rejecting this
approach too of course ;-)
regards
Andy Little
begin 666 test.cpp
M+RH-"B @('-T86YD86QO;F4@=F5C=&]R7V,@861D('5S:6YG('1R86YS9F]R
M;5]C#0H@("!T97-T960@5D,W+C$@9V-C(#0N,#$-"BHO#0H-"FYA;65S<&%C
M92!M>7L-"@T*(" @("\O7!E;F%M92!4+"!4($XQ+"!4($XR+"!4($XS/@T*(" @('-T7!E;F%M92!3,B L('1Y
M<&5N86UE($9U;F-T:6]N/@T*(" @('-TB ^(&-L87-S(%-E<75E
M;F-E+ T*(" @(" @("!4($XQ3"Q4($XR3"Q4($XS3"P-"B @(" @(" @5"!.
M,5(L5"!.,E(L5"!.,U(L#0H@(" @(" @('1E;7!L871E(#QI;G0L(&EN=#X@
M8VQAPT*(" @(" @("!T
M>7!E9&5F("!397%U96YC93P-"B @(" @(" @(" @(%0L#0H@(" @(" @(" @
M(" H1G5N8SQ.,4PL3C%2/CHZ=F%L=64I+ T*(" @(" @(" @(" @*$9U;F,\
M3C),+$XR4CXZ.G9A;'5E*2P-"B @(" @(" @(" @("A&=6YC/$XS3"Q.,U(^
M.CIV86QU92D@#0H@(" @(" @(#X@='EP93L-"B @("!].PT*#0H@(" @=&5M
M<&QA=&4@/&EN="!,+"!I;G0@4CX-"B @("!S=')U8W0@<&QUPT*(" @
M(" @("!S=&%T:6,@:6YT(&-O;G-T('9A;'5E(#T@3" K(%([#0H@(" @?3L-
M"@T*?2\O;7D-"@T*(VEN8VQU9&4@/&EO3HZ=F5C=&]R7V,\:6YT+#$L,BPS/B!V,3L-
M"B @("!T>7!E9&5F(&UY.CIV96-T;W)?8SQI;G0L,2PQ+#$^('8R.PT*(" @
M('1Y<&5D968@;7DZ.G1R86YS9F]R;5]C/ T*(" @(" @("!V,2QV,BP@#0H@
M(" @(" @(&UY.CIP;'5S7V,\,"PP/B -"B @(" ^.CIT>7!E(')E7!E:60H=C$I+FYA;64H*2 \/" G7&XG
M( T*(" @(#P\("(@*R B(#P\('1Y<&5I9"AV,BDN;F%M92@I(" \/" G7&XG
M#0H@(" @/#P@(B ]("(@/#P@('1Y<&5I9"AR97-U;'0I+FYA;64H*2 \/"=<
.;B<[#0H@(" @#0I]#0H`
`
end