千层面大师

术语

你已经在前几个概念里用过、也写过 C++ 函数了。现在该深入技术细节了。 下面的代码片段列出了最常见的术语，方便随时查阅。 由于 C++ 会忽略空白字符，这里的排版做了调整，把每个元素放在单独一行。

// Function declaration:
bool                                              // Return type
admin_detected(string user, string password)      // Type signature
;                                                 // Don't forget the ';' for the declaration

// Function definition:
bool                                              // Return type
admin_detected                                    // Function name
(string user, string password)                    // Parameter list
{ return user == "admin" && password == "1234"; } // Function body

const限定符

有时你需要确保值在初始化之后不能再被修改。 C++ 用 const 关键字作为常量的限定符。

const int number_of_dragon_balls{7};
number_of_dragon_balls--; // compilation error

如果你试图在设置之后再修改一个常量变量，代码就无法编译。 这有助于避免意外的修改，同时也给编译器带来了优化空间。 对人来说，如果你知道某些部分不会受到影响，也更容易推理代码的行为。

你也可以把 const 用作函数形参的限定符。

string guess_number(const int& secret, const int& guess) {
    if (secret < guess) return "lower.";
    if (secret > guess) return "higher.";
    return "exact!";
}

当你把 const 引用传给函数时，就能确定它不会被改动。 你经常会看到用 const 引用来传递那些复制起来可能代价很高的对象，比如较长的字符串。 const 限定符的第三种用法，是那些不修改类实例的成员函数。

class Stubborn {
    public:
    Stubborn(string reply) {
        response = reply;
    }
    string answer(const string& question) const {
        if (question.length() == 0) { return ""; }
        return response;
    }
    private:
    string response{};
};

Stubborn 的成员函数 answer 使用了一个 const string& 引用作为形参。 这样就避免了从传给函数的原对象进行复制操作。

函数重载

如果形参列表不同，多个函数可以重名。 这叫做函数重载，通常在这些函数执行非常相似的任务时使用。

函数头去掉返回类型，就是函数的类型签名。 类型签名一变，就产生一个新的函数。

play_sound 这个例子有六个不同的重载版本，以适应不同的场景：

// different argument types:
void play_sound(char note);         // C, D, E, ..., B
void play_sound(string solfege);    // do, re, mi, ..., ti
void play_sound(int jianpu);        // 1, 2, 3, ..., 7

// different number of arguments:
void play_sound(string solfege, double duration);

// different qualifiers:
void play_sound(vector<string>& solfege);
void play_sound(const vector<string>& solfege);

默认实参

有些函数会变得非常长，而它的许多调用可能对大部分形参都使用相同的值。 这些调用中的重复可以用默认实参来避免。

void record_new_horse_birth(string name, int weight, string color="brown-ish", string dam="Alruccaba", string sire="Poseidon");

record_new_horse_birth("Urban Sea", 130); // color will be brown, dam "Alruccabam", sire "Poseidon"
record_new_horse_birth("Highclere", 175, "off-white", "Fall Aspen");   // sire will be "Poseidon"

由于函数声明往往在定义之前就被读到，在那里设置默认实参是更好的做法。 如果一个形参有默认声明，那么它右侧的所有形参也都需要有默认声明。 有时，复杂的函数重载可以重构为数量更少、带默认实参的函数，以提高可维护性。