#include <iostream>
#include <concepts>
#include <iterator>
#include <memory>
#include <vector>

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

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


struct sample_input_iterator {
  // *thisの参照を返さなければならない（戻り値型は自身の参照型）
  friend auto operator++(sample_input_iterator&) -> sample_input_iterator&;
  // 戻り値型はvoidでも可
  friend auto operator++(sample_input_iterator&, int) -> sample_input_iterator;

  // const修飾されていなければならない
  // indirectly_readableコンセプトにおいて、iter_reference_tの結果がconst有無両方で一致することが求められる
  friend auto operator*(const sample_input_iterator&) -> int&;

  // 少なくともこの3つは必須
  using difference_type = int;
  using value_type = int;
  using iterator_concept = std::input_iterator_tag;
};


int main() {
  f<int*>("int*");
  f<const int*>("const int*");
  f<std::vector<int>::iterator>("std::vector<int>::iterator");
  f<std::istream_iterator<double>>("std::istream_iterator<double>");
  f<sample_input_iterator>("sample_input_iterator");

  std::cout << "\n";
  f<int* const>("int* const");
  f<std::ostream_iterator<double>>("std::ostream_iterator<double>");
}