**在 C++20 中使用 Concepts 优化模板代码的五个技巧**

1. 精准限定类型
   利用 requires 子句和 concept 直接描述期望的类型属性，例如 std::integral 或自定义 CopyConstructible。这样编译器在模板实例化时可以更快判断可行性，避免产生长错误信息。

   template <typename T>
   requires std::integral <T>
   T add(T a, T b) { return a + b; }

2. 重构泛型算法
   将通用算法拆分成多重概念，每个概念承担单一职责。这样可以让用户在实现类时只需要满足相应概念，而不是全部。

   template <typename Iterator>
   concept ForwardIterator = requires(Iterator it) {
       { *it } -> std::same_as<typename Iterator::value_type&>;
       ++it;
   };

3. 使用 std::concepts::borrowed_reference
   当你需要返回引用但不确定其生命周期时，使用 borrowed_reference 约束可以让编译器确认引用的安全性。

   template <typename T>
   concept BorrowedRef = std::is_reference_v <T> &&
                         std::same_as<std::remove_reference_t<T>, std::string>;

4. 与 constexpr 结合
   在概念中使用 constexpr 函数进行复杂判断，可在编译期完成计算，进一步提升编译速度。

   constexpr bool is_power_of_two(std::size_t n) {
       return n && ((n & (n - 1)) == 0);
   }
   template <std::size_t N>
   concept PowerOfTwo = is_power_of_two(N);

5. 自动文档化
   通过在概念声明中加入 [[nodiscard]] 或 [[deprecated]] 等属性，让 IDE 在提示错误时给出更明确的上下文，提升代码可读性。

   template <typename T>
   concept Deprecated = requires(T t) { t.deprecated(); };

通过上述技巧，你可以在 C++20 的概念体系下编写既安全又高效的模板代码，同时让编译器在类型检查时发挥更大作用。