If the prvalue expression is of type cv int, this cv qualifier is ignored. [Expression] / 6:
If the original prvalue value is of type "cv T", where Tis cv-unqualified non-class, non-array type, type of expression before Tuntil the next analysis.
, , const.
:
#include <boost/type_traits/function_traits.hpp>
typedef boost::function_traits<BOOST_TYPEOF(f_const_int)>::result_type type;
.