std::semiregular(C++20)

namespace std {
  template<class T>
  concept semiregular = copyable<T> && default_initializable<T>;
}

概要

semiregularは、任意の型Tがcopyableコンセプトを満たし、それに加えてデフォルト構築可能であることを表すコンセプトである。

半正則（semiregular）な型とはint型などの基本型の様に扱うことができる型を表しているが、==による等値比較が必ずしも可能ではない。

例

#include <iostream>
#include <concepts>

template<std::semiregular T>
void f(const char* name) {
  std::cout << name << " is semiregular" << std::endl;
}

template<typename T>
void f(const char* name) {
  std::cout << name << " is not semiregular" << std::endl;
}


struct semiregular {
  semiregular() = default;
  semiregular(const semiregular&) = default;
  semiregular& operator=(const semiregular&) = default;
};

struct copyable {
  copyable(const copyable&) = default;
  copyable& operator=(const copyable&) = default;
};

int main() {
  f<int>("int");
  f<double>("double");
  f<std::nullptr_t>("std::nullptr_t");
  f<std::size_t>("std::size_t");
  f<semiregular>("semiregular");

  std::cout << "\n";
  f<void>("void");
  f<copyable>("copyable");
}

出力

int is semiregular
double is semiregular
std::nullptr_t is semiregular
std::size_t is semiregular
semiregular is semiregular

void is not semiregular
copyable is not semiregular

std::semiregular(C++20)

概要

例

出力

バージョン

言語

処理系

関連項目

参照