c++ Constraints 和 concepts介绍

C++20 引入了 Concepts,以改进模板编程的体验。Concepts 是一种用于模板编程的新机制,它允许程序员在编译时对模板参数进行约束和限制,从而提高模板的可读性、可维护性和错误检测能力。

Constraints(约束)是 Concepts 的一部分,它定义了模板参数必须满足的条件。一个约束可以是一个简单的布尔表达式,也可以是一个使用 requires 关键字的复杂约束语句。

Xcode项目设置-std=c++20

  1. 在 "Build Settings" 选项卡中,找到 "C++ Language Dialect" 和 "C++ Standard Library" 选项。
  2. 将 "C++ Language Dialect" 设置为 "C++20"
复制代码
#include <iostream>
#include <concepts>

// 定义一个概念(Concepts),要求类型 T 必须支持加法操作
template <typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::same_as<T>; // a + b 的结果类型必须是 T 类型
};

// 使用 Concepts 约束函数模板的模板参数
template <Addable T>
T add(T a, T b) {
    return a + b;
}

int main() {
    int result1 = add(5, 3); // 正确:int 类型支持加法操作
    std::cout << "5 + 3 = " << result1 << std::endl;

    // 下面这行代码会导致编译错误,因为 std::string 不满足 Addable 概念
    // std::string result2 = add("Hello, ", "world!");

    return 0;
}

参考:

https://en.cppreference.com/w/cpp/language/constraints

相关推荐
Zhen (Evan) Wang几秒前
(豆包)xgb.XGBRegressor 如何进行参数调优
开发语言·python
虾球xz14 分钟前
CppCon 2018 学习:THE MOST VALUABLE VALUES
开发语言·c++·学习
阿蒙Amon1 小时前
C#扩展方法全解析:给现有类型插上翅膀的魔法
开发语言·c#
尘浮7281 小时前
60天python训练计划----day59
开发语言·python
Chef_Chen2 小时前
从0开始学习R语言--Day39--Spearman 秩相关
开发语言·学习·r语言
不学会Ⅳ2 小时前
Mac M芯片搭建jdk源码环境(jdk24)
java·开发语言·macos
2401_881244402 小时前
牛客周赛99
c++
好开心啊没烦恼3 小时前
Python 数据分析:计算,分组统计1,df.groupby()。听故事学知识点怎么这么容易?
开发语言·python·数据挖掘·数据分析·pandas
lljss20204 小时前
Python11中创建虚拟环境、安装 TensorFlow
开发语言·python·tensorflow
山登绝顶我为峰 3(^v^)35 小时前
如何录制带备注的演示文稿(LaTex Beamer + Pympress)
c++·线性代数·算法·计算机·密码学·音视频·latex