C++学习笔记8：函数 part 1

本文链接：https://blog.csdn.net/qq_40736214/article/details/125727725

补充C++基础笔记。

函数 part 1：函数基础、参数传递、返回类型和return语句

函数基础

局部变量：形参和函数体内部定义的变量统称为局部变量 -> 对函数而言是“局部”的，仅在函数的作用域可见，同时局部变量会隐藏在外层作用域中同名的其他所有声明中。
自动对象：只存在于块执行期间的对象 -> 包括形参等。
对于局部变量对应的自动对象：如果变量定义本身含有初始值，就用这个初始值进行初始化；如果变量定义本身不含初始值，执行默认初始化 --> 内置类型的未初始化局部变量将产生未定义的值。
局部静态对象 static：在程序的执行路径第一次经过对象定义语句时初始化，直到程序终止才被销毁。
static size_t ctr = 0;

参数传递

传值参数：包括指针形参
传引用参数：

如果函数无需改变引用形参的值，最好将其声明为常量引用：

//改变的情况
void reset(int &i)  //i是传给reset函数的对象的另一个名字
{
	i = 0;   //改变了i所引对象的值
}

//不改变的情况：比较两个string对象的长度
bool isShorter(const string &s1, const string &s2) 
{
	return s1.size() < s2.size();
}

可以使用引用形参返回额外信息：

//返回s中c第一次出现的位置索引
//引用形参occurs负责统计c出现的总次数
string::size_type find_char(const string &s, char c, string::size_type &occurs) 
{
	auto ret = s.size();
	occurs = 0;
	for (decltype(ret) i = 0; i != s.size(); ++i) {
		if (s[i] = c) {
			if (ret == s.size()) 
				ret = i;  //第一次出现的位置
			++occurs;  //出现次数加一
		}
	}
	return ret;
}

const形参和实参

回忆变量：

int i = 42;
const int *cp = &i;  //正确：但是cp不能改变i
const int &r = i;  //正确：但是r不能改变i
const int &r2 = 42;  //正确：r2是一个常量引用
int *p = cp;  //错误：p的类型与cp的类型不匹配
int &r3 = r;  //错误：r3的类型和r的类型不匹配
int &r4 = 42;  //错误：不能用字面值初始化一个非常量引用

同理参数传递上有相同的初始化规则：

int i = 0;
const int ci = i;
string::size_type ctr = 0;
reset(&i);  //调用形参类型是int*的reset函数
reset(&ci);  //错误：不能用指向const int对象的指针初始化int*
reset(i);  //调用形参类型是int&的ret函数
reset(ci);  //错误：不能把普通引用绑定到const对象ci上
reset(42);  //错误：不能把普通引用绑定到字面值上
reset(ctr);  //错误：类型不匹配，ctr是无符号类型

尽量使用常量引用：使用引用而非常量引用极大地限制函数所能接受的实参类型。

数组形参
数组的两个性质：不允许拷贝数组，使用数组时（通常）会将其转换为指针。

可以把形参写成类似数组的形式：
void print (const int*);
void print (const int []);
void print (const int [10]);
三种技术管理指针形参(一开始函数不知道数组的大小)：
(1) 使用标记指定数组长度：要求数组本身包含一个结束标记 -> 如C风格的字符串

void print (const char *cp)
{
	if (cp)
		while (*cp)
			cout << *cp++;
}

(2) 使用标准库规范

void print(const int *beg, const int *end)
{
	while (beg != end)
		cout << *beg++ << endl;
}

(3) 显式传递一个表示数组大小的形参

//const int ia[]等价于const int *ia
void print(const int ia[]. size_t size) {
	for (size_t i = 0; i != size; ++i) {
		cout << ia[i] << endl;
	}
}

数组引用形参

//(&arr)必须有括号：&arr[10]是引用的数组，而不是数组的引用
//传入为const int arr[10]，实际传入的是指针，因此可以传入任意大小；传入为const int (&arr)[10]时，只能传入大小为10的数组
void print(int (&arr)[10])
{
	for (auto elem ： arr)
		cout << elem << endl;
}

main：处理命令行选项
含有可变形参的函数

处理不同数量实参的函数：处理的实参类型相同使用initializer_list，处理的实参类型不同使用可变参数模板。

initializer_list

void error_msg(initializer_list<string> il)
{
	for (auto beg = il.begin(); beg != il.end(); ++beg)
		cout << *beg << " ";
	cout << endl;
}

在这里插入图片描述

省略符形参：varargs

返回类型和return语句

无返回值函数：无需显式的return函数。
有返回值函数：
(1) return语句返回值的类型必须与函数的返回类型相同，或者能隐式地转换成函数的返回类型。
(2) 不要返回局部对象的引用或指针。
(3) C++11新标准规定，函数可以返回花括号包围的值的列表。
(4) 主函数main默认含有返回0的return。
返回数组指针
(1) 声明一个返回数组指针的函数：
Type (*function (parameter_list) ) [dimension]
例子：int (*func(int i)) [10];
逐层分解：
fun(int i) 表示调用func函数时需要一个int类型的实参；
(*func(int i)) 意味着我们可以对函数调用的结果执行解引用操作；
(*func(int i))[10] 表示解引用func的调用将得到一个大小是10的数组；
int （*func(int i))[10] 表示数组中的元素类型是int类型。
(2) 使用尾置返回类型
auto func(int i) -> int (*) [10] func函数返回的是一个指针，并且该指针指向了含有10个整数的数组
任何函数的敌不过一都能使用尾置返回，但是这种形式对于返回类型较复杂的函数最有效。
(3) 使用decltype

int odd[] = {1, 3, 5, 7, 9};
int even[] = {2, 4, 6, 8, 10};
//返回一个指针，该指针指向含有5个整数的数组，注意arrPtr前的指针，因为decltype的结果是个数组
decltype(odd) *arrPtr(int i)
{
	return (i % 2) ? &odd : &even;  //返回一个指向数组的指针
}

返回数组的引用：

decltype(arrStr)& arrPtr(int i)
{
          return (i % 2) ? odd : even;
}

参考资料：

C++ primer. 第五版.