C++23 中 default_constructible 范围适配器的含义是什么？

如何解决C++23 中 default_constructible 范围适配器的含义是什么？

自 C++23 起，view 不再需要为 default_constructible。对于 views::filter 和 views::transform 等范围适配器，其默认构造函数为 redefined 为：

template<input_­range V,indirect_­unary_­predicate<iterator_t<V>> Pred>
  requires view<V> && is_object_v<Pred>
class filter_view : public view_interface<filter_view<V,Pred>> {
private:
  V base_ = V();                              // exposition only
  copyable-box<Pred> pred_;                   // exposition only
public:
  filter_view() requires default_­initializable<V> && default_­initializable<Pred> = default;
};

并且因为 ref_view 的默认构造函数在 p2325r3 中被删除，这表明应用于左值 range 的范围适配器例如 std::vector 是 {{3} } default_constructible：

std::vector v{1,2,3};
auto r = v | std::views::filter([](auto) { return true; });
decltype(r){}; // ok in C++20,error in C++23

仅当范围适配器应用于 default_constructible 或 view 等 std::string_view 或 views::iota(0) 时，返回的视图才能为 default_constructible：

auto r = std::views::iota(0) | std::views::filter([](auto) { return true; });
decltype(r){}; // ok in C++20 and C++23

但是对于这些情况，我真的想不出使这些 view 成为 default_constructible 的用例，即使这是可行的。如果我们默认构造了一个view，就意味着我们构造了一个空的view，对于空的views应用范围适配器显然是没有意义的：

constexpr auto r = std::views::iota(0,10)
                 | std::views::transform([](auto x) { return x; });
static_assert(!std::ranges::empty(r));
// views::iota is default-constructible,so r is also default-constructible
static_assert( std::ranges::empty(decltype(r){}));

在我看来，C++20 中范围适配器的默认构造函数只是为了满足 view，因为 view 在 C+ 中不再需要为 default_constructible +23，这些适配器的默认构造函数不需要存在。

为什么这些范围适配器的默认构造函数在 C++23 中没有被删除，而是变成了一个约束函数？真的有需要它是 default_constructible 的情况吗？这背后的考虑是什么？

解决方法

本文之前的现状是，视图只是必须是默认可构造的，即使这不是视图可以满足的有意义的要求，导致它具有单一状态那只能分配给。这不是很有用（而且确实有害），这就是该要求被删除的原因。

但是现在视图简单地可以默认构造，问题是什么时候应该使范围适配器默认构造。这个问题的答案更直接：如果可以，为什么不让它默认可构造？

如果您正在transform创建一个视图，V，则它是默认可构造的（并且大概 V 是以具有有意义状态的方式默认可构造的 - 这不是不可行：默认构造的 string_view 是有效的空范围）并且您的函数 F 也是默认构造的（例如，任何无捕获的 lambda 都在 C++20 中），然后 {{ 1}} 确实也应该是默认可构造的。确实没有太多理由不，有条件地提供该构造函数实际上是免费的，并且不会造成伤害。

因此，在不提供默认构造函数和有条件提供默认构造函数之间，这样做是明智的，后者似乎是一个更用户友好的选择.

否则，从库的角度来看，您必须能够以某种方式保证默认构造此类范围适配器永远是有用的...而且我不确定您是否可以这样做吗？

---

请注意，这不是 C++23 的新库功能，而是针对 C++20 的缺陷。