c++11 - 带有自动声明链的 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&&

标签： c++11referencetype-conversionauto

Answer 1

我找到了一种方法来确定这些变量类型及其限定符（const 或 &）：

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

来自 Howard Hinnant 的回答：

C++11 解决方案

我正在将 __cxa_demangle 用于非 MSVC 平台，正如 ipapadop 在他对 demangle 类型的回答中所推荐的那样。但是在 MSVC 上，我相信 typeid 可以解开名称（未经测试）。这个核心围绕着一些简单的测试来检测、恢复和报告 cv-qualifiers 和对输入类型的引用。

#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&