C++ auto 与 decltype对const的不同处理

最新推荐文章于 2024-10-24 22:38:25 发布

机智de小明

最新推荐文章于 2024-10-24 22:38:25 发布

阅读量1.7k

点赞数 20

CC 4.0 BY-SA版权

分类专栏：瞎β写文章标签： c++

本文链接：https://blog.youkuaiyun.com/qq_37962605/article/details/114501228

瞎β写专栏收录该内容

2 篇文章

订阅专栏

本文探讨了C++中`auto`和`decltype`关键字在处理`const`时的不同点。`auto`会忽略顶层`const`，例如在`auto q = p;`中，`q`被推断为`int *`而非`int * const`。而`decltype`则保留顶层`const`，在表达式是变量时，如`decltype(cj)`会得到`const int`的引用类型，这需要初始化。总结来说，`auto`根据表达式结果推断类型，`decltype`仅获取表达式类型而不计算其值。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C++ auto 与 decltype对const的不同处理

最近在看C++ Primer 第五版，看到了auto、decltype、const交叉的部分，做一点笔记以后回头来看看。。。。

auto

常用的格式为
auto variable = expression;
用于根据表达式的结果推断类型，并且将表达式的结果赋值给变量，也就是需要有一个计算表达式，再获取表达式类型的过程，如果不给表达式，编译器是会报错的：
报错了（g++）
auto 可以忽略掉顶层的const，我觉得书上的例子不太好，用这个比较直观：

    int a = 0;
    int b = 0;
    int * const p = &a;
    auto q = p;
    q = &b;

在这里q的类型被推断为int * 而不是 int * const 所以我们可以对q重新进行赋值。
如果想通过auto将q也定义成指针常量（顶层const，说人话就是指针指向的地址不能改变，但是注意要有初始化），需要在auto前加上const，也就是
const auto q = p;

decltype

decltype与auto的一个不同之处在于，它不会计算出表达式的值并且将值赋值给变量以初始化，而是只获取到表达式的返回值类型，通常的用法为
decltype(f()) a;
定义一个类型与 f()返回值相同的变量a，至于f()返回的值具体是啥，我们并不关心。
另外如果表达式是变量名加上括号，如

int a = 0;
decltype((a)) b = a;

那么decltype获取到的是一个 int 类型的引用，所以这里会需要初始化。

与auto不同，decltype会保留顶层const特性，书上例子是这么写的

const int ci = 0, &cj = ci;
decltype (ci) x = 0;
decltype (cj) y = x;
decltype (cj) z;	//错误，z是一个引用，必须初始化

而如果我们使用

auto z = cj;

编译是可以通过的。
个人理解是这里算了一下cj的值，值的类型是const int，再把顶层const去掉，就把z定义为了普通的int变量；而decltype不去算值，直接根据cj的类型，推断的结果自然是const int类型的引用（书上特地有说明除了在decltype下，其他情况引用都可以视为所指对象本身），所以将z定义为引用，自然是要初始化，编译是无法通过的。

总结

auto和decltype都可以用来推断类型，有那么点写脚本语言的味道，不同之处在于

auto需要算结果，根据结果判断类型，而decltype不需要计算结果，类型推断也不来自于结果
decltype对加括号的变量，返回的是变量的引用类型
auto会去掉顶层const特性，也就是对各种常量当等号右边表达式，返回的是非常量类型，对引用返回的则是被引用对象的类型；而decltype会保留顶层const，即常量返回常量，且对引用也返回引用。