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

From: Arkadiy Vertleyb (vertleyb_at_[hidden])
Date: 2005-06-12 08:56:23

"David Abrahams" <dave_at_[hidden]> 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