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

相关推荐
健康的猪2 分钟前
golang的cgo的一点小心得
开发语言·后端·golang
夜夜敲码24 分钟前
C语言教程(十六): C 语言字符串详解
c语言·开发语言
宋康31 分钟前
C语言结构体和union内存对齐
c语言·开发语言
居然是阿宋40 分钟前
Kotlin高阶函数 vs Lambda表达式:关键区别与协作关系
android·开发语言·kotlin
ChoSeitaku1 小时前
17.QT-Qt窗口-工具栏|状态栏|浮动窗口|设置停靠位置|设置浮动属性|设置移动属性|拉伸系数|添加控件(C++)
c++·qt·命令模式
Cao1234567893211 小时前
简易学生成绩管理系统(C语言)
c语言·开发语言
The Future is mine1 小时前
C# new Bitmap(32043, 32043, PixelFormat.Format32bppArgb)报错:参数无效,如何将图像分块化处理?
开发语言·c#
亿坊电商1 小时前
PHP框架在微服务迁移中能发挥什么作用?
开发语言·微服务·php
烁3471 小时前
每日一题(小白)模拟娱乐篇33
java·开发语言·算法
坐吃山猪2 小时前
Python-Agent调用多个Server-FastAPI版本
开发语言·python·fastapi