## Function ### 頭文件: `"boost/function.hpp"` 頭文件 `"function.hpp"` 包含了帶有從0到10個參數的函數原型(這是實現所定義的，在當前實現中缺省的上限就是10\[1\])。你也可以根據你的需要，只包含相應參數數量的頭文件，文件名為 `"function/functionN.hpp"`, 其中N可以從0到10。Boost.Function有兩種不同的接口，其中一種的好處在于它的語法接近于函數聲明(而且不要求函數的簽名包含參數的數量)，另一種接口的好處在于可以在多個編譯器中工作。選擇哪一種接口，至少部分地取決于你使用的編譯器。如果可以，就使用我們稱為首選語法(preferred syntax)的那種。在本章中，兩種格式都會用到。 > \[1\] Boost.Function 可以配置為支持多達127個參數。 ### 使用首選語法的聲明 一個 `function` 的聲明包括該 `function` 所兼容的函數或函數對象的簽名以及返回類型。結果以及參數的類型以單個參數的方式全部提供給模板。例如，聲明一個 `function` ，它返回 `bool` 并接受一個類型 `int` 的參數，如下： ``` boost::function<bool (int)> f; ``` 可以在括號中給出參數列表，以逗號分隔，就象普通的函數聲明一樣。所以，聲明一個沒有返回值(`void`)并帶有類型分別為 `int` 和 `double` 的兩個參數的函數，就象這樣： ``` boost::function<void (int,double)> f; ``` ### 使用兼容語法的聲明 聲明 `function`s 的第二種方法是，分別給出函數調用的返回類型及參數類型作為模板類型參數。并且，要在 `function` 類的名字中加上后綴，后綴是一個表示 `function` 可接受的參數數量的整數。例如，聲明一個返回 `bool` 并接受一個類型 `int` 的參數的函數，方法如下： ``` boost::function1<bool,int> f; ``` 這里的數字是對應函數可接受的參數數量，在上例中有一個參數(`int`)，所以是 `function1` 。更多的參數就意味著要給出更多的模板類型參數并且改變這個數字后綴。一個 `function` ，返回 `void` 并接受類型為 `int` 和 `double` 的兩個參數，如下： ``` boost::function2<void,int,double> f; ``` 事實上，這個庫由一組類組成，其中每個類帶有不同數量的參數。如果包含頭文件 `"function.hpp"` 就無需關心這一點，但如果包含帶數字的頭文件，你就必須包含正確數字的頭文件。 首選語法更容易閱讀，也更象在聲明一個函數，所以你應該盡可能使用它。不幸的是，雖然首選語法是完全 合法的C++并且更易讀，但是還不是所有編譯器都可以支持它。如果你的編譯器正好不能處理這種語法，你就必須使用另一種格式。如果你需要編寫最大兼容性的 代碼，你也只能選擇使用另一種格式。讓我們來看一下 `function` 的接口中最重要的部分。 ### 成員函數 ``` function(); ``` 缺省構造函數創建一個空的函數對象。如果一個空的 `function` 被調用，將會拋出一個類型為 `bad_function_call` 的異常。 ``` template <typename F> function(F g); ``` 這個泛型的構造函數接受一個兼容的函數對象，即這樣一個函數或函數對象，它的返回類型與被構造的 `function` 的返回類型或者一樣，或者可以隱式轉換，并且它的參數也要與被構造的 `function` 的參數類型或者一樣，或者可以隱式轉換。注意，也可以使用另外一個 `function` 實例來進行構造。如果這樣做，并且 `function f` 為空，則被構造的 function 也為空。使用空的函數指針和空的成員函數指針也會產生空的 `function` 。 ``` template <typename F> function(reference_wrapper<F> g); ``` 這個構造函數與前一個類似，但它接受的函數對象包裝在一個 `reference_wrapper` 中，這用以避免通過值來傳遞而產生函數或函數對象的一份拷貝。這同樣要求函數對象兼容于 `function` 的簽名。 ``` function& operator=(const function& g); ``` 賦值操作符保存 `g` 中的函數或函數對象的一份拷貝；如果 `g` 為空，被賦值的函數也將為空。 ``` template<typename F> function& operator=(F g); ``` 這個泛型賦值操作符接受一個兼容的函數指針或函數對象。注意，也可以用另一個 `function` 實例(帶有不同但兼容的簽名)來賦值。這同樣意味著，如果 `g` 是另一個 `function` 實例且為空，則賦值后的函數也為空。賦值一個空的函數指針或空的成員函數指針也會使 `function` 為空。 ``` bool empty() const; ``` 這個成員函數返回一個布爾值，表示該 function 是含有一個函數/函數對象或是為空。如果有一個目標函數或函數對象可被調用，它返回 `false` 。因為一個 function 可以在一個布爾上下文中測試，或者與0進行比較，因此這個成員函數可能會在未來版本的庫中被取消，你應該避免使用它。 ``` void clear(); ``` 這個成員函數清除 `function`, 即它不再關聯到一個函數或函數對象。如果 function 已經是空的，這個調用沒有影響。在調用后，function 肯定為空。令一個 function 為空的首選方法是賦0給它；`clear` 可能在未來版本的庫中被取消。 ``` operator safe_bool() const ``` 這個轉型函數返回一個未指定類型(由 `safe_bool` 表示)，它可以用于布爾上下文中。如果 `function` 為空，返回值為 `false`. 如果 function 中保存了一個函數指針或函數對象，則返回值為 `true`. 注意，使用一個不同于 `bool` 的類型，可以使得這個轉型函數十分安全且不會被重載干擾，同時還提供了直接在布爾上下文中測試 `function` 實例的慣用法。它等同于表達式 `!!f`, 其中 `f` 為一個 `function` 實例。 ``` result_type operator()(Arg1 a1, Arg2 a2, ..., ArgN aN) const; ``` 調用操作符是調用 `function` 的方法。你不能調用一個空的 `function` ，那樣會拋出一個 `bad_function_call` 異常，即當 `!f.empty()`, `if (f)`, 或 `if (!!f)` 返回 `true` 時。調用操作符的執行會調用 `function` 中的函數或函數對象，并返回它的結果。