- 某些时候，有必要令局部变量的生命周期贯穿函数调用及之后的时间。可以将局部变量定义成 static 类型从而获得这样的对象。局部静态对象（ local static object ）在程序的执行路径第一次经过对象定义语句时初始化，并且直到程序终止才被销毁，在此期间即使对象所在的函数结束执行也不会对它有影响。
- 如果局部静态变量没有显式的初始值 , 它将执行值初始化。内置类型的局部静态变量初始化为 0。
- C#不支持局部静态对象。
int GetCount()
{
static int count;
return ++count;
}
int main()
{
for (size_t i = 0; i < 5; i++)
{
cout << GetCount() << endl;//输出1 2 3 4 5
}
}
- 拷贝大的类类型对象或者容器对象比较低效，甚至有的类类型（包括 IO 类型在内）根本就不支持拷贝操作。当某种类型不支持拷贝操作时，函数只能通过引用形参访问该类型的对象。
- 举个例子，我们准备编写一个函数比较两个 string 对象的长度。因为 string 对象可能会非常长，所以应该尽量避免直接拷贝它们，这时使用引用形参是比较明智的选择。又因为比较长度无须改变 string 对象的内容，所以把形参定义成对常量的引用。
bool isShorter(const string &a,const string &b)
{
return a.size() < b.size();
}
-
含有可变形参的函数
- initializer_list形参：
- 如果函数的实参数量未知但是全部实参的类型都相同 , 我们可以使用initializer_list类型的形参。
- initializer_list是一种标准库类型 , 用于表示某种特定类型的值的数组。
- 和 vector 一样，initializer_list也是一种模板类型，定义 initializer _ list 对象时 , 必须说明列表中所含元素的类型；和 vector 不一样的是，initializer_list对象中的元素永远是常量值 , 我们无法改变initializer_list对象中元素的值 。
- 如果想向 initializer _ list 形参中传递一个值的序列，则必须把序列放在一对花括号内。
int GetSum(initializer_list<int> scores)
{
int sum = 0;
for (auto beg = scores.begin(); beg != scores.end(); ++beg)
{
sum += *beg;
}
return sum;
}
int main()
{
cout << GetSum({ 96,87,99,88,84 }) << endl;//454
}
- 省略符形参应该仅仅用于 C 和 C ++ 通用的类型。特别应该注意的是，大多数类类型的对象在传递给省略符形参时都无法正确拷贝。
- 省略符形参只能出现在形参列表的最后一个位置。
- 因为数组不能被拷贝，所以函数不能返回数组。不过，函数可以返回数组的指针或引用。
- 定义一个返回数组指针的函数，数组的维度必须跟在函数名字之后，而且函数的形参列表也跟在函数名字后面且形参列表应该先于数组的维度。
- 使用尾置返回类型可以简化上方2的定义方法：尾置返回类型跟在形参列表后并以一个->开头。尾置返回类型适用于任何函数的定义，但对于返回类型比较复杂的函数最有效。
- 如果我们知道函数返回的指针将指向哪个数组，就可以使用decltype关键字声明返回类型。
//Func函数有一个形参，返回一个指向含有10个整形整数的数组的指针
int (*Func(int num))[10]//必须加括号，否则返回的是含有10个整形指针的数组，报错
{
}
auto Func(int num)->int(*)[10]
{
}
int nums[] = { 1,2,3,4,5 };
decltype(nums) *Func(int num)
{
}
- 调用函数一般比求等价表达式的值要慢一些。在大多数机器上，一次函数调用其实包含着一系列工作：调用前要
先保存寄存器，并在返回时恢复；可能需要拷贝实参；程序转向一个新的位置继续执行。
- 内联函数可避免函数调用的开销。
- 将函数指定为内联函数（ inline ) ，通常就是将它在每个调用点上“内联地”展开。
- 一般来说，内联机制用于优化规模较小、流程直接、频繁调用的函数。
- 递归函数无法使用内联方式。
inline bool isShorter(const string &a,const string &b)
{
return a.size() < b.size();
}
int main()
{
string s1 = "ab", s2 = "abc";
cout << isShorter(s1, s2) << endl;//1
//上方语句在编译过程中展开成类似下方的形式
cout << (s1.size() < s2.size()) << endl;//1
}
- 函数指针指向的是函数而非对象。和其他指针一样，函数指针指向某种特定类型。函数的类型由它的返回类型和形参类型共同决定，与函数名无关。
- 要想声明一个可以指向该函数的指针，只需要用指针替换函数名即可。
- 当我们把函数名作为一个值使用时，该函数自动地转换成指针。
bool isShorter(const string &a, const string &b);
//p就是一个指向函数的指针，其中该函数的参数是两个const string 的引用，返回值是 bool类型
bool (*p)(const string &a, const string &b);
int main()
{
auto p = isShorter;
bool _b = p("a", "ab");
}
