第六章C++：函數基礎與應用

第六章 函數

函數是一個被命名了的程式碼區塊，透過呼叫函數執行對應的程式碼。

函數基礎

• 透過呼叫運算子（call operator）來執行函數。其形式為一對圓括號。

• 函數的呼叫完成兩項工作（如下），此時主調函數（calling function）的執行被暫時中斷，被調函數（called function ）開始執行。

• 用實參初始化函數對應的形參。

• 將控制權轉移給被調函數。

• return語句：

• #傳回return語句中的值

• 將控制權從被調函數移回主調函數

局部物件

• ##名字有作用域，物件有

  生命週期（lifetime）

• 自動物件（automatic object）：當函數的控制路徑經過變數定義語句時建立該對象，當達到定義所在的區塊末尾時銷毀它。

• 局部靜態物件：程式執行路徑第一次經過物件定義語句時初始化，知道程式終止才被銷毀。
  

• 將局部變數定義為

  static 取得，例如：
  //統計函數count_calls ()被呼叫了多少次<br>size_t count_calls () <br>{ <br>static size_t ctr = 0;  //呼叫結束後，這個值仍然有效<br>return ctr; <br>} <br>int main () <br>{ <br>for (size_t i = 0; i != 10; i) <br>cout e7bdc87c63c0fc96935c0ee11eafab91 lst;    //預設初始化，T型別元素的空白列表<br>initializer_list8742468051c85b06f0a0af9e3e506b5c lst{a ,b,c...}; <br>//lst的元素數量和初始值一樣多；lst的元素是對應初始值的副本；列表中的元素是const <br>lst2(lst) <br> lst2 = lst  //拷貝或複製一個initializer_list物件不會拷貝清單中的元素；拷貝後，原始清單和副本元素共享<br>lst.size()  //清單中元素的數量<br>lst.begin( ) //傳回指向lst中首元素的指標<br>lst.end()   //傳回指向lst中尾元素下一位置的指標<br><br>

傳回型別與return語句

• 引用傳回左值，其他回傳型別得到右值。

• 列表初始化傳回值：C 11新標準規定，函數可以傳回花括號包圍的值的清單。

主函數main的回傳值

• 允許main函數沒有回傳值（若沒有，編譯器隱含地插入return 0）

• 返回0表示执行成功，其他值依机器而定。

• 为了使返回值与机器无关，cstdlib头文件定义了两个预处理变量，分别表示成功和失败：
  <br>return EXIT_FAILURE; <br>return EXIT_SUCCESS; <br>//因为它们是预处理变量，所以既不能在前面加上std::，也不能在using声明里出现。 <br>

返回数组指针

1. 使用类型别名
   <br>typedef int arrT[10];   //arrT是一个类型别名，它表示的类型是含有10个整数的数组 <br>using arrT = int[10];   //与上一句等价 <br>arrT* func(int i);      //func返回一个指向含有10个整数的数组的指针 <br>

2. 声明一个返回数组指针的函数，形式如下
   <br>Type (*function(parameter_list)) [dimension] <br>//Type表示返回的数组指针指向的数组元素类型 <br>//dimension表示数组的大小 <br>//例如： <br>int (*func(int i)) [10]; <br>

3. 使用尾置返回类型（C++11）
   <br>auto func(int i) -> int(*)[10]; <br>

4. 使用decltype
   <br>int odd[] = {1,3,5,7,9}; <br>int even[] = {0,2,4,6,8}; <br>decltype(odd) *arrPtr(int i) <br>{ <br>    return (i % 2) ? &odd : &even;  //返回一个指向数组的指针 <br>} <br>

函数重载

如果同一作用域内的几个函数名字相同但形参列表不同，我们称之为重载（overloaded）函数。

• 不允许两个函数除了返回类型外其他所有要素都相同。

• 重载与作用域：一旦在当前作用域中找到了所需的名字，编译器就会忽略掉外层作用域中的同名实体。

特殊用途语言特性

介绍三种函数相关的语言特性：默认实参、内联函数、constexpr函数。

默认实参

• 调用包含默认实参的函数时，可以包含该实参，也可以省略该实参。

• 一旦某个形参被赋予了默认值，它后面所有的形参都必须有默认值。

内联函数（inline）

调用函数一般比求等价表达式的值要慢，内联函数可避免函数调用的开销。
- 将函数指定为内联函数，通常就是将它在每个调用点上“内联地”展开。

constexpr函数

• 函数的返回类型和所有的形参类型都得是字面值类型。

• 函数中必须有且只有一条return语句。

• constexpr函数被隐式地指定为内联函数。

内联函数和constexpr函数通常定义在头文件中

调试帮助

程序可以包含一些用于调试的代码，但这些代码只在开发程序时使用。当应用程序编写完成准备发布时，要先屏蔽掉调试代码。这种方法用到两项预处理功能：assert和NDEBUG。

assert预处理宏

#include <cassert>assert(expr);//首先对expr求值，//如果表达式为假（即0），assert输出信息并终止程序的执行。//如果表达式为真（即非0），assert什么也不做。//例如：对一个文本进行操作的程序可能要求所给定单词的长度都大于某个阈值。assert(word.size() > threshold;

NDEBUG预处理变量

• assert的行为依赖于一个名为NDEBUG的预处理变量的状态。如果定义了NDEBUG，则assert什么也不做。默认状态下没有定义NDEBUG，此时assert将运行执行时检查。
  

• 使用#define语句定义NDEBUG，从而关闭调试状态。

• 很多编译器都提供了命令行选项使我们可以定义预处理变量。
  <br>$ CC -D NDEBUG main.C   #微软编译器中用 /D <br>

• 这只是调试程序的辅助手段，不能代替真正的逻辑检查，也不能代替程序本应该包含的错误检查。

• 除了assert以外，也能使用NDEBUG编写自己的条件调试代码：

//如果定义了NDEBUG，#ifndef和#endif之间的代码将被忽略void print(const int ia[], aize_t size)
{    #ifndef NDEBUG
        //_ _func_ _是编译器定义的一个局部静态变量，用于存放函数的名字，它是const char的一个静态数组。
        cerr << _ _func_ _ << "array size is " << size << endl;    #endif}

除了_ _ func _ _之外，还有其它四个名字：

_ _FILE_ _ 存放文件名的字符串字面值
_ _LINE_ _ 存放当前行号的整型字面值
_ _TIME_ _ 存放文件编译时间的字符串字面值
_ _DATA_ _ 存放文件编译日期的字符串字面值

函数指针

bool lengthCompare(const string &, const string &);//pf指向一个函数，该函数的参数是两个const string的引用，返回值是bool类型。注意圆括号必不可少bool (*pf) (const string &, const string &);    //未初始化

当我们把函数名作为值使用时，该函数自动地转换成指针

pf = lengthCompare;     //pf指向名为lengthCompare的函数pf = &lengthCompare;    //等价赋值语句，&是可选的

调用该函数：

//此三个调用等价bool b1 = pf("hello", "goodbye");bool b2 = (*pf)("hello", "goodbye");bool b3 = lengthCompare("hello", "goodbye");

参考：C++Primer第五版

相关文章：

第四章C++：表达式概念-运算符的应用

第五章C ：語句的相關介紹

以上是第六章C++：函數基礎與應用的詳細內容。更多資訊請關注PHP中文網其他相關文章！