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