Re: [boost] [typeof][result_of] Separated at Birth?

"David Abrahams" <dave@boost-consulting.com> wrote

3 If BOOST_TYPEOF knows the result type of the expression, that is type. Note that we're on slightly shaky ground here because we'll mis-report const lvalues as rvalues... unless someone can figure out how to apply Eric N.'s ?: discoveries to know for sure.

Just to make sure that we are on the same page, did you mean we mis-report const non-references as const lvalues? For example, if a function is declared as "const int foo()" (which makes little sense to me, but possible), LVALUE_TYPEOF would yield: "const int&". In case of a function declared as "const int& foo()", LVALUE_TYPEOF would correctly produce "const int&". Regards, Arkadiy