C++?requires關(guān)鍵字簡單介紹
requires 是 C++20 中引入的一個新關(guān)鍵字，用于在函數(shù)模板或類模板中聲明所需的一組語義要求，它可以用來限制模板參數(shù)，類似于 typename 和 class 關(guān)鍵字。
requires關(guān)鍵字常與type_traits頭文件下類型檢查函數(shù)匹配使用，當(dāng)requires后的表達(dá)式值為true時滿足requires條件，代表由其修飾的函數(shù)/類的模板參數(shù)合法，可以正常使用
requires 關(guān)鍵字可以用于以下兩種情況：
- 在函數(shù)模板或成員函數(shù)中，使用
requires關(guān)鍵字限制函數(shù)模板或成員函數(shù)的參數(shù)或返回值必須滿足一定的語義要求。例如：
template <typename T>
void print(T t) requires std::is_integral_v<T> {
std::cout << t << std::endl;
}在這個例子中，使用 requires 關(guān)鍵字限制函數(shù)模板參數(shù) T 必須是整數(shù)類型。
- 在類模板或成員類中，使用
requires關(guān)鍵字限制類模板或成員類必須滿足一定的語義要求。例如：
template <typename T>
requires std::is_integral_v<T>
class IntContainer {
public:
IntContainer(T t) : value_{t} {}
private:
T value_;
};在這個例子中，使用 requires 關(guān)鍵字限制類模板參數(shù) T 必須是整數(shù)類型。
需要注意的是，requires 關(guān)鍵字僅能用于函數(shù)模板和類模板中，不能用于非模板函數(shù)和非模板類。此外，requires 關(guān)鍵字的語義要求必須在編譯時可驗證，否則將引發(fā)編譯時錯誤。
#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)鍵字簡介的文章就介紹到這了,更多相關(guān)C++ requires關(guān)鍵字內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！
相關(guān)文章
Qt是一個廣泛使用的跨平臺應(yīng)用程序框架,它提供了許多功能,包括數(shù)據(jù)庫訪問,這篇文章主要給大家介紹了關(guān)于Qt中如何訪問數(shù)據(jù)庫的相關(guān)資料,文中通過代碼介紹的非常詳細(xì),需要的朋友可以參考下2024-07-07
C++構(gòu)造函數(shù)的一些注意事項總結(jié)
構(gòu)造函數(shù)是創(chuàng)建類對象,并且在創(chuàng)建完成前,對類進(jìn)行初始化的特殊函數(shù),下面這篇文章主要給大家介紹了關(guān)于C++構(gòu)造函數(shù)的一些注意事項,需要的朋友可以參考下2021-11-11
這篇文章主要介紹了C++ 仿函數(shù)使用講解,本篇文章通過簡要的案例,講解了該項技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下2021-09-09
C++實現(xiàn)LeetCode(23.合并k個有序鏈表)
這篇文章主要介紹了C++實現(xiàn)LeetCode(23.合并k個有序鏈表),本篇文章通過簡要的案例,講解了該項技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下2021-07-07
本篇文章是對在C語言調(diào)試中，鎖定錯誤的方法進(jìn)行了詳細(xì)的分析介紹，需要的朋友參考下2013-05-05
C++實現(xiàn)學(xué)生信息管理系統(tǒng)(Map實現(xiàn))
這篇文章主要為大家詳細(xì)介紹了C++實現(xiàn)學(xué)生信息管理系統(tǒng)，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下2022-06-06
迭代器（iterator）是一種用于遍歷數(shù)據(jù)集合的的對象,它提供了一種訪問數(shù)據(jù)集合中元素的方式,而無需暴露數(shù)據(jù)集合內(nèi)部的細(xì)節(jié),使用迭代器,我們可以對數(shù)據(jù)集合中的每個元素進(jìn)行處理,本文介紹了C++中關(guān)于vector迭代器失效問題的原因及解決方案,需要的朋友可以參考下2024-09-09
這篇文章主要介紹了VC中SDK與MFC的區(qū)別淺析,需要的朋友可以參考下2014-07-07
Qt?TCP網(wǎng)絡(luò)通信學(xué)習(xí)
用于數(shù)據(jù)傳輸?shù)牡蛯泳W(wǎng)絡(luò)協(xié)議，多個物聯(lián)網(wǎng)協(xié)議都是基于TCP協(xié)議的，這篇文章為大家介紹了Qt?TCP網(wǎng)絡(luò)通信，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下2022-08-08
核密度估計是用于估計隨機(jī)變量概率密度函數(shù)的一種非參數(shù)方法。核密度圖不失為一種用來觀察連續(xù)型變量分布的有效方法。本文將用Matlab實現(xiàn)帶豎線散點的核密度圖的繪制，感興趣的可以了解一下2022-08-08