“C++基础入门指南:了解语言特性和基本语法”

C++是在C的基础之上,容纳进去了面向对象编程思想,并增加了许多有用的库,以及编程范式
等。熟悉C语言之后,对C++学习有一定的帮助

文章目录

  • C++命名风格
  • C++关键字(C++98)
  • C++命名空间
    • 命名空间定义
    • 命名空间使用
      • 命名空间的使用有三种方式:
  • C++输入&输出(cout & cin)
  • C++ 缺省参数
    • 缺省参数分类
  • C++引用
    • 引用特性
    • 常引用
    • 使用场景
    • 传值、传引用效率比较
    • 引用和指针的区别
  • C++函数重载
    • C++支持函数重载的原理--名字修饰
  • C++内联函数

C++命名风格

工作之后,看谁的技术牛不牛逼,不用看谁写出多牛逼的代码,就代码风格扫一眼,立刻就能看出来是正规军还是野生的程序员。代码的风格和质量可以反映出一个程序员的水平和专业度。在工作中,代码的可读性和规范性非常重要,因为代码将被多人阅读、修改和维护。下面我介绍几种代码命名风格。

  1. 小驼峰命名法(Camel Case):首字母小写,其他每个单词首字母大写,例如:myVariable、myFunction。
  2. 大驼峰命名法(Camel Case):单词和单词之间首字母大写间隔,例如:MyVariable、MyFunction。
  3. 下划线命名法(Snake Case):单词之间用下划线(_)分隔,所有字母小写,例如:my_variable、my_function。
  4. 匈牙利命名法(Hungarian notation): 匈牙利命名法是:变量名 = 属性 + 类型 + 对象描述,例如:int iMyAge,知道它是一个int型的变量,随着编程语言和开发工具的进步,匈牙利命名法逐渐不再被广泛使用,并且在一些编程社区中被认为是过时的。

通常来讲 java和go都使用驼峰,C++的函数和结构体命名也是用大驼峰,这种命名风格在C++社区中被广泛接受和使用。


C++关键字(C++98)

C++总计63个关键字,C语言32个关键字

auto、bool、break、case、catch、char、class、const、const_cast、continue、default、delete、do、double、dynamic_cast、else、enum、explicit、export、extern、false、float、for、friend、goto、if、inline、int、long、mutable、namespace、new、operator、private、protected、public、register、reinterpret_cast、return、short、signed、sizeof、static、static_cast、struct、switch、template、this、throw、true、try、typedef、typeid、typename、union、unsigned、using、virtual、void、volatile、wchar_t、while
这些关键字具有特殊的含义,在C++程序中有特定的用法和语法规则。请注意,C++的新标准中可能会有一些新增的关键字,例如C++11、C++14、C++17、C++20等,这些关键字根据不同的标准版本可能会有所改变或添加。

C++命名空间

在C/C++中,变量、函数和后面要学到的类都是大量存在的,这些变量、函数和类的名称将都存
在于全局作用域中,可能会导致很多冲突。使用命名空间的目的是对标识符的名称进行本地化,
以避免命名冲突或名字污染,在C++中,可以使用namespace关键字来定义命名空间,如下所示:

#include 
#include 
int rand = 10;
// C语言没办法解决类似这样的命名冲突问题,所以C++提出了namespace来解决
int main()
{
 	printf("%d\n", rand);
	return 0;
}
// 编译后后报错:error C2365: “rand”: 重定义;以前的定义是“函数”

C语言没办法解决类似这样的命名冲突问题,所以C++提出了namespace来解决,定义命名空间,需要使用到namespace关键字,后面跟命名空间的名字,然后接一对{}即可,{}中即为命名空间的成员


#include 
#include 
namespace Xm
{
	int rand = 10;
}

int main()
{
	printf("%d\n", Xm::rand);  //关于Xm::后续会有讲解,在这里铺垫一下
	return 0;
}

关于Xm::后续会有讲解.

命名空间定义

  • 命名空间中可以定义变量/函数/类型等
namespace Xm
{
	// 命名空间中可以定义变量/函数/类型
	int rand = 10;
	int Add(int left, int right)
	{
		return left + right;
	}
	struct Node
	{
		struct Node* next;
		int val;
	};
}
  • 命名空间可以嵌套
//  命名空间可以嵌套
test.cpp
namespace N1
{
	int a;
	int b;
	int Add(int left, int right)
	{
		return left + right;
	}
	namespace N2
	{
		int c;
		int d;
		int Sub(int left, int right)
		{
			return left - right;
		}
	}
}
  • 同一个工程中允许存在多个相同名称的命名空间,编译器最后会合成同一个命名空间中。
    ps:一个工程中的test.h和上面test.cpp中两个N1会被合并成一个
test.h
namespace N1
{
int Mul(int left, int right)
 {
     return left * right;
 }
}

注意:一个命名空间就定义了一个新的作用域,命名空间中的所有内容都局限于该命名空间中.这意味着在一个命名空间内声明的变量、函数、类等实体,只能在该命名空间内部或通过限定符(作用域解析运算符::或using声明)进行访问。
那命名空间如何使用


命名空间使用

命名空间中成员该如何使用呢?比如:

namespace Xm
{
	// 命名空间中可以定义变量/函数/类型
	int a = 0;
	int b = 1;
	int Add(int left, int right)
	{
		return left + right;
	}
	struct Node
	{
		struct Node* next;
		int val;
	};
}
int main()
{
	// 编译报错:error C2065: “a”: 未声明的标识符
	printf("%d\n", a);
	return 0;
}

命名空间的使用有三种方式:

  • 加命名空间名称及作用域限定符
    在C++中,::是作用域解析运算符(Scope Resolution Operator)。它用于访问命名空间、类、结构体、枚举、静态成员和全局作用域中的成员。

对于命名空间,::用于访问命名空间中的变量、函数或类。例如:

int main()
{
    printf("%d\n", Xm::::a);
    return 0;    
}
  • 使用using将命名空间中某个成员引入
    using是C++中的一个关键字,用于引入命名空间或定义类型别名。

通过using关键字可以引入一个命名空间,使得其中的成员可以在当前作用域中直接访问,无需使用作用域解析运算符:: 相当于把命名空间部分展开 例如:

using Xm::b;
int main()
{
    printf("%d\n", Xm::a);
    printf("%d\n", b);
    return 0;    
}
  • 使用using namespace 命名空间名称 引入
    using namespace是C++中的一个语法结构,用于引入整个命名空间的所有成员。

通过using namespace可以将一个命名空间中的所有成员引入到当前作用域中,使得这些成员可以直接访问,无需使用作用域解析运算符::。这样可以简化代码,使得访问命名空间中的成员更加方便。 相当于把命名空间全部展开

using namespce Xm;
int main()
{
    printf("%d\n", Xm::a);
    printf("%d\n", b);
    Add(10, 20);
    return 0;    
}

不少同学看到过这个 using namespace std;那是什么意思呢?
std是C++标准库的命名空间,标准库的东西都放到std, 如何把std东西全部展开

但是在实际开发,把std全部展开要慎重,
展开整个std命名空间可能会导致以下问题:

  1. 命名冲突
  2. 可读性和可维护性,引入整个std命名空间会使代码中的名字变得模糊不清,阅读代码和识别名称的来源会变得困难。这会降低代码的可读性和可维护性。
  • 为了避免这些问题,通常建议采取以下措施:
  1. 明确引入需要的成员:最好只引入需要的具体成员,而不是整个命名空间。例如,使用using std::cout来引入std命名空间中的cout对象,而不是使用using namespace std来引入整个std命名空间。项目:指定名空间访问+展开常用 如:using std::cout using std::cin cout与cin 后面会有讲解
  2. 使用作用域解析运算符:在代码中直接使用作用域解析运算符::来指定所需成员的命名空间,这样可以显式地标识出每个成员的来源和避免命名冲突。
  3. 当然在日常学习上可以把 using namespace std 展开.

C++输入&输出(cout & cin)

新生婴儿会以自己独特的方式向这个崭新的世界打招呼,C++刚出来后,也算是一个新事物,
那C++是否也应该向这个美好的世界来声问候呢?我们来看下C++是如何来实现问候的。

#include
// std是C++标准库的命名空间名,C++将标准库的定义实现都放到这个命名空间中
using namespace std;
int main()
{
	cout<<"Hello world!!!"<<endl;
	return 0;
}

说明:

  1. 使用cout标准输出对象(控制台)和cin标准输入对象(键盘)时,必须包含< iostream >头文件以及按命名空间使用方法使用std。
  2. cout和cin是全局的流对象,endl是特殊的C++符号,表示换行输出和C语言中的\n 一样,他们都包含在包含< iostream >头文件中。
  3. <<是流插入运算符,>>是流提取运算符。
  4. 使用C++输入输出更方便,不需要像printf/scanf输入输出时那样,需要手动控制格式。
    C++的输入输出可以自动识别变量类型。
  5. 实际上cout和cin分别是ostream和istream类型的对象,>>和<<也涉及运算符重载等知识.这些知识我们本章节,不做讲解.

注意:早期标准库将所有功能在全局域中实现,声明在.h后缀的头文件中,使用时只需包含对应
头文件即可,后来将其实现在std命名空间下,为了和C头文件区分,也为了正确使用命名空间,
规定C++头文件不带.h;旧编译器(vc 6.0)中还支持格式,后续编译器已不支持,因
此推荐使用 #< iostream > +std的方式。来使用.


#include 
using namespace std;
int main()
{
	int a;
	double b;
	char c;

	// 可以自动识别变量的类型
	cin >> a;
	cin >> b >> c;

	cout << a << endl;
	cout << b << " " << c << endl;
	return 0;
}

C++ 缺省参数

C++中的缺省参数(Default Arguments)是指在函数定义中为函数参数提供默认值。当调用函数时,如果实参没有传递给该参数,那么将使用该参数的默认值。

void Func(int a = 0)
{
	 cout << a << endl;
}
int main()
{
	 Func();     // 没有传参时,使用参数的默认值0
	 Func(10);   // 传参时,使用指定的实参
	return 0;
}

缺省参数分类

  • 全缺省参数
    使用全缺省参数的方式来定义函数,这意味着所有的参数都具有默认值。这样,在函数调用时,可以不传递任何参数,或者只传递感兴趣的参数,而其他参数将使用它们的默认值。

以下是一个使用全缺省参数的函数定义的示例:

void myFunction(int x = 0, int y = 0, int z = 0) {
  // 函数体
}
上述示例中,myFunction 函数有三个参数:x、y 和 z。这三个参数都被赋予了默认值 0,
因此调用该函数时可以省略所有参数。以下是调用 myFunction 的几个示例:

myFunction()    // 不传递任何参数,使用所有参数的默认值,默认值为 x = 0, y = 0, z = 0

myFunction(10);   // 只传递一个参数,x = 10,y 和 z 使用默认值 0

myFunction(10, 20);    // 传递两个参数,x = 10,y = 20,z 使用默认值 0

myFunction(10, 20, 30);   // 传递所有参数,x = 10,y = 20,z = 30
  • 半缺省参数
    在 C++ 中,半缺省参数(Partial Default Arguments)是指部分参数具有默认值,而其他参数没有默认值。这样在函数调用时可以选择性地省略某些参数,而不是省略全部参数。

以下是一个使用半缺省参数的函数定义的示例:

void myFunction(int x, int y, int z = 0) {
  // 函数体
}
在上述示例中,myFunction 函数有三个参数:x、y 和 z。其中,
z 被赋予了默认值 0,而 x 和 y 没有默认值。这样,在函数调用时,
必须传递 x 和 y 的实参,而 z 可以选择性地省略。
以下是调用 myFunction 的几个示例:

myFunction(10, 20);    // 只传递两个参数,x = 10,y = 20,z 使用默认值 0

myFunction(10, 20, 30);    // 传递所有参数,x = 10,y = 20,z = 30

注意:

  1. 半缺省参数必须从右往左依次来给出,不能间隔着给
  2. 缺省参数不能在函数声明和定义中同时出现
    一般是函数的声明中提供默认参数,以保持接口的一致性和可读性,而函数的定义中不需要再次提供默认参数。
test.h
// 函数声明中设置默认参数
void myFunction(int x, int y = 0, int z = 0);

test.cpp
// 函数定义中不用设置默认参数
void myFunction(int x, int y /* = 0 */, int z /* = 0 */) {
  // 函数体
}
  1. 缺省值必须是常量或者全局变量
  2. C语言不支持(编译器不支持)

C++引用

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

类型& 引用变量名(对象名) = 引用实体;

void TestRef()
{
	int a = 10;
	int& ra = a;//<====定义引用类型
	printf("%p\n", &a);
	printf("%p\n", &ra);
}

“C++基础入门指南:了解语言特性和基本语法”_第1张图片
共用了同一块内存空间
注意:引用类型必须和引用实体是同种类型的


引用特性

  1. 引用必须在创建时进行初始化。
int number = 42;
int& ref = number;  // 引用初始化为变量 number
  1. 引用一旦引用一个实体,再不能引用其他实体
    下面是一个示例说明引用在初始化后不能再引用其他实体:
int a = 42;
int b = 99;

int& ref = a;  // 引用 ref 绑定到变量 a
ref = b;       // 错误!不能重新将 ref 绑定到变量 b

一旦引用初始化完成后,它将一直与该对象关联,不能再引用其他对象。

需要注意的是,引用可以通过指针的方式进行间接更改。通过指向引用的指针,可以间接修改引用所绑定的实体,但指针本身不能再引用其他实体。

下面是一个示例说明通过指针修改引用所绑定的实体:

int a = 42;
int b = 99;

int& ref = a;       // 引用 ref 绑定到变量 a
int* ptr = &ref;    // 指针 ptr 指向引用 ref

*ptr = b;           // 通过指针间接修改引用所绑定的实体

3. 一个变量可以有多个引用

int number = 42;
int& ref1 = number;   // 第一个引用绑定到 number
int& ref2 = number;   // 第二个引用也绑定到 number

这意味着无论通过 ref1 还是 ref2 修改对象的值,实际上都是修改了同一个对象。


常引用

常引用(const reference)是指绑定到常量对象的引用。通过使用常引用,可以确保在引用的过程中,不会对被引用的对象做任何修改。

void TestConstRef()
{
    const int a = 10;
    //int& ra = a;   // 该语句编译时会出错,a为常量
    const int& ra = a;
    // int& b = 10; // 该语句编译时会出错,b为常量
    const int& b = 10;
    double d = 12.34;
    //int& rd = d; // 该语句编译时会出错,类型不同
    const int& rd = d;
}

有的同学会感到疑惑,为什么有的要加了const 才可以通过.这里要说一下权限的问题.
这里要先说一下
在引用的过程中

  1. 权限可以平移
  2. 权限可以缩小
  3. 权限不能放大

什么意思呢,下面我分别举例.

  • 权限可以平移
const int a = 0;
const int& c = a; // 权限的平移
  • 权限可以缩小
int x = 0;
const int& y = x; //权限可以缩小
  • 权限不能放大
const int a = 0;

int& b = a;// 权限的放大 error

那这样可以吗

const int a = 0;
int b = a;

答案是可以的,因为这里是赋值拷贝,b修改不影响a!


同学们在看看这个例子,这样引用正确吗

	int i = 0;
	const double& d = i;

答案也是可以的:为什么i不是直接赋值给d的,他是通过一个临时变量来交换的,而这个临时变量拥有常属性,所有接收时候必须带上const来接收.“C++基础入门指南:了解语言特性和基本语法”_第2张图片

举一反3,同学在来看看这题


int func()
{
	int a = 0;

	return a;
}

 int main()
 {
 	 //int ret& = fuc();error
	 const int& ret = func(); 
 }

为什么不加const 编译不过?
答案: 其实跟上题差不多一样的道理,函数返回时候他是通过一个临时变量保存着a返回的,在这种情况下,常引用是需要的,因为临时变量的生命周期与表达式的生命周期相同,这个临时变量有着常属性,必须加上const 来接收,而const可以延长该临时变量的生命周期.通过使用常引用,将临时变量 a 的生命周期与常引用 ret 的生命周期进行了绑定.“C++基础入门指南:了解语言特性和基本语法”_第3张图片
当然,对于较小的数据类型(如整数或指针),编译器通常会选择将其存储在寄存器中进行返回。这是为了提高返回值的效率。这种寄存器返回值的优化是由编译器自动完成的。我们无需关心.


使用场景

1. 做参数
函数可以通过引用来传递参数,不仅可以避免复制大型对象的开销,还可以修改传入的参数。

void Swap(int& left, int& right)
{
   int temp = left;
   left = right;
   right = temp;
}

2. 做返回值
函数可以返回引用类型,使得可以直接对返回值进行修改,而无需拷贝。例如:

int& Count()
{
   static int n = 0;
   n++;
   // ...
   return n;
}

下面代码输出什么结果?为什么?

int& Add(int a, int b)
{
    int c = a + b;
    return c;
}
int main()
{
    int& ret = Add(1, 2);
    Add(3, 4);
    cout << "Add(1, 2) is :"<< ret <<endl; //输出7
    return 0;
}

“C++基础入门指南:了解语言特性和基本语法”_第4张图片

  1. 函数运行时,系统需要给该函数开辟独立的栈空间,用来保存该函数的形参、局部变量以及一些寄存器信息等
  2. 函数运行结束后,该函数对应的栈空间就被系统回收
  3. 空间被回收指该块栈空间暂时不能使用,但是内存还在;比如:上课要申请教空,上完课之后教室归还给学校,但是教室本身还在,不能说归还了之后,教室就没有了

注意:如果函数返回时,出了函数作用域,如果返回对象还在(还没还给系统),则可以使用
引用返回,如果已经还给系统了,则必须使用传值返回。


传值、传引用效率比较

以值作为参数或者返回值类型,在传参和返回期间,函数不会直接传递实参或者将变量本身直
接返回,而是传递实参或者返回变量的一份临时的拷贝,因此用值作为参数或者返回值类型,效
率是非常低下的,尤其是当参数或者返回值类型非常大时,效率就更低。

  • 做参数比较

#include 
struct A { int a[10000]; };
void TestFunc1(A a) {}
void TestFunc2(A& a) {}
void TestRefAndValue()
{
	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;
}

int main()
{
	TestRefAndValue();
	return 0;
}

“C++基础入门指南:了解语言特性和基本语法”_第5张图片

  • 做返回值比较
#include 
struct A { int a[10000]; };
A a;
// 值返回
A TestFunc1() { return a; }
// 引用返回
A& TestFunc2() { return a; }

void TestReturnByRefOrValue()
{
	// 以值作为函数的返回值类型
	size_t begin1 = clock();
	for (size_t i = 0; i < 100000; ++i)
		TestFunc1();
	size_t end1 = clock();

	// 以引用作为函数的返回值类型
	size_t begin2 = clock();
	for (size_t i = 0; i < 100000; ++i)
		TestFunc2();
	size_t end2 = clock();

	// 计算两个函数运算完成之后的时间
	cout << "TestFunc1 time:" << end1 - begin1 << endl;
	cout << "TestFunc2 time:" << end2 - begin2 << endl;
}

int main()
{
	TestReturnByRefOrValue();
	system("pause");
}

“C++基础入门指南:了解语言特性和基本语法”_第6张图片

通过上述代码的比较,发现传值和指针在作为传参以及返回值类型上效率相差很大。

引用和指针的区别

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

int main()
{
	int a = 10;
	int& ra = a;
	cout<<"&a = "<<&a<<endl;
	cout<<"&ra = "<<&ra<<endl;
	return 0;
}

“C++基础入门指南:了解语言特性和基本语法”_第7张图片

在底层实现上实际是有空间的,因为引用是按照指针方式来实现的。那就看下以下操作吧

int main()
{
	int a = 10;
	
	int* p1 = &a;
	
	int& ref = a;
	return 0;
}

我们来看下引用和指针的汇编代码对比
“C++基础入门指南:了解语言特性和基本语法”_第8张图片
可能有的同学不太看的懂汇编,但是我们会发现他们的汇编指令一模一样.
那我简单解释一下这几个指令:

  • lea是取地址的意思,先把把a的地址放到eax寄存器中。
  • dword ptr:表示操作数的大小,这里表示一个双字(32位)。
  • mov:表示将一个值从源操作数复制到目标操作数。将寄存器 eax 中的值复制到内存地址 p1 指向的位置,由于 eax 是一个32位寄存器,因此会将32位的值存储到该地址。下面的两行同样意思.

那有的的同学还有疑惑,那对他们进行 +±-的操作还会一样吗,我们继续来看看

int main()
{

	int a = 0;
	int* p1 = &a;
	int& ref = a;

	++(*p1);
	++ref;

	return 0;
}

“C++基础入门指南:了解语言特性和基本语法”_第9张图片
我们发现他们的汇编代码也都是一样的,我在带大家解释一下这几个指令。

  • mov eax, dowrd ptr [p1] :: p1存的是一个地址,把这个地址放在eax寄存器上。
  • mov ecx, dword ptr [eax]:: 寄存器加个[] 就是解引用的意思,把这个解引用的值放在ecx上,
  • add ecx,1 :: 对ecx的值加1
  • mov edx ,dword ptr [p1] :: 在将p1的地址放在edx寄存器里面
  • mov dword ptr [edx],ecx:: 把ecx的值放回 edx里面
    下面的ref的操作也是一模一样的

底层的汇编语言级别,确实没有直接对应引用的概念。底层汇编语言通常只提供了指针的概念和相关指令,而没有引用的语法糖。- 所有我们从底层角度里面看,我们只有指针没有引用

  • 但引用和指针还是有点区别的:
  1. 引用概念上定义一个变量的别名,指针存储一个变量地址。

  2. 初始化:引用必须在创建时进行初始化,并绑定到某个对象。指针可以在任何时候被初始化,包括创建后再指向一个对象。

  3. 空值:引用不能为null,它必须始终引用一个有效的对象。指针可以为null,表示它当前没有指向任何对象。

  4. 重新赋值:引用一旦初始化后,无法更改其绑定的对象。指针可以通过重新赋值来指向不同的对象。

  5. 空引用和空指针:引用不能表示不存在的对象,它始终引用一个有效的对象。指针可以为空,表示它目前没有指向任何对象。

  6. 访问对象:通过引用可以直接访问和操作对象,而指针需要使用解引用操作符(*)来访问指向的对象。

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

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

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

  10. 引用比指针使用起来相对更安全

总的来说,引用提供了方便的别名机制,用于直接访问对象,而指针则提供了更灵活的内存操作,可以指向不同的对象,并允许对对象的位置进行更多的控制。


C++函数重载

函数重载:是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这
些同名函数的形参列表(参数个数 或 类型 或 类型顺序)不同,常用来处理实现功能类似数据类型
不同的问题。

函数重载的规则如下:

  1. 函数名称必须相同。
  2. 参数列表必须不同,要么是参数类型不同,要么是参数个数不同,要么是参数顺序不同。
  3. 返回类型可以相同也可以不同,返回类型不参与函数重载的决策。
  • 参数类型不同
#include
using namespace std;
// 参数类型不同
int Add(int left, int right)
{
 cout << "int Add(int left, int right)" << endl;
 return left + right;
}
double Add(double left, double right)
{
 cout << "double Add(double left, double right)" << endl;
 return left + right;
}
  • 参数个数不同
void f()
{
 cout << "f()" << endl;
}
void f(int a)
{
 cout << "f(int a)" << endl;
}
  • 参数类型顺序不同
void f(int a, char b)
{
 cout << "f(int a,char b)" << endl;
}
void f(char b, int a)
{
 cout << "f(char b, int a)" << endl;
}

C++支持函数重载的原理–名字修饰

在C/C++中,一个程序要运行起来,需要经历以下几个阶段:预处理、编译、汇编、链接。具体的讲解我已经写在该文章了【C语言】 程序员的自我修养之(程序编译过程)
这里我们直接总结一下:
“C++基础入门指南:了解语言特性和基本语法”_第10张图片

  • C++与C找不到函数地址的报错信息
    “C++基础入门指南:了解语言特性和基本语法”_第11张图片
    为什么他们报错信息都不一样呢?接下来让我们看看吧!
  1. 实际项目通常是由多个头文件和多个源文件构成,而通过C语言阶段学习的编译链接,我们
    可以知道,【当前a.cpp中调用了b.cpp中定义的Add函数时】,编译后链接前,a.o的目标
    文件中没有Add的函数地址,因为Add是在b.cpp中定义的,所以Add的地址在b.o中。那么
    怎么办呢?
  2. 所以链接阶段就是专门处理这种问题,链接器看到a.o调用Add,但是没有Add的地址,就
    会到b.o的符号表中找Add的地址,然后链接到一起。(老师要带同学们回顾一下)
  3. 那么链接时,面对Add函数,链接接器会使用哪个名字去找呢?这里每个编译器都有自己的
    函数名修饰规则。
  4. 由于Windows下vs的修饰规则过于复杂,而Linux下g++的修饰规则简单易懂,下面我们使
    用了g++演示了这个修饰后的名字。
  5. 通过下面我们可以看出gcc的函数修饰后名字不变。而g++的函数修饰后变成【_Z+函数长度
    +函数名+类型首字母
  • 采用C语言编译器编译后结果
    “C++基础入门指南:了解语言特性和基本语法”_第12张图片
    结论:在linux下,采用gcc编译完成后,函数名字的修饰没有发生改变。C语言是静态链接的语言,函数的调用是通过函数名进行匹配的。由于函数名在编译阶段必须唯一,因此在C语言中,同一个作用域内不能存在同名的函数。

  • 采用C++编译器编译后
    “C++基础入门指南:了解语言特性和基本语法”_第13张图片
    结论:在linux下,采用g++编译完成后,函数名字的修饰发生改变,编译器将函数参
    数类型信息添加到修改后的名字中。

“C++基础入门指南:了解语言特性和基本语法”_第14张图片
对比Linux会发现,windows下vs编译器对函数名字修饰规则相对复杂难懂,但道理都
是类似的.

  1. 通过这里就理解了C语言没办法支持重载,因为同名函数没办法区分。而C++是通过函数修
    饰规则来区分,只要参数不同,修饰出来的名字就不一样,就支持了重载。
  2. 如果两个函数函数名和参数是一样的,返回值不同是不构成重载的,因为调用时编译器没办
    法区分。

C++内联函数

C++内联函数(inline function)是一种特殊类型的函数,以inline修饰的函数叫做内联函数,编译时C++编译器会在调用内联函数的地方展开,没有函数调用建立栈帧的开销,内联函数提升程序运行的效率

“C++基础入门指南:了解语言特性和基本语法”_第15张图片
如果在上述函数前增加inline关键字将其改成内联函数,在编译期间编译器会用函数体替换函数的
调用。

查看方式:

  1. 在release模式下,查看编译器生成的汇编代码中是否存在call Add
  2. 在debug模式下,需要对编译器进行设置,否则不会展开(因为debug模式下,编译器默认不
    会对代码进行优化,以下给出vs2013的设置方式)

“C++基础入门指南:了解语言特性和基本语法”_第16张图片
“C++基础入门指南:了解语言特性和基本语法”_第17张图片

  1. inline是一种以空间换时间的做法,如果编译器将函数当成内联函数处理,在编译阶段,会
    用函数体替换函数调用,缺陷:可能会使目标文件变大,优势:少了调用开销,提高程序运
    行效率。
  2. inline对于编译器而言只是一个建议,不同编译器关于inline实现机制可能不同,一般建
    议:将函数规模较小(即函数不是很长,具体没有准确的说法,取决于编译器内部实现)、不
    是递归、且频繁调用的函数采用inline修饰,否则编译器会忽略inline特性。下图为
    《C++prime》第五版关于inline的建议:“C++基础入门指南:了解语言特性和基本语法”_第18张图片
  3. inline不建议声明和定义分离,分离会导致链接错误。因为inline被展开,就没有函数地址
    了,链接就会找不到
// F.h
#include 
using namespace std;
inline void f(int i);

// F.cpp
#include "F.h"
void f(int i)
{
	cout << i << endl;
}

// main.cpp
#include "F.h"
int main()
{
	f(10);
	return 0;
}

// 链接错误:main.obj : error LNK2019: 无法解析的外部符号 "void __cdecl 
f(int)" (?f@@YAXH@Z),该符号在函数 _main 中被引用

在通常情况下,将内联函数的声明和定义放在同一个头文件中是比较推荐的做法。这是因为内联函数在编译时被展开,没有实际的函数地址,所以链接器无法正确地解析和连接分离的内联函数的定义。

如果将内联函数的声明放在头文件中,而将定义放在源文件中,那么在链接时,其他源文件无法找到该函数的定义,从而导致链接错误。

为了避免链接错误,通常的做法是在头文件中同时包含内联函数的声明和定义,并且将这些函数声明为inline,以确保函数被正确地展开和内联。

你可能感兴趣的:(c++)