缩写函数在C++中的地位如何?

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

本文关键字:函数 C++ 缩写      更新时间:2023-10-16

缩写函数在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++编译器方面的现状如何?

我想你问的是缩写函数模板。您链接到的文档以这种方式定义它:

如果自动类型说明符出现在函数声明的参数类型中,则函数声明将声明缩写的函数模板。示例:void f(const auto&, int);

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

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

C++14 标准正在获取通用 lambda。示例: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

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

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

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

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