C++特性——auto关键字、范围for、指针空值nullptr

简介: C++特性——auto关键字、范围for、指针空值nullptr


1. auto关键字

在写代码时,我们常常会遇到定义变量时变量的类型名太长的情况,例如:

namespace lwj
{
  struct Stack
  {
    Stack()
    {
      _a = nullptr;
      _top = 0;
    }
    int* _a;
    int _top;
  };
}
int main()
{
  lwj :: Stack st;
  lwj :: Stack st_bak = st;
    return 0;
}

我们发现,变量stst_bak的类型名实在是太长了,有没有什么办法解决呢?

C++引入了auto这个关键字来解决这个问题。

7.1 auto的功能

auto关键字可以自动识别变量的类型。

例如:

lwj :: Stack st;
auto st_bak = st;
int a = 1;
auto a_bak = a;
auto b = 1.0;
//typeid可以打印一个变量的类型
cout << typeid(st).name() << endl;
cout << typeid(st_bak).name() << endl;
cout << typeid(a).name() << endl;
cout << typeid(a_bak).name() << endl;
cout << typeid(b).name() << endl;

output:

struct lwj::Stack
struct lwj::Stack
int
int
double

1.2 关于auto关键字的细节

  1. 使用auto关键字必须初始化:
auto num;
//会报错:“num”: 类型包含“auto”的符号必须具有初始值设定项
  1. 这是因为:

在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明,而是一个类型声明时的“占位符”,编译器在编译期会将auto替换为变量实际的类型。

  1. auto关键字初始化指针变量时,*可带可不带:声明引用时,&必须带上
int a = 1;
auto ptr = &a;
auto* ptr_bak = &a;
auto& num = a;
cout << typeid(ptr).name() << endl;
cout << typeid(ptr_bak).name() << endl;
cout << typeid(num).name() << endl;
  1. output:
int *
int *
int
  1. 在同一行定义多个变量
    在同一行用auto关键字定义多个变量时,这些变量必须是相同的类型。例如:
auto num1 = 1, num2 = 2.0;
/*
会报错:
    error C3538: 在声明符列表中,“auto”必须始终推导为同一类型
    message : 可能是“int”
    message : 或    “double”
*/
  1. auto关键字不能做函数形参
    例如:
void Func(auto num1){}
//会报错:参数不能为包含“auto”的类型
//因为auto并不能确定num1的类型
  1. auto关键字不能声明数组
    例如:
auto Num[3] = { 1, 2, 3 };
//会报错:
/*
  “auto [3]”: 数组不能具有其中包含“auto”的元素类型
  error C3535: 无法推导“auto [3]”的类型(依据“initializer list”)
  error C2440: “初始化”: 无法从“int”转换为“std::initializer_list<int>”
  message : 无构造函数可以接受源类型,或构造函数重载决策不明确
*/

2. 范围for

在C++中,我们可以用这样一个循环来输出一个数组:

int Num[] = { 1, 2, 3, 4, 5, 6, 7, 8 };
for (auto i : Num)
{
    cout << i << ' ';
}
  • 这样的for循环叫做范围for
  • for (auto i : Num)中,:前的内容表示用于范围内迭代的变量,例如上面的代码,就是依次取数组Num的数据赋值给i
  • :后的内容就表示循环迭代的范围

我们可以用下面的操作实现将数组内的每个数变为原来的两倍

//将用于迭代的变量声明为引用,这样每次迭代i就是数组内每个数据的别名
for (auto& i : Num)
{
    i *= 2;
}

2.1 限制条件

要使用范围for,就要确保迭代的范围时明确的

例如下面的用法就是错误的:

void Print(int* nums)
{
    //nums是一个指针,没有明确的迭代范围。用法错误
  for (int i : nums)
    cout << i << ' ';
}
int main()
{
  int Num[] = { 1, 2, 3, 4, 5, 6, 7, 8 };
  Print(Num);
  return 0;
}

3. 指针空值nullptr

先来看下面的代码:

void Func(int* ptr)
{
  cout << "int*" << endl;
}
void Func(int num)
{
  cout << "int" << endl;
}
int main()
{
  Func(NULL);
  Func((int*)NULL);
  return 0;
}

output:

int
int*

这下有些小伙伴就会疑惑了:

以前我们学习C语言时,初始化指针变量都是这么定义的:int* ptr = NULL。我们用NULL初始化指针变量,为什么**NULL会被认定为整形**呢?

  • 实际上,NULL实际上是库中的宏定义
#define NULL 0
  • 我们也可以用typeid来查看一下NULL的类型:
cout << typeid(NULL).name() << endl;
  • output:
int

因此,为了避免上述的尴尬,在C++中,如果要让一个指针为空时,我们可以用关键字nullptr。例如:

int* ptr = nullptr;

至此,关于C++的特性我们就已经有了基本的了解。

下一个篇章,我们将开启对C++类和对象的学习,感兴趣的小伙伴可以订阅此专栏。

本篇完。

相关文章
|
2月前
|
安全 编译器 C++
C++ `noexcept` 关键字的深入解析
`noexcept` 关键字在 C++ 中用于指示函数不会抛出异常,有助于编译器优化和提高程序的可靠性。它可以减少代码大小、提高执行效率,并增强程序的稳定性和可预测性。`noexcept` 还可以影响函数重载和模板特化的决策。使用时需谨慎,确保函数确实不会抛出异常,否则可能导致程序崩溃。通过合理使用 `noexcept`,开发者可以编写出更高效、更可靠的 C++ 代码。
54 1
|
4月前
|
编译器 程序员 定位技术
C++ 20新特性之Concepts
在C++ 20之前,我们在编写泛型代码时,模板参数的约束往往通过复杂的SFINAE(Substitution Failure Is Not An Error)策略或繁琐的Traits类来实现。这不仅难以阅读,也非常容易出错,导致很多程序员在提及泛型编程时,总是心有余悸、脊背发凉。 在没有引入Concepts之前,我们只能依靠经验和技巧来解读编译器给出的错误信息,很容易陷入“类型迷路”。这就好比在没有GPS导航的年代,我们依靠复杂的地图和模糊的方向指示去一个陌生的地点,很容易迷路。而Concepts的引入,就像是给C++的模板系统安装了一个GPS导航仪
163 59
|
3月前
|
安全 编译器 C++
【C++11】新特性
`C++11`是2011年发布的`C++`重要版本,引入了约140个新特性和600个缺陷修复。其中,列表初始化(List Initialization)提供了一种更统一、更灵活和更安全的初始化方式,支持内置类型和满足特定条件的自定义类型。此外,`C++11`还引入了`auto`关键字用于自动类型推导,简化了复杂类型的声明,提高了代码的可读性和可维护性。`decltype`则用于根据表达式推导类型,增强了编译时类型检查的能力,特别适用于模板和泛型编程。
32 2
|
4月前
|
存储 编译器 C++
【C++】面向对象编程的三大特性:深入解析多态机制(三)
【C++】面向对象编程的三大特性:深入解析多态机制
|
4月前
|
存储 编译器 C++
【C++】面向对象编程的三大特性:深入解析多态机制(二)
【C++】面向对象编程的三大特性:深入解析多态机制
|
4月前
|
编译器 C++
【C++】面向对象编程的三大特性:深入解析多态机制(一)
【C++】面向对象编程的三大特性:深入解析多态机制
|
4月前
|
C++
C++ 20新特性之结构化绑定
在C++ 20出现之前,当我们需要访问一个结构体或类的多个成员时,通常使用.或->操作符。对于复杂的数据结构,这种访问方式往往会显得冗长,也难以理解。C++ 20中引入的结构化绑定允许我们直接从一个聚合类型(比如:tuple、struct、class等)中提取出多个成员,并为它们分别命名。这一特性大大简化了对复杂数据结构的访问方式,使代码更加清晰、易读。
63 0
|
1月前
|
C++ 芯片
【C++面向对象——类与对象】Computer类(头歌实践教学平台习题)【合集】
声明一个简单的Computer类,含有数据成员芯片(cpu)、内存(ram)、光驱(cdrom)等等,以及两个公有成员函数run、stop。只能在类的内部访问。这是一种数据隐藏的机制,用于保护类的数据不被外部随意修改。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。成员可以在派生类(继承该类的子类)中访问。成员,在类的外部不能直接访问。可以在类的外部直接访问。为了完成本关任务,你需要掌握。
68 19
|
1月前
|
存储 编译器 数据安全/隐私保护
【C++面向对象——类与对象】CPU类(头歌实践教学平台习题)【合集】
声明一个CPU类,包含等级(rank)、频率(frequency)、电压(voltage)等属性,以及两个公有成员函数run、stop。根据提示,在右侧编辑器补充代码,平台会对你编写的代码进行测试。​ 相关知识 类的声明和使用。 类的声明和对象的声明。 构造函数和析构函数的执行。 一、类的声明和使用 1.类的声明基础 在C++中,类是创建对象的蓝图。类的声明定义了类的成员,包括数据成员(变量)和成员函数(方法)。一个简单的类声明示例如下: classMyClass{ public: int
47 13
|
1月前
|
编译器 数据安全/隐私保护 C++
【C++面向对象——继承与派生】派生类的应用(头歌实践教学平台习题)【合集】
本实验旨在学习类的继承关系、不同继承方式下的访问控制及利用虚基类解决二义性问题。主要内容包括: 1. **类的继承关系基础概念**:介绍继承的定义及声明派生类的语法。 2. **不同继承方式下对基类成员的访问控制**:详细说明`public`、`private`和`protected`继承方式对基类成员的访问权限影响。 3. **利用虚基类解决二义性问题**:解释多继承中可能出现的二义性及其解决方案——虚基类。 实验任务要求从`people`类派生出`student`、`teacher`、`graduate`和`TA`类,添加特定属性并测试这些类的功能。最终通过创建教师和助教实例,验证代码
48 5