std:: semiregular

#include <concepts>
#include <iostream>
template<std::semiregular T>
// 致谢 Alexander Stepanov
// concepts 是对 T 的要求
// 对 T 的要求：T 是 semiregular
// T a(b); 或 T a = b; => 拷贝构造函数
// T a; => 默认构造函数
// a = b; => 赋值操作
struct Single
{
    T value;
    // Single 的聚合初始化行为类似于以下构造函数：
    // explicit Single(const T& x) : value(x) {}
    // 隐式声明的特殊成员函数行为类似于以下定义，
    // 但它们可能具有额外属性：
    // Single(const Single& x) : value(x.value) {}
    // Single() {}
    // ~Single() {}
    // Single& operator=(const Single& x) { value = x.value; return *this; }
    // 比较运算符未定义；`semiregular` concept 不要求此运算符
    // bool operator==(Single const& other) const = delete;
};
void print(std::semiregular auto x)
{
    std::cout << x.value << '\n';
}
int main()
{
    Single<int> myInt1{4};      // 聚合初始化：myInt1.value = 4
    Single<int> myInt2(myInt1); // 拷贝构造函数
    Single<int> myInt3;         // 默认构造函数
    myInt3 = myInt2;            // 拷贝赋值运算符
//  myInt1 == myInt2;           // 错误：operator== 未定义
    print(myInt1); // 正常：Single<int> 是 `semiregular` 类型
    print(myInt2);
    print(myInt3);
}   // Single<int> 变量在此处被销毁