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

我认为您要问的是缩写函数模板。您链接到的文档以这种方式定义它：

如果 auto 类型说明符出现在函数声明的参数类型中，则函数声明声明了一个缩写函数模板。示例：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;}; 但是我还没有看到任何说“通用 lambda”功能将扩展到传统功能的消息。

与Technical Report 1不同，Technical Report 2将作为单独的技术规范发布：Is TR2 Going to be Released in C++17?

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

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

Answer 2

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

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

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

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