当前位置:首页 » 《关注互联网》 » 正文

初识C++(下)

15 人参与  2024年03月20日 18:27  分类 : 《关注互联网》  评论

点击全文阅读


目录

1.引用

引用概念

引用的作用 

1.做参数

 2.做返回值

 引用注意事项

1.引用必须初始化

 2.引用不能改变指向

3.一个变量可以有多个引用,多个别名。

引用和指针的区别

 2.内联函数

概念

作用解释

内联函数的特性

注意事项

代码膨胀

声明和定义不要分离

总结

3.auto关键字

auto必须初始化

 注意事项

1.auto会一定程度上减少可读性。

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

4.指针空值nullptr(C++11)

注意事项

5.结语


鼠鼠在上次写完一篇博客后,秉承今年不当鸽子的承诺,马上把下部分肝出来了,今天我们来继续C++的学习(下)。话不多说,我们开始吧。

1.引用

引用概念

引用不是新定义一个变量,而是给已存在变量取了一个别名,编译器不会为引用变量开辟内存空 间,它和它引用的变量共用同一块内存空间。

我们可以使用取地址符号来证明。

#include<iostream>using namespace std;int main(){int a = 0;int& b = a;   //b就是a的别名cout << &a << endl;cout << &b << endl;return 0;}

引用的作用 
1.做参数
void Swap(int* a, int* b){}void Swap(int& a, int& b){}int main(){int x = 0, y = 1;Swap(&x, &y);Swap(x, y);return 0;}

&a相当于 的引用,&b 相当于 的引用。 

我们完善一下代码。

void Swap(int* a, int* b){int temp = *a;* a = *b;*b = temp;cout << *a << endl;cout << *b << endl;}void Swap(int& a, int& b){int temp = a;a = b;b = temp;cout << a << endl;cout << b << endl;}int main(){int x = 0, y = 1;Swap(&x, &y);x = 0, y = 1;Swap(x, y);return 0;}

可以发现引用是可以作为参数的,同时上节博客的学习我们知道 a , bx , y 在不同的域我们也可以改成int&x,和int&y 

 2.做返回值

在c语言中,当函数调用之后栈就会销毁,但是我们运行时,我们仍能打印成功,是因为编译器创建了一个临时变量到寄存器(对象比较大会预设在main函数)中,然后传值返回。

 我们将函数引用,此时函数返回的是a的别名,因为引用和变量使用同一空间,如果编译器将空间销毁,那么无法再访问到a的空间。

全局变量/静态变量/堆上变量等就可以使用引用返回。

返回变量出了函数的作用域就到了生命周期(局部变量),不能用引用返回。

 另外的,无论是做参数还是返回值,都可以减少拷贝量,提高效率。

#include <time.h>struct A { int a[10000]; };void TestFunc1(A a) {}void TestFunc2(A& a) {}void main(){A a;// 以值作为函数参数size_t begin1 = clock();for (size_t i = 0; i < 10000; ++i)TestFunc1(a);size_t end1 = clock();// 以引用作为函数参数size_t begin2 = clock();for (size_t i = 0; i < 10000; ++i)TestFunc2(a);size_t end2 = clock();// 分别计算两个函数运行结束后的时间cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;}

 引用注意事项
1.引用必须初始化

 2.引用不能改变指向
int main(){/*int& b;*/int a = 1;int& b = a;int c = 2;b = c;}

a和b的地址没有变化,这说明引用是改变不了指向的。和我们的C语言有所区别。

C语言

因为C++的引用不能改变指向,在链表,树这些是实现不了的。

所以C++的引用,对函数使用比较复杂的场景进行替换,让代码简单易懂,但是不能完全代替指针。

3.一个变量可以有多个引用,多个别名。

引用和指针的区别

在语法概念上引用就是一个别名,没有独立空间,和其引用实体共用同一块空间。

在底层实现上实际是有空间的,因为引用是按照指针方式来实现的。

 我们看到引用底层是指针实现的,语法含义和现实是背离的,就像老婆饼里面没有老婆。

语法:

1.引用是别名,不开空间,指针是地址,需要开空间地址。

2.引用必须初始化,指针可以初始化也可以不初始化。

3.引用不能改变指向,指针可以

4.引用相对安全,没有空引用,但是有空指针,容易出现也只着呢,但是不容易出现野引用。

5. 在sizeof中含义不同:引用结果为引用类型的大小,但指针始终是地址空间所占字节个数(32 位平台下占4个字节) 

6. 引用自加即引用的实体增加1,指针自加即指针向后偏移一个类型的大小

7. 有多级指针,但是没有多级引用

底层:

汇编层面上,没有引用,只有指针,编译后野换成指针了。

 2.内联函数

概念

以inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数调 用建立栈帧的开销,内联函数提升程序运行的效率。

作用解释

C++为什么这样做呢?我们先看C语言,假设我们需要多次调用函数,就需要多次建立栈帧和销毁。C语言给出的解决方法是宏函数。

#define ADD(a, b) ((a)+(b))int Add(int a, int b){return a + b;} int main(){if (ADD(1, 2)){}ADD(1, 2) * 3;int x = 1, y = 2;ADD(x | y, x & y);  // (x|y + x&y)return 0;}

1.宏不是函数

2.不加分号。不能#define ADD(a, b) ((a)+(b))后加

3.注意括号优先级

核心:宏是预处理阶段进行替换。

#define ADD(a, b) ((a)+(b))

重点讲一下((a)+(b))

外面层括号是为了调用的时候还有其他符号影响

例如:   ADD(1, 2) * 3;

里面的a、b的括号代表的事是表达式,不是一个具体的值

例如: ADD(x | y, x & y);  // (x|y + x&y)   “+” 的优先局比其他符号高,就会先运行。 

 宏的优缺点

优点:

1.增强代码的复用性。

2.提高性能。 

 缺点:

1.不方便调试宏。(因为预编译阶段进行了替换)

2.导致代码可读性差,可维护性差,容易误用。

3.没有类型安全的检查 。

 C++有哪些技术替代宏?

1. 常量定义 换用const enum

2. 短小函数定义 换用内联函数

int Add(int a, int b){return a + b;}int main(){int ret1 = Add(1, 2) * 3;int x = 1, y = 2;int ret2 = Add(x | y, x & y);return 0;}

未内联之前的C语言函数调用。

 我们看看inline,要达到我这样的效果要这样做:

查看方式:

1. 在release模式下,查看编译器生成的汇编代码中是否存在call Add

2. 在debug模式下,需要对编译器进行设置,否则不会展开(因为debug模式下,编译器默认不会对代码进行优化,

 然后反汇编

我们可以看到没有函数调用。

内联函数的特性

1. inline是一种以空间换时间的做法,如果编译器将函数当成内联函数处理,在编译阶段,会 用函数体替换函数调用,

缺陷:可能会使目标文件变大。

优势:少了调用开销,提高程序运行效率。

2. inline对于编译器而言只是一个建议,不同编译器关于inline实现机制可能不同,一般建 议:将函数规模较小(即函数不是很长,具体没有准确的说法,取决于编译器内部实现)、不 是递归、且频繁调用的函数采用inline修饰,否则编译器会忽略inline特性。下图为 《C++prime》第五版关于inline的建议:

3. inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址 了,链接就会找不到。

注意事项
代码膨胀

inline函数内部不同指令长度情况下,编译器会自动对内联函数展开与否所做出的判断结果,这时候就可能出现代码膨胀的问题。

我们看见当内联函数复杂时,函数调用又出来了。这就是我们之前说的特性的第二点:

2. inline对于编译器而言只是一个建议,不同编译器关于inline实现机制可能不同,一般建 议:将函数规模较小(即函数不是很长,具体没有准确的说法,取决于编译器内部实现)、不 是递归、且频繁调用的函数采用inline修饰,否则编译器会忽略inline特性。

 假如我们假设Func有100行,有1w个调用位置。

假设内联展开了            100*1w

假设内联没有展开         100+1w

所以内联函数不是万能的需要谨慎使用。 

声明和定义不要分离

为了理解透彻,我们分别建立Text.cpp 、Stack.h 、 Stack.cpp三个文件

Text.cpp

#include"Stack.h"int main(){Add(1, 2);return 0;}

 Stack.h

#pragma once#include<iostream>using namespace std;int Add(int a, int b){cout << "int Add(int a, int b)" << endl;return a + b;}

 Stack.cpp

#include"Stack.h"

 此时我们生成解决方案,编译器会发生报错。

 这是是因为Text  和  Stack 都有Add这个函数定义地址,链接时并且不构成函数重载(函数类型一直,初识C++(上)有写),就认为是重复的函数,进行重定义的报错。

那么如何解决呢?

1.声明和定义分离

为什么声明和定义分离就能成功呢?

      Text想要进行函数调用,就要call Add 汇编指call没有函数地址进行函数调用,Stack.h里面没有函数地址和定义,最后在链接中的Stack.cpp找到。这样就可以避免函数重载了。

2.加static

 static 有链接属性,只在当前文件可见(底层角度就是不会进符号表,符号表后面会进行合并、链接)

3.加inline

进入正题,我们先来看看声明和定义分开为什么不行。

上面我们说过函数调用需要函数(call),我们上面还说过内联函数展开(函数较小时)不提供地址,不提供地址进入符号表就无法调用。所以出现了无法解析的外部符号。

我们声明和定义不分离,就能成功运行。原理和static类似。

总结

1.声明和定义分离

2.加static,链接属性,只在当前文件可见

3、加inline,声明定义不能分离

4.小函数内联,大函数静态。

3.auto关键字

auto的意思是自动识别类型,自动推导类型。

auto必须初始化

特别的

auto   k = & i;  //传int,指针都行
auto *k=  & i;  //只能传指针

 我们可以用在函数指针

void func(int a, int b){}int main(){void(*pf1)(int, int) = func;     auto pf2 = func;    cout << typeid(pf1).name() << endl;cout << typeid(pf2).name() << endl;}

 结果是一样的,行得通。

 注意事项
1.auto会一定程度上减少可读性。
auto p=func(); //不能直观地知道调用的类型。
2. auto不能直接用来声明数组
void TestAuto() { int a[] = {1,2,3}; auto b[] = {4,5,6}; } 

 

auto在范围for的语法

在C++98中如果要遍历一个数组,可以按照以下方式进行:

void TestFor() { int array[] = { 1, 2, 3, 4, 5 }; for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i) array[i] *= 2; for (int* p = array; p < array + sizeof(array)/ sizeof(array[0]); ++p) cout << *p << endl;}

对于一个有范围的集合而言,由程序员来说明循环的范围是多余的,有时候还会容易犯错误。因 此C++11中引入了基于范围的for循环。for循环后的括号由冒号“ :”分为两部分:

第一部分是范围内用于迭代的变量

第二部分则表示被迭代的范围。

依次取数组中的赋值给e,自动迭代,自动判断结束。

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来跳出整个循环

提一句,假设我们要对里面的值乘2,直接乘是行不通的

int main(){int array[] = { 1, 2, 3, 4, 5 };for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)array[i] *= 2;for (int* p = array; p < array + sizeof(array) / sizeof(array[0]); ++p)cout << *p << endl;for (auto e : array){e *= 2;}cout << endl;for (auto e : array){cout << e << " ";}cout << endl;return 0;}

这是因为 arrray是将值赋给e,相当于e是arrray的拷贝  。

这时我们可以使用上篇博客(初识C++(上))讲的引用来实现

int main(){int array[] = { 1, 2, 3, 4, 5 };for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)array[i] *= 2;for (int* p = array; p < array + sizeof(array) / sizeof(array[0]); ++p)cout << *p << endl;for (auto &e : array){e *= 2;}cout << endl;for (auto e : array){cout << e << " ";}cout << endl;return 0;}

4.指针空值nullptr(C++11)

看多了C语言的问题,我们来看看C++自己的问题

 在良好的C/C++编程习惯中,声明一个变量时最好给该变量一个合适的初始值,否则可能会出现 不可预料的错误,比如未初始化的指针。如果一个指针没有合法的指向,我们基本都是按照如下方式对其进行初始化:

void TestPtr() { int* p1 = NULL; int* p2 = 0; // …… }

NULL实际是一个宏,在传统的C头文件(stddef.h)中,可以看到如下代码

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

可以看到,NULL可能被定义为字面常量0,或者被定义为无类型指针(void*)的常量。不论采取何种定义,在使用空值的指针时,都不可避免的会遇到一些麻烦,比如:

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

 按道理应该是,第一个匹配第一个,第二个匹配第二个。

但是当我们运行后,会发现两个都匹配第一个去了。

原因就出现在之前的宏定义里面 :

#ifndef NULL #ifdef __cplusplus   //就是C++语言 #define NULL    0    //将NULL定义为0; #else #define NULL    ((void *)0) #endif #endif

这样f(NULL) 和 f(0)就没有区别了,那是否我们将f(NULL);改成f((void*)NULL);就可行了呢?

我们看一下

还是不行, 我们可以看见两者均可匹配,有歧义。我们试试f((int*)NULL);

这样就可以了,是不是有坑,所以为了补上这个坑,C++引入了nullptr关键字。

void f(int i){cout << "f(int)" << endl;}void f(int* p){cout << "f(int*)" << endl;}int main(){f(0);f(NULL);f((int*)NULL);f(nullptr);int* p = nullptr; return 0;}

注意事项

1. 在使用nullptr表示指针空值时,不需要包含头文件,因为nullptr是C++11作为新关键字引入 的。

2. 在C++11中,sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同。

3. 为了提高代码的健壮性,在后续表示指针空值时建议最好使用nullptr。

5.结语

 好了,初识C++(下)到这里结束了,如果有什么错误还请各位指正,我是₯㎕星空&繁华,我们下次见!



 


点击全文阅读


本文链接:http://zhangshiyu.com/post/82522.html

<< 上一篇 下一篇 >>

  • 评论(0)
  • 赞助本站

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

关于我们 | 我要投稿 | 免责申明

Copyright © 2020-2022 ZhangShiYu.com Rights Reserved.豫ICP备2022013469号-1