C++数据类型以及函数设计学习记录

2023-12-14 19:52:18

一、C++类型转换原则

? ? ? ? 当表达式中出现了多种类型数据的混合运算时,往往需要进行类型转换。表达式中的类型转换分为两种:隐式转换和显式转换,但此处仅对隐式转换进行总结。

? ? ? ? 隐式转换分为算术转换和其它隐式类型转换两大类,其它隐式类型转换又主要包含数组转换为指针、指针的转换、布尔类型转换、常量转换等[1]。其中,在算术运算和关系运算中如果参与运算的操作数类型不一致,编译系统会自动对数据进行转换(隐式转换),此转换基本原则为低类型数据转换为高类型数据[2]

1 隐式转换

1.1算术转换

? ? ? ? ①若运算对象同为有符号类型或无符号类型,低类型数据转换为高类型数据。类型高低顺序为(由低至高):char-short-int-unsigned-long-unsigned long-float-double

? ? ? ? ②若一个运算对象是无符号类型、另一个运算对象是有符号类型,而且其中的无符号类型不小于有符号类型,那么有符号的运算对象转换为无符号的。需要注意的是,若有符号类型是负数,则会依据“趋负无穷取模”将负数转换为正数

? ? ? ? ③基于②,若有符号类型大于无符号类型,此时转换依赖于机器对类型的表示字节数,,如int、long。

? ? ? ? 【注:ISO C++标准并没有明确规定每种数据类型的字节数和取值范围,它只是规定它们之间的字节数大小顺序满足:(signed/unsigned)char ≤?(unsigned)short ≤?(unsigned)int ≤?(unsigned)long】

1.2其它隐式类型转换

1.2.1 数组转换为指针

????????在大多数用到数组的表达式中,数组自动转换成指向数组首元素的指针,如函数形参表达等。但是,数组引用、当数组被用作decltype关键字的参数、作用于取地址符&、作用于sizeof以及作用于typeid时,上述隐式转换不会发生。

1.2.2 指针的转换

? ? ? ? 常量整数值0或者字面值nullptr能转换成任意指针类型;指向任意非常量的指针能转换为void*;指向任意对象的指针能转换为const void*。

1.2.3 布尔类型转换

? ? ? ? 如果指针或算术类型的值为0,转换结果为false;否则转换结果为true。

1.2.4 常量转换

? ? ? ? 允许将指向非常量类型的指针转换为指向相应的常量类型的指针,对于引用也一样。

二、运算符优先级与结合性

图源:C++语言程序设计 / 郑莉,董渊编著

三、函数基础

(一)基础概念

? ? ? ? 自动对象:对于普通局部变量对应的对象来说,当函数的控制路径经过变量定义语句时创建该对象,当到达定义所在的块末尾时销毁它。我们把只存在于块执行期间的对象称为自动对象(“块”指的是“{}”内含的程序块)。

? ? ? ? 局部静态对象:局部静态对象在程序的执行路径第一次经过对象定义语句时初始化,并且直到程序终止才被销毁,在此期间即使对象所在函数结束执行也不会对它有影响(创建局部静态对象,即将局部变量定义成static类型)。

? ? ? ? 函数的参数传递:①形参的类型决定了形参和实参交互的方式。如果形参是引用类型,它将绑定到对应的实参上,此时对应的实参被引用传递或者函数被传引用调用;否则,当实参的值被拷贝给形参时,形参和实参是两个相互独立的对象,此时实参被值传递或者函数被传值调用。(需要注意的是,数组不允许拷贝,无法以值传递方式使用数组参数

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ②当用实参初始化形参时会忽略掉顶层const。即,当形参有顶层const时,传给它常量对象或者非常量对象都是可以的。

? ? ? ? 函数重载:如果同一作用域内的几个函数名字相同但形参列表不同,我们称之为重载函数。对于重载的函数来说,它们应该在形参数量形参类型上有所不同(不允许两个函数除了返回类型外其它所有的要素都相同)。

? ? ? ? 内联函数:请求编译器在可能的情况下在调用点展开函数(定义内联函数,即在函数前添加inline标识)。一般来说,内联机制用于优化规模较小、流程直接、频繁调用的函数。(补充理解:调用函数一般比求等价表达式的值要慢一些。在大多数机器上,一次函数调用其实包含着一系列工作)

? ? ? ? 函数指针:函数指针指向的是函数而非对象。和其他指针一样,函数指针指向某种特定类型。函数的类型由它的返回类型形参类型共同决定,与函数名无关。

? ? ? ? tuple类型(标准库特殊类型):tuple是类似于pair的模板。不同tuple类型的成员类型也不相同,但一个tuple可以有任意数量的成员。每个确定的tuple类型的成员数目是固定的,但一个tuple类型的成员数目可以与另一个tuple类型不同。tuple的主要使用目的是将一些数据组合成单一对象,而避免定义新数据结构来表示

图源:C++ Primer中文版:第5版 /(美)李普曼(Lippman,S.B.),(美)拉乔伊(Lajoie,J.),(美)默(Moo,B.E.)著;王刚,杨巨峰译.

(二)实验实践

1、顶层const引用(常量引用)形参影响实践

实验基础代码

# include<iostream>
# include<string>

using namespace std;

// 打印出字母串内包含的大写字母,并将大写字母改写为小写字母
// 注:该展示原始代码报错,左值*b不可修改
void ToUpper(const string &str)
{
	for (auto b = str.begin(); b != str.end(); ++b)
		if (isupper(*b))
		{
			cout << *b << endl;
			*b = tolower(*b);
		}
	return;
}

int main()
{
	const string test_string = "AppLe";
	cout << "原始测试数据:AppLe" << endl;
	ToUpper(test_string);
	cout << "测试后数据:" + test_string << endl;
	return 0;
}

实验结果图

实验结论笔记

? ? ? ? 在不改变传入数据的情况下,尽量使用常量引用。其原因有①把函数不会改变的形参定义为普通引用容易产生误解,即函数可以修改它的实参的值;②使用普通引用而非常量引用会极大地限制函数所能接受的实参类型,如图六、图七所示。

2、多返回值函数简单设计方法

实验代码

# include<iostream>
# include<string>
# include<vector>

using namespace std;

// 同类型多值返回
// 返回A大写字母开头的单词
vector<string> F1_Msame(const vector<string> wordList)
{
	vector<string> A_List;
	for (const string word : wordList)
		if (*(word.begin()) == 'A')
			A_List.push_back(word);
	return A_List;
}


int main()
{
	// 测试数据
	vector<string> test_data = {"bar","A","crush","brush","Apple","view","Aka"};
	vector<string> result = F1_Msame(test_data);
	for (auto w : result)
		cout << w << "   ";
	return 0;
}
# include<iostream>
# include<string>
# include<vector>
# include<tuple>

using namespace std;

// 不同类型多值返回
// 返回每一个A大写字母开头的单词与它所对应的索引值
vector<tuple<string, size_t>> F2_Mdiff(const vector<string> wordList)
{
	vector<tuple<string, size_t>> Aidx_List;
	for (size_t i = 0; i != wordList.size(); ++i)
		if (wordList[i][0] == 'A')
			Aidx_List.push_back(make_tuple(wordList[i],i));
	return Aidx_List;
}


int main()
{
	// 测试数据
	vector<string> test_data = {"bar","A","crush","brush","Apple","view","Aka"};
	vector<tuple<string, size_t>> result = F2_Mdiff(test_data);
	for (tuple<string, size_t> w : result)
		cout << "(" << get<0>(w) << ','<< get<1>(w) << ')' <<endl;
	return 0;
}

实验结果图

实验笔记

Ⅰ 双引号“”包含的字面值为字符串char*,单引号‘’包含的字面值为字符char;

Ⅱ C++11新标准规定,函数可以返回花括号{}包围的值的列表。此处返回的列表用来对表示函数返回的临时量进行初始化。如果列表为空,临时量执行值初始化;否则,返回的值由函数的返回类型决定。

3、函数指针实践(练习6.54/练习6.55/练习6.56)

实验代码

# include<iostream>
# include<vector>

using namespace std;


// 函数一:对两个int类型进行加法运算
int intAdd(int a,int b)
{
	int c = a + b;
	return c;
}

// 函数二:对两个int类型进行减法运算
int intSub(int a, int b)
{
	int c = a - b;
	return c;
}

// 函数三:对两个int类型进行乘法运算
int intPro(int a, int b)
{
	int c = a * b;
	return c;
}

// 函数四:对两个int类型进行除法运算
int intDiv(int a, int b)
{
	int c = 0;
	if (b == 0)
		throw runtime_error("除数不能为零!");
	else
		c = a / b;
	return c;
}


int main()
{
	vector<int (*)(int, int)> FuncCalList = {intAdd,intSub,intPro,intDiv};
	for (auto Fptr : FuncCalList)
		cout << Fptr(2, 4) << endl;
	return 0;
}

实验结果图

实验笔记

Ⅰ 函数名作为一个值使用时,该函数自动地转换为指针;

Ⅱ 可以直接使用指向函数的指针调用该函数,无须提前解引用指针;

参考资料:

[1] C++ Primer中文版:第5版 /(美)李普曼(Lippman,S.B.),(美)拉乔伊(Lajoie,J.),(美)默(Moo,B.E.)著;王刚,杨巨峰译. —北京:电子工业出版社,2013.9.(第四章-表达式,第六章-函数)

[2] C++语言程序设计 / 郑莉,董渊编著.—5版.—北京:清华大学出版社,2020.11.(第三章-函数)

Debug参考资料:

[3]?C++不允许使用不完整的类型说明-CSDN博客

文章来源:https://blog.csdn.net/Jcb1906824038/article/details/134972504
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。