为什么我不能在模板参数之前使用概念关键字？

Question

有一些讨论在 C++ 20 中很难看到模板参数的“种类”（我不想说类型，因为当涉及到模板时这是一个令人困惑的术语）。您可以阅读示例here。

我有点希望 C++ 允许垃圾邮件的方式来指定模板参数是概念（通过在其前面加上 concept 关键字，但这不起作用。

这是有原因的，还是没有人认为它会有用，因为它有点长？

Example:

struct S{
  int x;
};

template <struct S s, /*concept*/std::integral> 
struct S2{
    auto f(){
        return s.x;
    }
};

int main() {
    constexpr S s{47};
    S2<s, short> s2;
    return s2.f(); 
}

在这里我可以通过在 S 之前添加结构来提高可读性（恕我直言），但 std::integral 之前的概念无法编译。

Answer 1

请记住，struct S 只是一种与 C 向后兼容的可供性。回想一下，在 C 中，您必须为使用 struct 名称添加前缀（除非您使用 typedef 它，这这就是为什么您在 C 代码中经常看到这种情况的原因）。 C++ 没有这样的规则，但为了允许 C++ 编译器将 C 的子集编译为 C++，开发人员允许在类型名前加上 struct（或 class）。

C++20 的作者并没有刻意为template<struct S s> 赋予消除歧义的含义。这就是 C++ 中类型名称规则的工作原理。

同样，concept concept_name 从未被认为是命名概念的可能性。预计特定类型名称和使用约束类型参数的概念之间的任何歧义都应该由您使用的特定名称而不是语法来分类。你应该知道std::integral 是一个概念，而不是一个特定的类型名。

对于一些概念名称，这很清楚；很难对迭代器了解很多，也不知道random_access_iterator 是一个概念而不是特定类型。对于其他名称，就不太清楚了。