将 clang-format 与 c++20 概念结合使用

Question

我查看了 clang-format 样式选项 https://clang.llvm.org/docs/ClangFormatStyleOptions.html 但没有看到任何对 C++ 概念和需要子句的引用。通常我可以配置 clang-format 来执行我想要的操作，但我不知道如何让它处理我的概念并很好地需要子句：

1. 目前 clang-format 对我的概念做到了这一点：

template <typename F, typename P, typename T>
concept Accumulate_Fn = Parser<P>&& std::invocable<F, T, parser_t<P>>&&
    std::same_as<T, std::invoke_result_t<F, T, parser_t<P>>>;

但是我想将每个约束放在自己的行上（就像对于太长的函数参数所做的那样），以便结果看起来像：

template <typename F, typename P, typename T>
concept Accumulate_Fn = Parser<P> &&
                        std::invocable<F, T, parser_t<P>> &&
                        std::same_as<T, std::invoke_result_t<F, T, parser_t<P>>>;

2. 对于带有requires子句的函数，clang-format当前给我：

template <Parser P1, Parser P2, typename T, Accumulate_Fn<P1, parser_t<P1>> F>
requires std::same_as<T, parser_t<P1>> constexpr Parser auto
separated_by(P1&& p1, P2&& p2, T&& init, F&& f)

但我想要更接近的东西：

template <Parser P1, Parser P2, typename T, Accumulate_Fn<P1, parser_t<P1>> F>
requires std::same_as<T, parser_t<P1>> 
constexpr Parser auto separated_by(P1&& p1, P2&& p2, T&& init, F&& f)

有什么神奇的选择可以实现这一点吗？我目前使用的是 clang-format 10.0.

Answer 1

截至 7 月 20 日，概念尚未得到

clang-format

的适当支持。 LLVM 跟踪器中有一个未解决的问题。