39、C++20 模板约束与命名空间详解

C++20 模板约束与命名空间详解

1. 模板约束

模板约束是 C++20 引入的一项强大功能，它允许我们对模板参数进行限制，确保模板在特定条件下才能实例化，从而提高代码的安全性和可读性。

1.1 约束 size 函数

下面是一个约束 size 函数的示例：

template<class T>
auto size(T const& container)
   requires
      requires(T container) {
         container.size();
         typename T::size_type;
         { container.size() } -> std::same_as<typename T::size_type>;
      }
{
   return container.size();
}

该约束的检查流程如下：
1. container.size() ：检查该表达式是否有效，即 size() 成员函数是否可用。
2. typename T::size_type ：检查模板参数 T 是否有 size_type 类型成员。
3. { container.size() } -> std::same_