C++?requires關(guān)鍵字簡(jiǎn)單介紹
requires
是 C++20 中引入的一個(gè)新關(guān)鍵字,用于在函數(shù)模板或類模板中聲明所需的一組語(yǔ)義要求,它可以用來(lái)限制模板參數(shù),類似于 typename
和 class
關(guān)鍵字。
requires
關(guān)鍵字常與type_traits
頭文件下類型檢查函數(shù)匹配使用,當(dāng)requires
后的表達(dá)式值為true
時(shí)滿足requires
條件,代表由其修飾的函數(shù)/類的模板參數(shù)合法,可以正常使用
requires
關(guān)鍵字可以用于以下兩種情況:
- 在函數(shù)模板或成員函數(shù)中,使用
requires
關(guān)鍵字限制函數(shù)模板或成員函數(shù)的參數(shù)或返回值必須滿足一定的語(yǔ)義要求。例如:
template <typename T> void print(T t) requires std::is_integral_v<T> { std::cout << t << std::endl; }
在這個(gè)例子中,使用 requires
關(guān)鍵字限制函數(shù)模板參數(shù) T
必須是整數(shù)類型。
- 在類模板或成員類中,使用
requires
關(guān)鍵字限制類模板或成員類必須滿足一定的語(yǔ)義要求。例如:
template <typename T> requires std::is_integral_v<T> class IntContainer { public: IntContainer(T t) : value_{t} {} private: T value_; };
在這個(gè)例子中,使用 requires
關(guān)鍵字限制類模板參數(shù) T
必須是整數(shù)類型。
需要注意的是,requires
關(guān)鍵字僅能用于函數(shù)模板和類模板中,不能用于非模板函數(shù)和非模板類。此外,requires
關(guān)鍵字的語(yǔ)義要求必須在編譯時(shí)可驗(yàn)證,否則將引發(fā)編譯時(shí)錯(cuò)誤。
#include <iostream> class TestRequires { public: template <typename T> static void test(T t) requires std::is_integral_v<T> { std::cout << "test(T t) requires int" << std::endl; } template <typename T> static void test(T t) requires std::is_floating_point_v<T> { std::cout << "test(T t) requires float" << std::endl; } }; int main() { TestRequires::test(123); TestRequires::test(1.234); return 0; }
除此之外,requires
關(guān)鍵字也可以用于類型轉(zhuǎn)換前的檢查(假如函數(shù)內(nèi)需要):
template <typename T> int64_t unpack(T v) requires std::is_integral<T>::value {return static_cast<int64_t>(v);}
到此這篇關(guān)于C++ requires關(guān)鍵字簡(jiǎn)介的文章就介紹到這了,更多相關(guān)C++ requires關(guān)鍵字內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
C語(yǔ)言單鏈隊(duì)列的表示與實(shí)現(xiàn)實(shí)例詳解
這篇文章主要介紹了C語(yǔ)言單鏈隊(duì)列的表示與實(shí)現(xiàn),對(duì)于研究數(shù)據(jù)結(jié)構(gòu)與算法的朋友來(lái)說(shuō)很有參考借鑒價(jià)值,需要的朋友可以參考下2014-07-07C++ STL標(biāo)準(zhǔn)庫(kù)std::vector的使用詳解
vector 是表示可以改變大小的數(shù)組的序列容器,本文主要介紹了C++ STL標(biāo)準(zhǔn)庫(kù)std::vector的使用詳解,文中通過(guò)示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2022-03-03淺談C++高并發(fā)場(chǎng)景下讀多寫少的優(yōu)化方案
本文主要介紹了淺談C++高并發(fā)場(chǎng)景下讀多寫少的優(yōu)化方案,文中通過(guò)示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2022-01-01C++實(shí)現(xiàn)圖書信息管理系統(tǒng)
這篇文章主要為大家詳細(xì)介紹了C++實(shí)現(xiàn)圖書信息管理系統(tǒng),文中示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2022-03-03使用C語(yǔ)言實(shí)現(xiàn)本地socke通訊的方法
這篇文章主要介紹了?使用C語(yǔ)言實(shí)現(xiàn)本地socke通訊,代碼分為服務(wù)器代碼和客戶端代碼,代碼簡(jiǎn)單易懂,對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2021-12-12C++使用MySQL-Connector/C++連接MySQL出現(xiàn)LNK2019錯(cuò)誤的解決方法
這篇文章主要介紹了C++使用MySQL-Connector/C++連接MySQL出現(xiàn)LNK2019錯(cuò)誤的解決方法,具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2018-03-03