Question

C ++中缩写函数的状态是什么？搜索一下，我在working draft 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 ++编译器方面的当前状态是什么？

Answer 1

我认为您所询问的是缩略功能模板。您链接的文档以这种方式定义它：

如果auto type-specifier出现在函数声明的参数类型中，则函数声明声明一个缩写的函数模板。示例：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作为返回类型。

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

2 个答案: