为什么在概念c++中没有向前声明？

当我尝试此示例时：

template <typename T>
concept only_int = std::same_as<T, int>;

int add_ints(only_int auto&&... args) {
    return (std::forward<decltype(args)>(args) + ... + 0);
}

它起作用了……但当我只这样声明的时候：

template <typename T>
concept only_int;

...

// defined later on...

它将引发编译错误。

这是缺失的功能吗？还是打算这样离开？

---

解决方案

如果您可以向前声明概念，那么就可以递归地使用它们。通过防止转发声明，概念声明中不必有显式条款来阻止您递归使用它们。