
概念库
文章平均质量分 55
概念库提供基础语言概念的定义,它们能用于进行模板实参的编译时校验,以及基于类型属性的函数派发。这些概念在程序中提供等式推理的基础。
繁星璀璨G
单身,求对象
展开
-
C++标准模板(STL)- 概念库 (C++20) - 指定能复制构造和移动构造一个类型的对象 - (std::copy_constructible)
概念 copy_constructible 若符合这些条件则得到满足: T 为左值引用类型,或若它是 move_constructible 对象类型,而能从(可为 const 的)该类型左值或 const 右值,在直接和复制初始化语境中以通常语义构造该类型对象(构造副本而不更改源)。原创 2024-07-27 08:30:00 · 549 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定能移动构造一个类型的对象 - (std::move_constructible)
概念 move_constructible 若符合这些条件则得到满足, T 为引用类型,或它是对象类型,并且能在直接和复制初始化语境中,以通常语义从该类型右值构造该类型对象。原创 2024-07-26 08:30:00 · 251 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定能默认构造一个类型的对象 - (std::default_constructible)
default_constructible 概念为问题为类型能否以无参数构造时的常见情况,提供简便方式。原创 2024-07-25 08:30:00 · 292 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定该类型的变量能从一组实参类型进行构造,或绑定到一组实参类型 - (std::constructible_from)
constructible_from 概念指定 T 类型变量能以给定的参数类型集 Args... 初始化。原创 2024-07-24 08:30:00 · 331 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定能销毁该类型的对象 - (std::destructible)
概念 destructible 指定能在实例生存期结尾安全销毁的所有类型(包含引用类型)的概念。原创 2024-07-23 08:30:00 · 295 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定类型为浮点类型 - (std::floating_point)
概念 floating_point 当且仅当 T 为浮点类型才得到满足。原创 2024-07-22 08:30:00 · 385 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定类型为无符号的整型类型 - (std::unsigned_integral)
概念 unsigned_integral 若且唯若 T 是整数类型且 std::is_signed_v 为 false 才得到满足。原创 2024-07-21 08:30:00 · 706 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定类型为有符号的整型类型 - (std::signed_integral)
概念 signed_integral 若且唯若 T 为整数类型且 std::is_signed_v 为 true 才得到满足。.原创 2024-07-20 22:28:19 · 357 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定类型为整型类型 - (std::integral)
概念 integral 若且唯若 T 为整数类型才得到满足。原创 2024-07-19 08:30:00 · 396 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20) - 指定一个类型能隐式转换成另一类型 - (std::convertible_to)
概念 convertible_to 指定类型和值类别由 From 编码的表达式能隐式和显式转换成 To 类型,而二种转换形式等价。原创 2024-07-18 08:30:00 · 453 阅读 · 0 评论 -
C++标准模板(STL)- 概念库 (C++20)
概念库提供基础语言概念的定义,它们能用于进行模板实参的编译时校验,以及基于类型属性的函数派发。这些概念在程序中提供等式推理的基础。标准库中的大多数概念一同加上了语法及语义要求。通常,编译器只能检查语法要求。若在使用点语义要求未得到满足,则程序为病式,不要求诊断。原创 2024-07-15 08:30:00 · 684 阅读 · 0 评论