6.1 函数基础
实参和形参的区别的什么？
实参是函数调用的实际值，是形参的初始值。
请指出下列函数哪个有错误，为什么？应该如何修改这些错误呢？
(a) int f() {
string s;
// …
return s;
} (b) f2(int i) { /* … / } ? int calc(int v1, int v1) { / … */ } (d) double square (double x) return x * x;
应该改为下面这样：
(a) string f() {
string s;
return s;
}
(b) void f2(int i) { }
(c) int calc(int v1, int v2) { }
说明形参、局部变量以及局部静态变量的区别。编写一个函数，同时达到这三种形式。
形参定义在函数形参列表里面；局部变量定义在代码块里面；局部静态变量在程序的执行路径第一次经过对象定义语句时初始化，并且直到程序终止时才被销毁。
int count_add(int n)
{
static int ctr = 0;
ctr += n;
return ctr;
}
int main()
{
for (int i = 0; i != 10; ++i)
cout << count_add(i) << endl;
return 0;
}
编写一个函数，当它第一次被调用时返回0，以后每次被调用返回值加1。
int generate()
{
static int ctr = 0;
return ctr++;
}
6.1 参数传递
编写一个函数，使用指针形参交换两个整数的值。在代码中调用该函数并输出交换后的结果，以此验证函数的正确性。
#include <iostream>
#include <string>
void swap(int* lhs, int* rhs)
{
int tmp;
tmp = *lhs;
*lhs = *rhs;
*rhs = tmp;
}
int main()
{
for (int lft, rht; std::cout << "Please Enter:\n", std::cin >> lft >> rht;)
{
swap(&lft, &rht);
std::cout << lft << " " << rht << std::endl;
}
return 0;
}
假设 T 是某种类型的名字，说明以下两个函数声明的区别：一个是void f(T), 另一个是 void f(&T)。
void f(T) 的参数通过值传递，在函数中 T 是实参的副本，改变T不会影响到原来的实参。
void f(&T) 的参数通过引用传递，在函数中的T是实参的引用，T的改变也就是实参的改变。、
举一个形参应该是引用类型的例子，再举一个形参不能是引用类型的例子。
例如交换两个整数的函数，形参应该是引用
void swap(int& lhs, int& rhs)
{
int temp = lhs;
lhs = rhs;
rhs = temp;
}
当实参的值是右值时，形参不能为引用类型
int add(int a, int b)
{
return a + b;
}
int main()
{
int i = add(1,2);
return 0;
}
说明find_char函数中的三个形参为什么是现在的类型，特别说明为什么s是常量引用而occurs是普通引用？为什么s和occurs是引用类型而c不是？如果令s是普通引用会发生什么情况？如果令occurs是常量引用会发生什么情况？
因为字符串可能很长，因此使用引用避免拷贝；而在函数中我们不希望改变 s 的内容，所以令 s 为常量。
occurs 是要传到函数外部的变量，所以使用引用，occurs 的值会改变，所以是普通引用。
因为我们只需要 c 的值，这个实参可能是右值(右值实参无法用于引用形参)，所以 c 不能用引用类型。
如果 s 是普通引用，也可能会意外改变原来字符串的内容。
occurs 如果是常量引用，那么意味着不能改变它的值，那也就失去意义了。
下面的这个函数虽然合法，但是不算特别有用。指出它的局限性并设法改善。
bool is_empty(string& s) { return s.empty(); }
局限性在于常量字符串和字符串字面值无法作为该函数的实参，如果下面这样调用是非法的：
const string str;
bool flag = is_empty(str); //非法
bool flag = is_empty(“hello”); //非法
所以要将这个函数的形参定义为常量引用：
bool is_empty(const string& s) { return s.empty(); }
为下面的函数编写函数声明，从给定的名字中推测函数具备的功能。
(a) 名为 compare 的函数，返回布尔值，两个参数都是 matrix 类的引用。
(b) 名为 change_val 的函数，返回vector的迭代器，有两个参数：一个是int，另一个是vector的迭代器。
(a) bool compare(matrix &m1, matrix &m2);
(b) vector<int>::iterator change_val(int, vector<int>::iterator);
假定有如下声明，判断哪个调用合法、哪个调用不合法。对于不合法的函数调用，说明原因。
double calc(double); int count(const string &, char); int
sum(vector::iterator, vector::iterator, int); vector
vec(10); (a) calc(23.4, 55.1);
(b) count(“abcda”,‘a’);
? calc(66);
(d) sum(vec.begin(), vec.end(), 3.8);
(a) 不合法。calc只有一个参数。
(b) 合法。
? 合法。、
引用形参什么时候应该是常量引用？如果形参应该是常量引用，而我们将其设为了普通引用，会发生什么情况？
应该尽量将引用形参设为常量引用，除非有明确的目的是为了改变这个引用变量。如果形参应该是常量引用，而我们将其设为了普通引用，那么常量实参将无法作用于普通引用形参。
描述下面这个函数的行为。如果代码中存在问题，请指出并改正。
void print(const int ia[10]) { for (size_t i = 0; i != 10; ++i)
cout << ia[i] << endl; }
当数组作为实参的时候，会被自动转换为指向首元素的指针。因此函数形参接受的是一个指针。如果要让这个代码成功运行，可以将实参改为数组的引用。
void print(const int (&ia)[10])
{
for (size_t i = 0; i != 10; ++i)
cout << ia[i] << endl;
}
在范围for循环中使用initializer_list对象时，应该将循环控制变量声明成引用类型吗？为什么？
应该使用常量引用类型。initializer_list 对象中的元素都是常量，我们无法修改initializer_list 对象中的元素的值。
|