鴻蒙OS 4.0公測機型公布：甚至連nova6都支持
華為全新的HarmonyOS 4.0操作系統將于今天下午正式登場，官方在發布會之前也已經正式給出了可升級的機型產品，這意味著這些機型會率先支持升級享用。這次的HarmonyOS 4.0支持
您也可以為獨立的函數編寫模板。其語法與類模板類似。例如，您可以編寫以下通用函數來在數組中查找一個值并返回其索引：
static const size_t NOT_FOUND { static_cast<size_t>(-1) };template <typename T>size_t Find(const T& value, const T* arr, size_t size) { for (size_t i { 0 }; i < size; i++) { if (arr[i] == value) { return i; // 找到了; 返回索引。 } } return NOT_FOUND; // 沒找到; 返回 NOT_FOUND。}注意：當然，當元素未找到時，您可以不返回某種哨兵值（如 NOT_FOUND），而是改寫此代碼以返回 std::optional<size_t> 而不是 size_t。這將是使用 optional 的有趣練習。
Find() 函數模板可以在任何類型的數組上工作。例如，您可以用它來在 int 數組中查找 int 的索引，或者在 SpreadsheetCell 數組中查找 SpreadsheetCell。您可以通過兩種方式調用該函數：顯式地用尖括號指定類型參數，或者省略類型并讓編譯器從參數中推斷出類型參數。以下是一些示例：
int myInt { 3 }, intArray[] {1, 2, 3, 4};const size_t sizeIntArray { size(intArray) };size_t res;// 通過推斷調用 Find<int>。res = Find(myInt, intArray, sizeIntArray);// 顯式地調用 Find<int>。res = Find<int>(myInt, intArray, sizeIntArray);// 其他示例double myDouble { 5.6 }, doubleArray[] {1.2, 3.4, 5.7, 7.5};const size_t sizeDoubleArray { size(doubleArray) };// 通過推斷調用 Find<double>。res = Find(myDouble, doubleArray, sizeDoubleArray);// 顯式地調用 Find<double>。res = Find<double>(myDouble, doubleArray, sizeDoubleArray);SpreadsheetCell cell1 { 10 }SpreadsheetCell cellArray[] { SpreadsheetCell { 4 }, SpreadsheetCell { 10 } };const size_t sizeCellArray { size(cellArray) };res = Find(cell1, cellArray, sizeCellArray);res = Find<SpreadsheetCell>(cell1, cellArray, sizeCellArray);之前的 Find() 函數實現需要作為參數之一的數組大小。有時編譯器知道數組的確切大小，例如，對于基于堆棧的數組。能夠在不需要傳遞數組大小的情況下調用 Find() 會很方便。這可以通過添加以下函數模板來實現。實現只是將調用轉發到之前的 Find() 函數模板。這也表明，函數模板可以像類模板一樣接受非類型參數。
template <typename T, size_t N>size_t Find(const T& value, const T(&arr)[N]) { return Find(value, arr, N);}這個版本的 Find() 語法看起來有點奇怪，但其使用非常直接，如下例所示：
int myInt { 3 }, intArray[] {1, 2, 3, 4};size_t res { Find(myInt, intArray) };與類模板方法定義一樣，函數模板的定義（不僅僅是原型）必須對使用它們的所有源文件可用。因此，如果多個源文件使用它們，您應該將定義放在模
塊接口文件中并導出它們。
最后，函數模板的模板參數可以像類模板一樣有默認值。
注意：C++ 標準庫提供了一個比這里展示的 Find() 函數模板更強大的 std::find() 函數模板。
理論上，C++ 語言允許您編寫函數模板特化，就像您可以編寫類模板特化一樣。然而，您很少需要這樣做，因為這樣的函數模板特化不參與重載解析，因此可能表現出意外的行為。相反，您可以用非模板函數重載函數模板。例如，您可能想為 const char* 類型的 C 風格字符串編寫一個 Find() 重載，這個重載使用 strcmp()來比較，而不是用 operator==，因為 == 只會比較指針，而不是實際的字符串。以下是這樣的重載：
size_t Find(const char* value, const char** arr, size_t size) { for (size_t i { 0 }; i < size; i++) { if (strcmp(arr[i], value) == 0) { return i; // 找到了; 返回索引。 } } return NOT_FOUND; // 沒找到; 返回 NOT_FOUND。}這個函數重載的使用方式如下：
const char* word { "two" };const char* words[] { "one", "two", "three", "four" };const size_t sizeWords { size(words) };size_t res { Find(word, words, sizeWords) }; // 調用非模板函數。如果您顯式指定模板類型參數，如下所示，那么將調用函數模板，其中 T=const char，而不是 const char
res = Find<const char*>(word, words, sizeWords);在選擇重載函數模板時，應該考慮到函數模板特化可能不參與重載解析的規則。通常，重載函數模板與非模板函數是一種更安全且可預測的方法，特別是當涉及到特定類型的特定處理，如在處理 C 風格字符串時使用 strcmp() 而不是默認的等號運算符。
當您想在類模板中重載運算符時，函數模板非常有用。例如，您可能想為 Grid 類模板重載加法運算符（operator+），以便將兩個網格相加。結果將是一個與兩個操作數中較小的 Grid 同等大小的 Grid。僅當兩個單元格都包含實際值時，才會相加對應的單元格。假設您想讓您的 operator+ 成為一個獨立的函數模板。定義應該放在 Grid.cppm 模塊接口文件中，如下所示。該實現使用 <algorithm> 中定義的 std::min() 來返回兩個給定參數的最小值：
export template <typename T>Grid<T> operator+(const Grid<T>& lhs, const Grid<T>& rhs) { size_t minWidth { std::min(lhs.getWidth(), rhs.getWidth()) }; size_t minHeight { std::min(lhs.getHeight(), rhs.getHeight()) }; Grid<T> result { minWidth, minHeight }; for (size_t y { 0 }; y < minHeight; ++y) { for (size_t x { 0 }; x < minWidth; ++x) { const auto& leftElement { lhs.m_cells[x][y] }; const auto& rightElement { rhs.m_cells[x][y] }; if (leftElement.has_value() && rightElement.has_value()) { result.at(x, y) = leftElement.value() + rightElement.value(); } } } return result;}要查詢一個 optional 是否包含實際值，您使用 has_value() 方法，而 value() 用于檢索這個值。這個函數模板適用于任何 Grid，只要網格中存儲的元素類型有加法運算符。這個實現的唯一問題是它訪問了 Grid 類的私有成員 m_cells。一個顯而易見的解決方案是使用公共 at() 方法，但讓我們看看如何讓函數模板成為類模板的友元。
在此示例中，您可以使運算符成為 Grid 類的友元。然而，Grid 類和 operator+ 都是模板。您真正想要的是，對于特定類型 T 的每個 operator+ 實例化，都是同一類型的 Grid 模板實例化的友元。語法如下：
// 前向聲明 Grid 模板。export template <typename T>class Grid;// templatized operator+ 的原型。export template <typename T>Grid<T> operator+(const Grid<T>& lhs, const Grid<T>& rhs);export template <typename T>class Grid {public: friend Grid operator+<T>(const Grid& lhs, const Grid& rhs); // 省略其他內容};這種友元聲明很微妙：您在說，對于類型 T 的模板實例，operator+ 的 T 實例化是一個友元。換句話說，類實例化和函數實例化之間存在一對一的友元映射。特別注意 operator+ 上的顯式模板規范 <T>。這個語法告訴編譯器 operator+ 本身是一個模板。
編譯器根據傳遞給函數模板的參數推斷函數模板參數的類型。無法推斷的模板參數必須明確指定。例如，以下 add() 函數模板需要三個模板參數：返回值的類型和兩個操作數的類型：
template <typename RetType, typename T1, typename T2>RetType add(const T1& t1, const T2& t2) { return t1 + t2;}您可以通過以下方式調用此函數模板，明確指定所有三個參數：
auto result { add<long long, int, int>(1, 2) };然而，因為模板參數 T1 和 T2 是函數的參數，編譯器可以推斷這兩個參數，所以您可以只指定返回值類型來調用 add()：
auto result { add<long long>(1, 2) };這只有在要推斷的參數位于參數列表的最后時才有效。假設函數模板如下定義：
template <typename T1, typename RetType, typename T2>RetType add(const T1& t1, const T2& t2) { return t1 + t2;}您必須指定 RetType，因為編譯器無法推斷該類型。然而，由于 RetType 是第二個參數，您也必須顯式指定 T1：
auto result { add<int, long long>(1, 2) };您還可以為返回類型模板參數提供默認值，以便在不指定任何類型的情況下調用 add()：
template <typename RetType = long long, typename T1, typename T2>RetType add(const T1& t1, const T2& t2) { return t1 + t2;}...auto result { add(1, 2) };本文鏈接：http://www.tebozhan.com/showinfo-26-53349-0.htmlC++函數模板詳解,輕松實現通用函數
聲明：本網頁內容旨在傳播知識，若有侵權等問題請及時與本網聯系，我們將在第一時間刪除處理。郵件：2376512515@qq.com
Copyright ? 2016-2023 天津谷騏科技有限公司 版權所有 sitemap.xml
違法及侵權請聯系：2376512515@qq.com 津ICP備18001702號
津公網安備 12010102000574號