我开始试验C++20的概念特性，当我意识到可以部分显式地为概念提供模板参数时，我感到非常高兴。我读了cppreference的文章，没有发现其中提到的。

但随后我意识到了一些奇怪的事情:模板参数的规范顺序与我所期望的相反。当提供一个explicite模板参数时，它将替换模板列表中的第二个模板:

#include <concepts>
#include <type_traits>

/// Concept in order to deduce if sth. is base of sth else
template <typename Impl, typename Base>             //XXX: here the order of Impl and Base are not 
concept Implements = std::is_base_of_v<std::remove_reference_t<Base>, // what I would've expected.
                                       std::remove_reference_t<Impl>>;
/// Example Base class impl
struct BaseExample {};
/// Implementation of BaseExample
struct ImplExample : BaseExample {};

/// Function in which the concept is applied
template <Implements<BaseExample>... Baes> void f(Baes &&... ) {}//} ((void)b, ...); }

int main() {
  (void) std::is_base_of_v<BaseExample, std::remove_reference_t<ImplExample &&>>; //< true
  (void) std::is_base_of_v<BaseExample, std::remove_reference_t<ImplExample&>>;  //< true
  f(ImplExample{}, ImplExample{});
}

从我的观点来看，部分提供显式模板参数的可能性是有意义的，因为反对类部分模板规范的论点在这里并不适用，而是使概念更加通用。现在我想知道:

1. 标准发布时是否允许部分显式模板规范（可能）？
2. 这种规格顺序可能保持不变吗？还是这是一个bug？
3. 我自己该如何回答这个问题呢？据我所知，C++20标准到现在还没有准备好，我找到了一份C++标准委员会的文件清单，其中我简单地搜索了2020年提出的关于“概念”的文件的标题。是否需要检查这些论文，或者是否有一个可访问的单一文档，将作者目前一致同意的观点结合在一起？

代码可以在这里找到。

编辑后，我检查了三个模板参数指定时的行为。看起来我错误地解释了规范的顺序:第一个参数被‘保留自由’以包含要检查的参数，而显式规范从第二个参数开始。这里可以看到这一点。即使我想出了规范顺序背后的原因，我也会对上面问题的答案非常感兴趣。