3

C++中缩写函数的状态如何？环顾四周，我在 C++ 概念的工作草案中看到了一些提及。同时，GCC 似乎对类似的代码没有问题

#include <iostream>

auto foo(auto x) {
    std::cout << x << std::endl;
}

int main() {
    foo(1);
    foo(1.2);
}

现在，如果我使用 编译-Wpedantic，我会收到警告：

g++ -std=c++14 -Wpedantic test08.cpp -o test08
test08.cpp:3:9: warning: ISO C++ forbids use of 'auto' in parameter declaration [-Wpedantic]
 auto foo(auto x) {
         ^

这告诉我缩写函数并不完全符合标准。因此，它们在 C++ 标准和常见 C++ 编译器方面的现状如何？

4

2 回答 2

5

我认为您要问的是Abbreviated Function Templates。您链接到的文档以这种方式定义它：

如果 auto 类型说明符出现在函数声明的参数类型中，则函数声明声明了一个缩写函数模板。例子：void f(const auto&, int);

这意味着该示例将转换为：

template <typename T>
void f(const T&, int);

C++14 标准正在获得通用 lambdas。示例：auto lambda = [](auto x, auto y) {return x + y;};但我没有看到任何说“通用 lambda”功能将扩展到传统功能。

与技术报告 1不同，技术报告 2将作为单独的技术规范发布：TR2 将在 C++17 中发布吗？

似乎概念技术规范的下一个障碍尤其是WG21 概念会议。

您可以在此处阅读有关概念技术规范的更多信息：http ://en.wikipedia.org/wiki/Concepts_%28C%2B%2B%29

于 2015-01-07T12:56:59.340 回答
3

看起来您正在尝试创建一个模板化函数，至少看起来您需要一个 :)

template <typename X>
void foo(X x) {
    std::cout << x << std::endl;
}

这将在编译时扩展，编译器应该如何知道auto应该解释为哪种类型？在您的示例中，您使用两种不同的类型。

请注意，尽管您没有在函数内返回任何内容，但仍使用 auto 作为返回类型。

于 2015-01-07T12:06:29.653 回答