C++ 中缩写函数的状态是什么？

Question

C++ 中缩写函数的现状如何？四处搜索，我在关于 C++ 概念的 working draft 中看到了一些提及。同时，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++ 编译器方面的当前状态如何？

Answer 1

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

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

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

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

Answer 2

我想你问的是缩写函数模板。您 link 以这种方式定义的文档：

If the auto type-specifier appears in a parameter type of a function declaration, the function declaration declares an abbreviated function template. Example: void f(const auto&, int);

意味着该示例将转换为：

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

C++14 标准是获得 generic lambdas。示例：auto lambda = [](auto x, auto y) {return x + y;}; 但是我还没有看到任何说 "generic lambda" 功能将扩展到传统功能的说法。

不同于Technical Report 1, Technical Report 2 will be released as seperate technical specifications: Is TR2 Going to be Released in C++17?

似乎概念技术规范的下一个障碍是 WG21 Concepts Meeting。

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

C++ 中缩写函数的状态是什么？

What is the status of abbreviated functions in C++?

c++

c++14

c++17