Вывод типа C ++ с цепочкой автоматического объявления

Question

У меня есть это упражнение:

auto        p = 42;
auto const& q = p;
auto        r = q;
auto&       s = q;

Какой тип r и s ?

Это мой ответно я не совсем уверен:

auto        p = 42;        // int
auto const& q = p;         // const int&
auto        r = q;         // int&
auto&       s = q;         // int&&

Answer 1

Я нашел способ определить типы переменных и их квалификатор (const или &):

из этого поста Можно ли напечатать тип переменной в стандартном C ++?

из ответа Говарда Хиннанта:

Решение C ++ 11

Я использую __cxa_demangle для платформ не-MSVC, как рекомендованоipapadop в своем ответе на demangle типов. Но на MSVC я доверяю typeid, чтобы разобрать имена (не проверено). И это ядро ​​обернуто вокруг некоторого простого тестирования, которое обнаруживает, восстанавливает и сообщает cv-квалификаторы и ссылки на тип ввода.

#include <type_traits>
#include <typeinfo>
#ifndef _MSC_VER
#   include <cxxabi.h>
#endif
#include <memory>
#include <string>
#include <cstdlib>

template <class T>
std::string
type_name()
{
    typedef typename std::remove_reference<T>::type TR;
    std::unique_ptr<char, void(*)(void*)> own
           (
#ifndef _MSC_VER
                abi::__cxa_demangle(typeid(TR).name(), nullptr,
                                           nullptr, nullptr),
#else
                nullptr,
#endif
                std::free
           );
    std::string r = own != nullptr ? own.get() : typeid(TR).name();
    if (std::is_const<TR>::value)
        r += " const";
    if (std::is_volatile<TR>::value)
        r += " volatile";
    if (std::is_lvalue_reference<T>::value)
        r += "&";
    else if (std::is_rvalue_reference<T>::value)
        r += "&&";
    return r;
}

(endquote)

Итак, в основномфункция:

int main()
{
    auto p = 42;
    auto const& q=p;
    auto r = q;
    auto& s=q;
    cout << "decltype(p) is " << type_name<decltype(p)>() << '\n';
    cout << "decltype(q) is " << type_name<decltype(q)>() << '\n';
    cout << "decltype(r) is " << type_name<decltype(r)>() << '\n';
    cout << "decltype(s) is " << type_name<decltype(s)>() << '\n';
}

выход:

decltype(p) is int
decltype(q) is int const&
decltype(r) is int
decltype(s) is int const&