【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(二)

简介: 【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值

【C++】C++特性揭秘:引用与内联函数 | auto关键字与for循环 | 指针空值(一)https://developer.aliyun.com/article/1617290

三、auto关键字(C++11)

3.1 类型别名思考

由于程序中使用到的类型也越来越复杂,导致了类型难于拼写,含义不明确导致容易出错。

比如:std::map::iterator类型但是该类型太长了,特别容易写错。这里可以考虑使用typedef为类型取别名typedef std::map::iterator Map。但是typedef本身存在不足。

3.2 typedef陷阱

typedef char * pstring;
int main()
{
    const pstring p1//编译成功还是失败?-->失败
    const pstring* p2//编译成功还是失败?-->成功
    return 0;
}

过程解析:这里const pstring != const char *由于const pstringconst赋予了整个指针本身常性,形成了常量指针char * const。对于p2来说,const pstring* p2转化后char* const p2,对于p2二级指针可以不初始化。

虽然 typedef 并不真正影响对象的存储特性,但在语法上它还是一个存储类的关键字,就像 auto、extern、static 和 register 等关键字一样。

typedef static int INT_STATIC;

由于typedef已经占据存储类关键字位置,因此typedef声明中就不能再使用static或任何其他存储类关键字,导致不能声明多个存储类关键字

3.3 auto简历

在早期C/C++中auto的含义是使用auto修饰的变量,该变量具有自动存储器的局部变量,但是没有人使用它,因为意义不大,这里指向的是局部变量,那么当函数结束,局部变量出了作用域,生命周期结束,变量会自动销毁,对此使用没有意义。

C++11中,auto被赋予了新的含义auto不再是一个存储类型指示符,而是作为一个新的类型指示符来指示编译器,auto声明的变量必须由编译器在编译中推导而得

int TestAuto()
{
    return 10;
}
int main()
{
    int a = 10;
    auto b = a;
    auto c = 'a';
    auto d = TestAuto();
    cout << typeid(b).name() << endl;
    cout << typeid(c).name() << endl;
    cout << typeid(d).name() << endl;
    //auto e; 无法通过编译,使用auto定义变量时必须对其进行初始化
    return 0;
}

打印变量类型:typeid(对象名).name()

3.4 auto使用(自动识别类型)

1. auto定义变量

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

2.auto与指针和引用结合起来使用

auto与指针和引用结合起来使用。当auto声明指针类型时,用auto和auto*没有任何区别(*如果使用auto ,则表示指向的变量是指针类型)但用auto声明引用类型时,则必须加&

int main()
{
    int x = 10;
    auto a = &x;
    auto* b = &x;
    auto& c = x;
    cout << typeid(a).name() << endl;
    cout << typeid(b).name() << endl;
    cout << typeid(c).name() << endl;
    *a = 20;
    *b = 30;
    c = 40;
    return 0;
}

3.auto在同一行定义多个变量

当在同一行声明多个变量时,这些变量必须是相同的类型,否则编译器将会报错,因为编译器实际上只会对第一个类型进行推导,然后用推导出来的类型定义其他变量

void TestAuto()
{
    auto a = 1, b = 2;
    auto c = 3, d = 4.0; // 该行代码会编译失败,因为c和d的初始化表达式类型不同
}

3.5 auto不能推导场景

1.auto不能作为函数参数

// 此处代码编译失败,auto不能作为形参类型,因为编译器无法对a的实际类型进行推导
void TestAuto(auto a)
{}

auto虽然不能作为函数参数,但是可以做函数返回值。对于auto作为函数返回值的建议是慎用,可能使得可读性下降。

如果多层嵌套函数返回值类型是auto,想要得到具体的返回值的类型,需要一个个函数去检查。

auto TestAuto(int a)
{
  return a;
}

2.auto不能直接用来声明数组

void TestAuto()
{
    int a[] = {1,2,3};
    auto b[] = {4,5,6};
}

三、基于范围的for循环(C++)

3.1 范围for语法

对于一个有范围的集合而言,交给程序员来说明循环范围是多余的,可能还会导致犯错误。对此C++11中引入了基于范围for循环。

for循环后的括号由冒号分为两部分:第一部分是范围内用于迭代的变量,第二部分则表示被迭代的范围

void TestFor()
{
    int array[] = { 1, 2, 3, 4, 5 };
    for(auto& e : array)
        e *= 2;
    for(auto e : array)
        cout << e << " ";
    return 0;
}

注意】:与普通循环类似,可以用continue来结束本次循环,也可以用break来跳出整个循环

3.2 范围for的使用条件

1.for循环迭代的范围必须是确定的

对于数组而言,就是数组中第一个元素和最后一个元素的范围;对于类而言,应该提供begin和end的方法,begin和end就是for循环迭代的范围。

注意:以下代码就有问题,因为for的范围不确定

void TestFor(int array[])
{
    for(auto& e : array)
        cout<< e <<endl;
}

2. 迭代的对象需要要实现++和==的操作(本质还是迭代器)

四、指针空值

在C/C+良好的编程习惯中,对于未初始化的指针,一个没有合法的指向的指针,基本会进行初始化。int *p=NULL\0。对此在C头文件中,可知NULL实际是一个宏。

#ifndef NULL
#ifdef __cplusplus
#define NULL 0
#else
#define NULL ((void *)0)
#endif
#endif

对此NULL可能定义有两种(字面常量0,无类型指针(void)的常量)*,C++中使用NULL指针空值,可能会遇到一些问题。

void f(int)
{
  cout << "haha" << endl;
}
void f(int *)
{
  cout << "hehe" << endl;
}
int main()
{
  f(0);
  f((int*)NULL);
  f(NULL);
  return 0;
}

按照预期,传NULL应该调用int *的函数,但是NULL被定义成0.对此预期和结果不匹配。对此为了区分C++和C,C++引出了nullptr关键字代替NULL的使用。

在C++98中,字面常量0既可以是一个整型数字,也可以是无类型的指针(void *)常量,但是编译器默认情况下将其看成是一个整型常量,如果要将其按照指针方式来使用,必须强制类型转换。

小结:

  1. nullptr是C++11作为新关键字引入的,在使用过程中,不需要包含头文件
  2. 在C++11中,sizeof(nullptr)sizeof((void *)0)所占的字节数相同
  3. 为了提高代码的健壮性,在后续C++使用中最好使用nullptr表示指针空值

以上就是本篇文章的所有内容,在此感谢大家的观看!这里是店小二呀C++笔记,希望对你在学习C++语言旅途中有所帮助!

相关文章
|
7天前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
23 4
|
23天前
|
存储 安全 编译器
在 C++中,引用和指针的区别
在C++中,引用和指针都是用于间接访问对象的工具,但它们有显著区别。引用是对象的别名,必须在定义时初始化且不可重新绑定;指针是一个变量,可以指向不同对象,也可为空。引用更安全,指针更灵活。
|
6天前
|
存储 编译器 C++
【c++】类和对象(中)(构造函数、析构函数、拷贝构造、赋值重载)
本文深入探讨了C++类的默认成员函数,包括构造函数、析构函数、拷贝构造函数和赋值重载。构造函数用于对象的初始化,析构函数用于对象销毁时的资源清理,拷贝构造函数用于对象的拷贝,赋值重载用于已存在对象的赋值。文章详细介绍了每个函数的特点、使用方法及注意事项,并提供了代码示例。这些默认成员函数确保了资源的正确管理和对象状态的维护。
29 4
|
30天前
|
存储 编译器 对象存储
【C++打怪之路Lv5】-- 类和对象(下)
【C++打怪之路Lv5】-- 类和对象(下)
26 4
|
30天前
|
编译器 C语言 C++
【C++打怪之路Lv4】-- 类和对象(中)
【C++打怪之路Lv4】-- 类和对象(中)
23 4
|
29天前
|
存储 安全 C++
【C++打怪之路Lv8】-- string类
【C++打怪之路Lv8】-- string类
21 1
|
1月前
|
存储 编译器 C++
【C++类和对象(下)】——我与C++的不解之缘(五)
【C++类和对象(下)】——我与C++的不解之缘(五)
|
1月前
|
编译器 C++
【C++类和对象(中)】—— 我与C++的不解之缘(四)
【C++类和对象(中)】—— 我与C++的不解之缘(四)
|
1月前
|
C++
C++番外篇——对于继承中子类与父类对象同时定义其析构顺序的探究
C++番外篇——对于继承中子类与父类对象同时定义其析构顺序的探究
53 1
|
1月前
|
编译器 C语言 C++
C++入门4——类与对象3-1(构造函数的类型转换和友元详解)
C++入门4——类与对象3-1(构造函数的类型转换和友元详解)
19 1