命名空间
变体
操作

std::regular (自 C++20 起)

来自 cppreference.com
< cpp‎ | concepts
定义在头文件 <concepts>
template< class T >
concept regular = std::semiregular<T> && std::equality_comparable<T>;
(自 C++20 起)

regular 概念指定了一个类型是正则的,也就是说,它是可复制的、默认可构造的,并且是可比较的。它适用于行为类似于内置类型(如 int)并且可以使用 == 进行比较的类型。

[编辑] 示例

#include <concepts>
#include <iostream>
 
template<std::regular T>
struct Single
{
    T value;
    friend bool operator==(const Single&, const Single&) = default;
};
 
int main()
{
    Single<int> myInt1{4};
    Single<int> myInt2;
    myInt2 = myInt1;
 
    if (myInt1 == myInt2)
        std::cout << "Equal\n";
 
    std::cout << myInt1.value << ' ' << myInt2.value << '\n';
}

输出

Equal
4 4

[编辑] 参考

  • C++23 标准 (ISO/IEC 14882:2024)
  • 18.6 对象概念 [concepts.object]
  • C++20 标准 (ISO/IEC 14882:2020)
  • 18.6 对象概念 [concepts.object]

[编辑] 另请参见

指定一个类型的对象可以被复制、移动、交换和默认构造
(概念) [编辑]