具有自动声明链的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或&)的方法：

来自这篇文章，Is it possible to print a variable's type in standard C++?

根据霍华德·辛南特的回答：

C++11

我正在为非MSVC平台使用__cxa_demangle，这是ipapadop在回答解析式时推荐的。但在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;
}

(尾引)

因此，在主要职能方面：

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&