[C++20]コンセプト

サンプルにあるのだが、次のような定義を書くことで、movableなTと、movableでないTに分けることができる。とても興味深い。

namespace std {

template<class T>

concept movable = ...;

}

template<std::movable T>

void f(const char* name) {

  std::cout << name << " is movable" << std::endl;

}

template<typename T>

void f(const char* name) {

  std::cout << name << " is not movable" << std::endl;

}

f<int>("int");

f<void>("void");