为什么我们在 C++20 中需要 auto after function 概念参数？

Question

我有以下编译错误，导致我无法理解。

template<typename T>
concept floating_point = std::is_floating_point_v<T>;

auto add(const floating_point f1, const floating_point f2)
{
    return f1+f2;
}

在上述版本中，编译器抱怨：

ssource>:6:16: error: expected 'auto' or 'decltype(auto)' after 'floating_point'
    6 | auto add(const floating_point  f1, const floating_point f2)

当我添加自动说明符时，一切都很好。

auto add(const floating_point auto f1, const floating_point auto f2)
{
    return f1+f2;
}

这个很好用。

所以问题真的是为什么我们在这里需要 auto ？ （我觉得签名很奇怪）

第二个问题是返回类型有什么区别：

floating_point auto add(..) 与 auto add(..) 是否具有相同的功能？ （都编译）

Answer 1

所以问题真的是为什么我们需要 auto 在这里？

因为floating_point 不是类型，而add 不是普通函数。然而，像void add(floating_point, floating_point); 这样的东西完全看起来像一个常规的函数声明，这里并没有告诉我们这实际上是一个用简洁语法编写的模板。

委员会对代码中可能出现这种歧义感到不舒服。因此，简洁的语法被修改为需要一个概念可以绑定到的实际类型占位符 (auto)，而不是看起来像一个普通的声明。

第二个问题是返回类型有什么区别

那些不是类型，它们是为某种类型推断的占位符。

这个概念唯一增加的是add中的return语句必须返回一个通过概念检查的类型，否则推导将失败。