C++中的自动引用

Question

这段代码在 Visual Studio 2015 中给了我奇怪的调试信息

int main() {
    const int i = 42;
    auto j = i; const auto &k = i; auto *p = &i;
    const auto j2 = i, &k2 = i;
}

结果类型是：

&k  = const int &
&k2 = const int *

我认为这两个都应该是const int &。

问题是，为什么我的 Visual Studio 调试器说 &k 和 &k2 属于不同类型？

Answer 1

k 和 k2 都是 const int& 类型。

---

这是完整的类型列表。注意顶级const被auto类型推导丢弃。

int main()
{
    const int i = 42;
    auto j = i; // i is an int (const is top-level)
    const auto &k = i; // k is a const int&
    auto *p = &i; // p is a const int* (const persists as not top-level).
    const auto j2 = i, &k2 = i; // j2 is a const int, k2 is a const int&
}

最后，如果你写了

auto q = &k2;

那么q的类型是const int*，因为const不是顶级的所以不会被丢弃而是auto类型推导。这会恢复您观察到的调试信息。

j2 和 k2 看起来不同，但实际上这是由于声明如何与逗号一起使用，参见。可以通过写作来消除混乱

const int j2 = i, &k2 = i;

使用 C++11 标准库函数is_same，您总能找到答案： 例如

bool am_I_the_same = std::is_same<decltype(k2), const int&)::value

decltype 恢复其参数的类型。

参考：http://en.cppreference.com/w/cpp/types/is_same