我正在阅读Rainer Grimm的书 C++20：Get the Details 中关于定义自己的视图类型的第5.1.7.2节，当时我决定修改所提供的代码示例，看看它是否适用于std::list。代码最终看起来像这样：

#include <concepts>
#include <iostream>
#include <list>
#include <ranges>
#include <vector>

template <std::ranges::input_range Range>
  requires std::ranges::view<Range>
class ContainerView : public std::ranges::view_interface<ContainerView<Range>> {
  private:
  std::ranges::iterator_t<Range> begin_ {};
  std::ranges::sentinel_t<Range> end_ {};
  Range range_ {};

  public:
  constexpr ContainerView() = default;

  constexpr ContainerView(Range r)
      : begin_(std::begin(r))
      , end_(std::end(r))
      , range_(std::move(r))
  {
  }

  constexpr auto begin() const { return begin_; }
  constexpr auto end() const { return end_; }
};

int main()
{
  std::list my_list { 1, 2, 3 };
  auto my_container_view { ContainerView(std::views::all(my_list)) };

  for (auto const& c : my_container_view)
    std::cout << c << '\n';
}

字符串
该程序使用x86-64 clang++ v17.0.1和标志-std=c++20 -fsanitize=undefined -fsanitize=address -Wall -Wextra -Werror成功编译，并且在运行时，它打印数字1，2和3，并按预期正常退出。
然而，出于好奇，当我将main函数修改为将my_list Package 在对std::move的调用中并将其传递给std::views::all时，程序似乎陷入了无限递归中，反复打印列表中的元素。

int main()
{
  std::list my_list { 1, 2, 3 };
  auto my_container_view { ContainerView(std::views::all(std::move(my_list))) };

  for (auto const& c : my_container_view)
    std::cout << c << '\n';
}

型
我发现奇怪的是，当我简单地将std::list交换为std::vector并保持其余代码不变时，程序会打印每个元素一次并优雅地退出：

int main()
{
  std::vector my_vec { 1, 2, 3 };
  auto my_container_view { ContainerView(std::views::all(std::move(my_vec))) };

  for (auto const& c : my_container_view)
    std::cout << c << '\n';
}

型
当我删除ContainerView类型的间接性并直接在std::list上进行重定向时，我也没有得到异常行为：

int main()
{
  std::list my_list { 1, 2, 3 };

  for (auto const& c : std::move(my_list))
    std::cout << c << '\n';
}

型
假设代码的每个变体都可以编译并且不会产生编译时约束错误，那么在使用std::move和std::list以及自定义视图类型时，是否存在会导致明显的未定义行为的语义约束？