C++Primer 5th Chap6 Functions

局部静态变量,关键字static修饰,即使函数结束执行也不受影响,生存期直到程序终止。

  java中static的单一存储空间的概念与其或有异曲同工之妙。

函数的形参可以无名,但有名可以使其意义更加清晰。

分离式编译的一种模式:头文件中声明函数,在name.cpp文件中定义,最后在name_main.cpp中实现

 若函数传值调用,则实参和形参为两个独立的个体;若函数传引用调用,形参为实参的别名,即同一个体

形参为指针

  例如:void reset(int *p){

      *p=0;//解引用改变所指对象的值

      }

     int i=24;

     reset(&i);//此时i==0

形参为引用

  例如:void reset(int &p){

      p=0;}//p所引用的对象的值被改变

    int j=24;

    reset(j);//此时j==0,reset内部对 p 的操作即为对 j 的操作

  如果类类型过大或者就不支持拷贝,则需要以引用为函数形参(如果不希望改变对象的值,参数类型应为const)

  另外传引用可以获得额外信息,在函数使用完毕后,传入的参数其值保留

若函数的形参为顶层const,传入非const参数作为实参是允许的(此时顶层const被忽略,故仅仅有无const不能重载函数)

  与上一条相对地,若形参为非常量,则禁止传入常量实参

若非必要,引用型形参尽量是常量引用,若函数嵌套调用时内外层引用形参不同为常量/非常量,易引发错误

  例如:void func1(const string &s){

      /*.........................*/

      func2(/*string*/ s);}//此例即不通

数组形参

  例如:void func(const int*);

     void func(const int [ ]);

     void func(const int [10]);//仅表示希望的元素个数,实际调用不一定,与前两条等价

  防止越界的操作:

  例如:void print(const char *cp){

      if(cp)//非空指针

        while(*cp)//非空字符

          cout<<*cp++;}//向后位移

  也可:void print  (const char *beg,const char *end){//end是尾后元素

      while(beg!=end)//输出不含end的所有元素,end可由end(arr)获取,begin可由begin(arr)获取

        cout<<*beg++;}

  也可:void print  (const int ia[ ],size_t size){

      for(size_t i=0 ; i != size; i++){

        cout<<ia[ i ];}//显式固定大小

数组引用形参

  例如:void print( int (&arr)[10]){//注意括号位置

      for(auto elem:arr)

        cout<<elem;}//不足是大小固定  

多维数组形参

  例如:void print( int (*matrix)[10], int rowsize){/*.............*/}

处理命令行选项时,main函数需要参数:int main(int argc,char* argv[ ])

可变形参

  initializer_list形参:(形参数目未知,类型相同)

  

initializer_list<T> lst 默认初始化,T类型空列表
initializer_list<T>lst{a,b,c...} const T 类型元素与lst列表中数量相同,是对应初始值的副本
lst2(lst)或lst2=lst 拷贝或赋值initializer_list对象,但不赋值列表中的元素,原列表和副本共享元素
lst.size() 列表元素数量
lst.begin() 指向lst首元素的指针
lst.end() 指向lst尾后元素的指针

 

 

 

 

 

 

 

  例如:void print(initializer_list<string> lst){

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

        cout<<*beg;   }

     print({"FunctionX","Okey"});//调用时必须带花括号

  省略符形参:(并不好用,传递参数容易出错)

  例如:void foo(int,...);

     void foo(...);//省略符必须在参数列表末尾

返回值和return

  不要返回局部对象的指针或引用(函数完成后,局部对象就已经不存在了)   

   调用一个返回引用的函数得到左值,其他返回类型得到右值。

   c++11允许返回一组花括号括起来的列表(列表初始化返回值),若为内置类型列表内仅能包含最多一个值:

   例如:vector<string>process(){

      /*..........*/return{};

      /*..........*/return{"Hello","World"}; }

  返回数组指针(指向数组的指针):(如果不想使用类型别名,定义的名字后面数组的元素个数要记住)

  例如: int(*func(int i))[10];

  尾置返回类型(c++11):像是返回数组指针或者数组引用之类的复杂类型较为合适,当然所有类型返回值都可用

  例如:auto func(int i)->int(*)[10];(得到了与上一条相同的效果,而且更加清晰)

   使用decltype(c++11):(已知返回的指针指向哪个数组)

  例如:int odd[ ]={1,3,5,7,9};

     int even[ ]={2,4,6,8,10};

     decltype(odd) *func(int i){//注意此处*不能省

       return (i%2)?&odd:&even;}

仅仅返回类型不同不能构成重载函数,函数的形参列表是否为顶层const并无区别,然而形参是否为底层const对函数确有影响

如chap4所示,const_cast<type>objname在重载函数中很有用,如果希望消除某一变量的const性质,此举是唯一方法

注意:名字查找在类型查找之前(局部作用域内的新声明会覆盖外层同名对象,导致内部调用时引发错误)

在函数声明的形参列表中可以提供默认值(要么所有形参都有默认值,要么就都没有):

  例如:string screen(size_type ht=24,size_type wid=80,char background=' '); 

     screen();//等价于screen(24,80,' ');

     screen(44);//等价于screen(44,80,' ');

     screen(22,88);//等价于screen(22,88,' ');

     也就是说,提供的值必须是按照声明顺序的,调用screen('?');等价于screen('?',80,' '); 显然不合法

内联函数inline:声明函数之前加上inline关键字,可以使其调用更快(至于内联是否生效看编译器是否批准内联请求,通常用于结构较为简单的函数)

constexpt函数:函数的返回值类型及所有形参的类型都是字面值类型,而且函数体中必须有且只有一条return语句;

          如果调用实参为常量,返回常量表达式,调用非常量,返回的也非常量(使用此函数在定义函数前加上constexpr关键字)

 通常内联函数和constexpr函数被定义在头文件中(因为允许此两种函数在程序中多次定义)

assert预处理宏(断言):(#include<cassert>)

  例如:assert(expression);//expression==true,assert什么也不做;expression==false,程序终止并返回信息

处理调试状态

  定义预处理变量NDEBUG:#define NDEBUG:关闭调试状态(此举可使assert无效)

  除了使用assert,也可以自定义条件调试代码:

    void print(const int ia[ ],size_t size){

      #ifndef NDEBUG

        cerr<<__func__<<":array size is "<<size;

      #endif}

    __func__存放函数名字的字符串字面值(这里输出当前调试的函数名)

    __FILE__存放文件名的字符串字面值

    __LINE__存放当前行号的整型字面值

    __TIME__存放文件编译时间的字符串字面值

    __DATE__存放文件编译日期的字符串字面值

函数指针:指向的是函数而非对象

  例如:bool lengthCompare(const string&,const string&);

     bool (*bf)(const string&,const string&);//要求返回类型和形参类型及数量完全一致

     bf =0;//表示不指向任何函数

     bf=&lengthCompare;(或bf=lengthCompare;)//bf指向函数lengthCompare

     bf("Hello","World");(或(*bf)("Hello","World");)//利用bf调用函数lengthCompare,无须提前解引用指针

      void usePointer(const string&,const string&,bf(const string&,const string&));//这里usePointer函数的第三个参数是函数指针,与上面的bf相同性质

  使用类型别名表示返回类型式函数指针:尾置返回类型也可(auto f1(int)->int(*)(int* ,int))

     using PF=int(*)(int*,int);//PF是指针类型  PF f1(int);

     using F=int (int* ,int);//F是函数类型  F *f2(int);//显式地表示返回函数指针,*不能省

  r若已知返回的函数是哪个:

     int func1(const int&,const int&);

     int func2(const int&,const int&);

     decltype(func1) *usefcn(const int&);//注意此处*不能省,decltype得到的是函数类型

//本章概念较为混乱,需多看多记

            

                  

posted @ 2019-09-10 09:54  Dragonsburg  阅读(173)  评论(0编辑  收藏  举报