c++ - 将类型推导到模板参数中

Question

有没有办法做到这一点？据我所知没有，因为该语言不支持它，但我想确认

template <typename Something>
ConceptCheck<auto> return_something(const Something& something) {
    return process_something(something);
}

在某些情况下，这会很好。例如，想要记录返回类型支持的概念(否则返回类型将是一个简单的 auto，需要读者去其他地方寻找信息)。

如果这似乎是一个不错的建议，我想将其作为 future 的标准提出，有人可以指导我如何去做吗？ C++20 标准中是否已有返回类型概念？

谢谢!

Answer 1

您可以在 https://isocpp.org/ 找到关于正在进行的标准化工作的任何信息。

具体来说，https://isocpp.org/blog/2016/12/2016-11-post-issaquah-mailing-available列出了最近邮件中的所有文档，以及 C++17 当前草案的文本。

我可以告诉您，Concepts 目前尚未被纳入标准草案。不过，这可能会在下一次 session 上改变。