快捷導(dǎo)航

C++?requires關(guān)鍵字簡(jiǎn)單介紹

更新時(shí)間：2023年05月15日 08:56:31 作者：ShaoBing

requires?是?C++20?中引入的一個(gè)新關(guān)鍵字，用于在函數(shù)模板或類模板中聲明所需的一組語(yǔ)義要求，它可以用來(lái)限制模板參數(shù)，類似于?typename?和?class?關(guān)鍵字，這篇文章主要介紹了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)文章

一篇文章詳解Qt中如何訪問(wèn)數(shù)據(jù)庫(kù)
Qt是一個(gè)廣泛使用的跨平臺(tái)應(yīng)用程序框架,它提供了許多功能,包括數(shù)據(jù)庫(kù)訪問(wèn),這篇文章主要給大家介紹了關(guān)于Qt中如何訪問(wèn)數(shù)據(jù)庫(kù)的相關(guān)資料,文中通過(guò)代碼介紹的非常詳細(xì),需要的朋友可以參考下
2024-07-07
C++構(gòu)造函數(shù)的一些注意事項(xiàng)總結(jié)
構(gòu)造函數(shù)是創(chuàng)建類對(duì)象,并且在創(chuàng)建完成前,對(duì)類進(jìn)行初始化的特殊函數(shù),下面這篇文章主要給大家介紹了關(guān)于C++構(gòu)造函數(shù)的一些注意事項(xiàng),需要的朋友可以參考下
2021-11-11
C++ 仿函數(shù)使用講解
這篇文章主要介紹了C++ 仿函數(shù)使用講解,本篇文章通過(guò)簡(jiǎn)要的案例,講解了該項(xiàng)技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下
2021-09-09
C++實(shí)現(xiàn)LeetCode(23.合并k個(gè)有序鏈表)
這篇文章主要介紹了C++實(shí)現(xiàn)LeetCode(23.合并k個(gè)有序鏈表),本篇文章通過(guò)簡(jiǎn)要的案例,講解了該項(xiàng)技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下
2021-07-07
C語(yǔ)言調(diào)試手段:鎖定錯(cuò)誤的實(shí)現(xiàn)方法
本篇文章是對(duì)在C語(yǔ)言調(diào)試中，鎖定錯(cuò)誤的方法進(jìn)行了詳細(xì)的分析介紹，需要的朋友參考下
2013-05-05
C++實(shí)現(xiàn)學(xué)生信息管理系統(tǒng)(Map實(shí)現(xiàn))
這篇文章主要為大家詳細(xì)介紹了C++實(shí)現(xiàn)學(xué)生信息管理系統(tǒng)，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下
2022-06-06
C++中vector迭代器失效問(wèn)題的原因及解決方案
迭代器（iterator）是一種用于遍歷數(shù)據(jù)集合的的對(duì)象,它提供了一種訪問(wèn)數(shù)據(jù)集合中元素的方式,而無(wú)需暴露數(shù)據(jù)集合內(nèi)部的細(xì)節(jié),使用迭代器,我們可以對(duì)數(shù)據(jù)集合中的每個(gè)元素進(jìn)行處理,本文介紹了C++中關(guān)于vector迭代器失效問(wèn)題的原因及解決方案,需要的朋友可以參考下
2024-09-09
VC中SDK與MFC的區(qū)別淺析
這篇文章主要介紹了VC中SDK與MFC的區(qū)別淺析,需要的朋友可以參考下
2014-07-07
Qt?TCP網(wǎng)絡(luò)通信學(xué)習(xí)
用于數(shù)據(jù)傳輸?shù)牡蛯泳W(wǎng)絡(luò)協(xié)議，多個(gè)物聯(lián)網(wǎng)協(xié)議都是基于TCP協(xié)議的，這篇文章為大家介紹了Qt?TCP網(wǎng)絡(luò)通信，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下
2022-08-08
Matlab實(shí)現(xiàn)帶豎線散點(diǎn)的核密度圖的繪制
核密度估計(jì)是用于估計(jì)隨機(jī)變量概率密度函數(shù)的一種非參數(shù)方法。核密度圖不失為一種用來(lái)觀察連續(xù)型變量分布的有效方法。本文將用Matlab實(shí)現(xiàn)帶豎線散點(diǎn)的核密度圖的繪制，感興趣的可以了解一下
2022-08-08