千層麵大師

術語

你已經在幾個概念裡用過也寫過 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"

由於函式宣告通常比定義更早被讀到，所以在宣告裡設定預設引數是比較好的做法。如果某個參數有預設值，它右邊的所有參數也都必須有預設值。有時候可以把複雜的函式多載重構成較少的函式並搭配預設引數，來提升可維護性。