C++20 概念检查类似元组的类型

Question

我想为类似元组的类型创建一个概念。类似元组的类型应该是这样的，比如 std::pair , std::tuple和 std::array ，提供编译时已知数量的类型，可通过编译时索引 get<size> 访问。功能。
我是新概念，我不知道从哪里开始。不幸的是，STL 在<concepts> 中似乎没有这样的概念。标题。
例如，我可以写:

template<typename T>
concept tuple_like = requires(T value)
{
    std::invoke(get<0>, value);
};

但我不知道如何概括 0成为任何索引。

Answer 1

标准定义了仅展示概念 pair-like和 has-tuple-element在 [range.subrange]和 [range.elements.view]分别，我们可以将它们扩展到 tuple-like概念:

template<class T, std::size_t N>
concept has_tuple_element =
  requires(T t) {
    typename std::tuple_element_t<N, std::remove_const_t<T>>;
    { get<N>(t) } -> std::convertible_to<const std::tuple_element_t<N, T>&>;
  };

template<class T>
concept tuple_like = !std::is_reference_v<T> 
  && requires(T t) { 
    typename std::tuple_size<T>::type; 
    requires std::derived_from<
      std::tuple_size<T>, 
      std::integral_constant<std::size_t, std::tuple_size_v<T>>
    >;
  } && []<std::size_t... N>(std::index_sequence<N...>) { 
    return (has_tuple_element<T, N> && ...); 
  }(std::make_index_sequence<std::tuple_size_v<T>>());

Demo.
请务必查看 P2165R2这也定义了一个类似的 tuple-like概念。