C++的auto类型说明符详解 附易错实例

简介: C++的auto类型说明符详解 附易错实例

基本概念


C++11标准引入了auto类型说明符,auto类型说明符可以让编译器来分析表达式所属的类型。


编译器通过什么来分析表达式的类型?


答案是通过变量的初始值。


所以,auto定义的变量必须有初始值。


auto i = 1 + 3;


i的初始值是1和3相加的结果。编译器会根据i的初始值自动推断变量i的类型。


1和3都是int类型,所以i的类型就是int。


以此类推,倘若它俩都变成double类型,那么i的类型就是double。


使用auto也能在一条语句中声明多个变量。


但是因为一条声明语句只能有一个基本数据类型,所以该语句中所有变量的数据类型都必须一样。


易错点


auto i=1+3,j=5;//正确,都为int类型
auto a=1.23,b=2//错误,一个double,一个int

需要注意的是,当使用auto声明一个引用类型或者const类型时,就不能让编译器自主判断了。


这种情况我们必须手动添加。


auto i=1+3;//i是int类型
auto &m=i;//m是绑定在i上面的一个int类型引用
const auto n=i;//n是值为4的常量


易错实例


auto是非常方便的语法,但是不能滥用,可能会有意想不到的错误。


像下面的情况,请你找一下错误所在吧!


#include<bits/stdc++.h>
using namespace std;
int main()
{
  string s = "123";
  for (auto i = s.size() - 1; i >= 0; --i)
  cout << s[i];
  return 0;
}


实例详解


你可能会自信地认为输出的结果是321.


那么很遗憾,你的答案是错误的。


上面的代码会输出一堆乱码。


原因就在于auto上面。


仔细研究一下auto i = s.size() - 1;i被推导成什么类型了?是int类型吗?


事实上i被推导成了无符号整形。


因为s.size()返回的就是一个无符号整形。


无符号整形没有负数,计算机会把无符号整形的-1,-2等负数解释成非常大的正整数值。


所以上述代码一直满足i >= 0的条件。


C++里没有越界检测机制,即使正整数的值已经超过了字符串的长度,循环体依旧可以成功运行。


所以程序会莫名其妙的输出乱码。


而且,即使i从正整数值递减到0,依然会因为刚才解释的原因再次回到那个非常大的正整数值。


所以程序是一个死循环。


要解决死循环也非常简单。


解决办法


不用auto就行。。。


#include<bits/stdc++.h>
using namespace std;
int main()
{
  string s = "123";
  for (int i = s.size() - 1; i >= 0; --i)
  cout << s[i];
  return 0;
}


5a0ce471ea888663bb02ad111733705a_f1452bf69d434b149100bfc8c4f906ae.png


一句话总结,auto虽好,也不要贪杯哦。。。


除非你确保auto推导出来的类型是你想要的 。

54fb0425f1bb34b5c8745b3c2fa1a2e7_74705767a63e4c3ca9ef88760e0a2d39.jpeg


相关文章
|
2月前
|
存储 编译器 程序员
C++类型参数化
【10月更文挑战第1天】在 C++ 中,模板是实现类型参数化的主要工具,用于编写能处理多种数据类型的代码。模板分为函数模板和类模板。函数模板以 `template` 关键字定义,允许使用任意类型参数 `T`,并在调用时自动推导具体类型。类模板则定义泛型类,如动态数组,可在实例化时指定具体类型。模板还支持特化,为特定类型提供定制实现。模板在编译时实例化,需放置在头文件中以确保编译器可见。
39 11
|
2月前
|
存储 安全 编译器
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(一)
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值
|
3月前
|
安全 程序员 编译器
C++ 11新特性之auto和decltype
C++ 11新特性之auto和decltype
48 3
|
2月前
|
存储 编译器 程序员
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(二)
【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值
|
4月前
|
存储 安全 编译器
C++入门 | auto关键字、范围for、指针空值nullptr
C++入门 | auto关键字、范围for、指针空值nullptr
81 4
|
3月前
|
安全 程序员 C语言
C++(四)类型强转
本文详细介绍了C++中的四种类型强制转换:`static_cast`、`reinterpret_cast`、`const_cast`和`dynamic_cast`。每种转换都有其特定用途和适用场景,如`static_cast`用于相关类型间的显式转换,`reinterpret_cast`用于低层内存布局操作,`const_cast`用于添加或移除`const`限定符,而`dynamic_cast`则用于运行时的类型检查和转换。通过具体示例展示了如何正确使用这四种转换操作符,帮助开发者更好地理解和掌握C++中的类型转换机制。
|
4月前
|
C++
使用 QML 类型系统注册 C++ 类型
使用 QML 类型系统注册 C++ 类型
100 0
|
4月前
|
存储 C++
【C/C++学习笔记】string 类型的输入操作符和 getline 函数分别如何处理空白字符
【C/C++学习笔记】string 类型的输入操作符和 getline 函数分别如何处理空白字符
55 0
|
4月前
|
设计模式 安全 IDE
C++从静态类型到单例模式
C++从静态类型到单例模式
40 0
|
4月前
|
存储 编译器 C++
【C++关键字】auto的使用(C++11)
【C++关键字】auto的使用(C++11)