C++Primer 函数

C++Primer 函数

目录

C++Primer 函数

1、参数传递

1.1、含有可变形参的函数

1.2、数组形参

2、返回类型和return语句

2.1、列表初始化返回值

2.2、返回数组指针

3、函数重载

3.1、顶层const与底层const

3.2、const_cast与static_cast

3.3、const_cast与重载

4、函数指针

4.1、使用函数指针

4.2、重载函数的指针

4.3、函数指针形参

4.4、返回指向函数的指针

---

 

1、参数传递

写在前面，函数中很基础的概念参数传递，如果形参是引用类型，它将绑定到对应的实参上；否则，将实参的值拷贝后赋给形参。

需要注意的是const：下面的这个函数虽然合法，但不算特别有用。

bool is_empty(string &s)
{
    return s.empty();
}

局限主要在于两个方面：

1.容易给使用者一种误导，即程序允许修改变量s的内容；

2.限制了该函数所能接受的实参类型，我们无法把const对象、字面值常量或者需要进行类型转换的对象传递给普通的引用形参。

综上，应该修改为：

bool is_empty(const string &s)
{
    return s.empty();
}

1.1、含有可变形参的函数

如果函数的实参数量未知但是全部实参的类型都相同，可以使用initializer_list类型的形参。initializer_list是一种标准库类型，用于表示特定类型的值的数组，initializer_list定义在同名头文件中。

下面用代码举例说明：

函数的参数是initializer_list<int>类型的对象，函数功能是计算列表中所有元素的和。这里跟容器差不多，如果参数改为vector也是可以的。

int iCount(initializer_list<int> il)
{
    int count = 0;
    for(auto val:il)
        count+= val;
    return count;
}
int main()
{
    cout<< "1+4+5 = " << iCount({1,4,5}) <<endl;
    return 0;
}

1.2、数组形参

数组的两个特殊性质对我们定义和使用作用在数组上的函数有影响，这两个性质分别是：

• 不允许拷贝数组
• 使用数组时（通常）会将其转换成指针

因为不能拷贝数组，所以我们无法用值传递的方式使用数组参数。因为数组会被转换成指针，所以当我们为函数传递一个数组时，实际上传递的是指向数组首元素的指针。

void print(const int *)
void print(const int[])
void print(const int[10])

上述三行代码，尽管形式不同，但这三个print函数是等价的，即使有维度，表示的是我们期望数组含有多少元素，实际不一定。每个函数的唯一形参都是const int *类型的。

C++允许将变量定义成数组的引用，基于同样的道理，形参也可以是数组的引用。此时，引用形参绑定到对应的实参上，也就是绑定到数组上。数组引用形参：

void print(int (&arr)[10]) //维度是类型的一部分
{
    for(auto elem: arr)
        cout<<elem<<" ";
    arr[0] = 90;
    cout<<endl;
}
int main()
{
    int k[10] = {0,1,2,3,4,5,6,7,8,9};
    print(k);
    cout<<k[0]<<endl;
    return 0;
}

注：&arr两端的括号不可少

f(int &arr[10])      //错误：将arr声明成了引用的数组
f(int (&arr)[10])    //正确：arr是具有10个整数的整型数组的引用

---

2、返回类型和return语句