C++ Prime：函数

局部静态对象：　　

　　某些时候，有必要令局部变量的生命周期贯穿函数调用及之后的时间。可以将局部变量定义成static类型从而获得这样的对象。局部静态对象在程序执行路径第一次经过对象定义语句时初始化，并且直到程序终止才被销毁，在此期间即使对象所在的函数结束执行也不会对它有影响。

size_t count_calls()

{

    static size_t ctr = 0;

    return ++ctr;

}



int main()

{

    for(size_t i = ; i != 10 ; i++ )

        cout<< count_calls() <<endl;

    return 0;

}

　　这段程序将输出从1到10的数字。

 

传引用参数：

　　示例：

// 该函数接受一个int对象的引用，然后将对象的值置为0

void Reset(int &i)    // i是传给Reset函数的对象的另一个名字

{

    i = 0;

}



// 调用这一版本的Reset函数时，可直接传入对象而无须传递对象的地址：

int j = 42;

Reset(j);

cout<<j<<endl;    // 输出j=0

 

使用引用避免拷贝：

　　拷贝大的类类型对象或者容器对象比较低效，甚至有的类型就不支持拷贝操作。当某种类型不支持拷贝操作时，函数只能通过引用形参访问该类型的对象。

　　举个例子，准备编写一个函数比较两个string对象的长度，因为string对象可能很长，应该尽量避免直接拷贝它们，这时使用引用形参是比较明智的选择。

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

 

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

　　一个函数只能返回一个值，然而有时函数需要同时返回多个值，引用形参为我们一次返回多个结果提供了有效的途径。举个例子，我们定义一个名为fnd_char的函数，它返回在string对象中某个指定字符第一次出现的位置，同时，也希望能返回该字符出现的总次数。为了使函数既能返回位置也能返回出现次数，一种是定义一个新的类型，还有一种就是传入一个额外的引用实参，令其保存字符出现的次数。

 

含有可变形参的函数：

　　为了编写能处理不同数量实参的函数，C++11新标准提供了两种主要的方法：如果所有的参数类型相同，可以传递一个名为initializer_list的标准库类型；如果实参的类型不同，可以编写一种特殊的函数，此处暂不介绍。

　　C++还有一种特殊的形参类型，即省略符，可以用来传递可变输了的实参，不过这种功能一般只用于与C函数交互的接口程序。

initializer_list形参：

　　initializer_list是一种标准库类型，用来表示某种特定类型的值的数组。示例：

void Test(initializer_list<string> il)

{

    for(auto beg = il.begin(); beg!= il.end(); ++beg)

        cout<<*beg<<endl;

}

 

引用返回左值：　　

char &get_val(string &str, string::size_type ix)

{    

    return str[ix];

}



int main()

{

    string s("a value");

    cout<<s<<endl;    // 输出a value

    get_val(s,0) = A;    // 将s[0]的值改为A

    cout<<s<<endl;    // 输出A value



    return 0;

}

　　返回值是引用，因此调用是个左值，和其他左值一样也能出现在赋值运算符的左侧。

 　　如果返回的类型是常量引用，不能给调用的结果赋值：

shortString("hi","bye") = "X";    // 错误，返回值是常量

 

列表初始化返回值：　　

vector<string> process()

{

    if()

        return {};    // 返回空的vector对象

    else

        return {"okey","buy"};    // 返回列表初始化的vector对象

}