跟变量一样,函数也需要先声明再使用。同样的,函数的定义和函数的声明也可以分离:一个函数只能定义一次,但可以声明多次。
函数声明必须包含:返回类型、函数名和形参列表。形参列表必须包含形参类型,但没强调要包含形参名。比如
void func(int, string);
默认实参
调用函数时,可以省略有默认值的实参。如果一个参数有默认值,那么它后面的实参都必须有默认值。如:
string screenInit(string::size_type height = 24,
string::size_type width = 80,
char background = ' ');
// 下面调用均正确
string screen;
screen = screenInit();
screen = screenInit(66);
screen = screenInit(66, 256);
screen = screenInit(66, 256, '#');
设置默认形参时,最少使用的默认值放在最前,最多使用的放在最后。
函数在声明时可以指定默认实参,但是在一个文件中,只能为形参指定一次默认参数。所以可以将声明放在头文件中。
静态局部对象
上面的形参都会在定义它们的快语句结束时被撤销,如果需要跨越多个作用域,定义为 static,它能保证在程序结束前不被撤销:
size_t count() {
static size_t cnt = 0;
return ++cnt;
}
int main() {
for (size_t i = 0; i!= 5; ++i) {
cout << count() << endl;
}
return 0;
}
// prints:
// 1
// 2
// 3
// 4
// 5
内联函数
一般的函数调用要比求解表达式慢得多,内联函数可以避免函数调用的开销。使用 inline 关键字定义,如:
inline const string &shorterString(const string &s1, const string &s2)
{
return s1.size() > s2.size() ? s1 : s2;
}
则在调用 cout << shorterString(s1, s2) << endl;
时, 编译时展开为 cout << (s1.size() > s2.size() ? s1 : s2) << endl;
。
内联机制适用于优化小的、几行的且经常调用的函数。
类的成员函数
和任何函数一样,包含下面四个部分:
- 返回类型
- 函数名
- 逗号分隔的形参列表(可为空)
- 花括号内的函数体
1,2,3 组成的是函数原型,函数的原型必须在类中定义,函数体则可以在类外。假设 Sales_item 类有两个成员函数 avgPrice() 和 sameIsbn(const Sales_item &):
class Sales_item {
public:
double avgPrice() const;
bool sameIsbn(const Sales_item &rhs) const {
return isbn == rhs.isbn;
}
private:
std::string isbn;
unsigned units_sold;
double revenue;
};
可以发现形参的后面有 const
,在解释之前,说明成员函数如何定义:
成员函数的函数体
类的所有成员必须在定义类的花括号中声明,并且编译器隐式地将类内定义的成员函数当作是内联函数。
类的成员函数可以访问 private 成员,如 isbn。
this 指针的引入
每个成员函数都有一个额外的、隐式的形参 this,在调用成员函数时,形参 this 初始化为调用函数的对象的地址。可以这样理解:
item.sameIsbn(otherItem);
编译器会重写这个函数调用:
Sales_item::sameIsbn(&item, otherItem);
const 成员函数的引入
也就是上面提到的形参后面 const,它改变了隐式形参 this 的类型。
bool sameIsbn(const Sales_item *const this,
const Sales_item &rhs) const {
return (this->isbn == rhs.isbn);
}
这种使用 const 的函数称为常量成员函数(const member function)。由于 this 指向 const 对象,const 成员函数不能修改调用该函数的对象。
类外定义成员函数
double Sales_item::avgPrice() const {
if (units_sold){
return revenue / units_sold;
} else {
return 0;
}
}
使用了域操作符 ::
及类名 Sales_item
。
Sale_item 的构造函数
构造函数是特殊的成员函数,构造函数名与类名相同,而且无返回类型。可以有多个构造函数,相互之间的具有不同数目或类型的形参。
跟普通成员函数一样,必须在类内声明,类内或类外定义。
class Sales_item {
public:
double avgPrice() const;
bool sameIsbn(const Sales_item &rhs) const {
return isbn == rhs.isbn;
}
Sales_item(): units_sold(0), revenue(0.0) {}
private:
std::string isbn;
unsigned units_sold;
double revenue;
};
构造函数的初始化列表
在冒号与花括号之间的代码称为构造函数的初始化列表,即 units_sold(0), revenue(0.0)
为成员指定初值,括号内是初值。构造函数的形参表为空说明此为默认调用的
类代码的组织
通常将类的声明放置在头文件中,在类外定义的成员函数则置于源文件中。
重载函数
在相同作用域中,出现相同名字而形参表不同的函数,称为重载函数。如电话本的查找:基于姓名、基于号码
Record lookup(const Name&);
Record lookup(const Phone&);
重载与重复声明的区别
如果两个函数声明的返回类型和参数表完全匹配,叫重复声明;如果形参表完全相同,返回类型不同,则第二个错误。
在函数中局部声明的名字会屏蔽全局名,即使是变量名对函数名也同样成立:
string init();
void func() {
int init = 0;
string s = init(); // error: global init is hidden
}
指向函数的指针
函数指针是指指向函数而非对象的指针,像其他指针一样,函数指针指向的是函数类型,函数类型由其返回类型和形参表确定,与函数名无关。
bool (*pf)(const string &, const string &);
用typedef简化定义
typedef bool (*cmpFcn)(const string &, const string &);
则 cmpFcn
表示指向返回类型为 bool 类型并带有两个 const string 引用形参的函数的指针。若要定义此类型的函数指针,则直接使用 cmpFcn
即可。
初始化和赋值
在引用函数名又没调用该函数,函数名将被自动解释为指向函数的指针。假设有函数:
bool lengthCpmpare(const string &, const string &);
会被解释为如下类型的指针:
bool (*)(const string &, const string &);
可以做如下初始化:
cmpFcn pf1 = 0; // ok:不指向任何函数
cmpFcn pf2 = lengthCompare; // ok:指向类型匹配的函数
pf1 = lengthCompare; // ok:同上
pf2 = pf1; // ok:同上
此时,直接饮用函数名等效于在函数名上应用取地址操作符:
cmpFcn pf1 = lengthCompare;
cmpFcn pf2 = &lengthCompare;
函数指针只能通过同类型的函数或函数指针或 0 值常量表达式进行初始化或赋值
通过指针调用函数
不需要解引用操作符,直接通过指针调用函数:
cmpFcn pf = lengthcompare;
lengthCompare("hi", "bye"); // 直接调用
pf("hi", "bye"); // 等价调用:pf隐式解引用
(*pf)("hi", "bye"); // 等价调用:pf显式解引用
函数指针形参
函数的形参可以是指向函数的指针,这种形参可以用以下两种形式编写:
void useBigger(const string &, const string &,
bool (const string &, const string &));
void useBigger(const string &, const string &,
bool (*)(const string &, const string &));
返回指向函数的指针
函数可以返回指向函数的指针,但是,这并不简单:
// ff is a function taking an int and returing a function pointer
// the function pointed to returns an int and takes an int* and an int
int (*ff(int)) (int*, int);
这样理解: ff(int)
表明 ff 为一个函数,它带有一个 int 型形参,该参数返回 int (*)(int*, int)
,它是指向一个函数的指针。用 typedef 可以更加明白:
// PF is a pointer to a function returing an int, taking an int* and an int
typedef int (*PF)(int*, int);
PF ff(int);
END.