BOOST_TYPEOF возвращает int вместо const int

Question

Не могли бы вы объяснить, почему это печатает 1? Не должно BOOST_TYPEOF возвращение const int. Как можно проверить, возвращает ли функция const без использования возможностей C++ 11?

#include <iostream> 

#include <boost/typeof/typeof.hpp> 
#include <boost/type_traits/is_same.hpp> 

const int f_const_int() {return 1;} 

int main() 
{ 
    typedef BOOST_TYPEOF(f_const_int()) type; 
    std::cout << (boost::is_same<type, int>::value) << std::endl; 
} 

Answer 1

Если prvalue выражение имеет тип CVint, что резюме-классификатор игнорируется. [Выражение]/6:

Если prvalue изначально имеет тип «резюмеT», где T является резюме-неквалифицированных внеклассового, типа не-массив, типа выражения является до любого последующего анализа до T.

Таким образом, макрос не получает информацию о том, что тип возврата был const.
Возможные обходной путь:

#include <boost/type_traits/function_traits.hpp> 

// […] 
typedef boost::function_traits<BOOST_TYPEOF(f_const_int)>::result_type type; 

Demo.