开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

C++20 -调用在模板中声明为auto的函数

C++20引入了对在模板中声明为auto的函数的调用的支持。在C++20之前，模板函数中的auto参数类型只能用于函数参数的类型推导，而不能用于函数的返回类型。但是在C++20中，auto可以用于函数的返回类型，使得函数的返回类型可以根据参数的类型进行推导。

具体来说，当在模板函数中声明一个函数为auto返回类型时，编译器会根据函数体中的返回语句来推导函数的返回类型。这样可以避免在模板函数中显式指定返回类型，提高代码的可读性和灵活性。

使用auto返回类型的函数可以在模板函数中灵活地适应不同的参数类型，并根据参数类型推导出相应的返回类型。这在泛型编程中非常有用，可以减少代码的重复性和冗余性。

以下是一个示例代码，展示了如何在C++20中调用在模板中声明为auto的函数：

#include <iostream>

template <typename T>
auto add(T a, T b) {
  return a + b;
}

int main() {
  int result = add(3, 4);
  std::cout << "Result: " << result << std::endl;

  double result2 = add(1.5, 2.5);
  std::cout << "Result2: " << result2 << std::endl;

  return 0;
}

在上面的示例中，我们定义了一个模板函数add，它接受两个参数，并使用auto作为返回类型。在main函数中，我们分别调用了add函数，并根据参数类型推导出了相应的返回类型。输出结果分别为7和4.0。

C++20中的这一特性可以使得模板函数更加灵活和易于使用，同时减少了代码的冗余性。在实际开发中，可以根据具体的需求和场景来灵活运用这一特性。

腾讯云相关产品和产品介绍链接地址：

腾讯云函数计算（SCF）：https://cloud.tencent.com/product/scf
腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
腾讯云容器服务（TKE）：https://cloud.tencent.com/product/tke
腾讯云数据库（TencentDB）：https://cloud.tencent.com/product/cdb
腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
腾讯云物联网（IoT）：https://cloud.tencent.com/product/iot
腾讯云移动开发（移动推送、移动分析、移动测试等）：https://cloud.tencent.com/product/mobile
腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
腾讯云区块链（BCS）：https://cloud.tencent.com/product/bcs
腾讯云游戏多媒体引擎（GME）：https://cloud.tencent.com/product/gme
腾讯云音视频处理（VOD）：https://cloud.tencent.com/product/vod
腾讯云网络安全（SSL证书、DDoS防护等）：https://cloud.tencent.com/product/safety

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

解读C++即将迎来的重大更新（二）：C++20的核心语言

> foo; foo.hello(); } constexpr 虚拟函数由于动态类型是未知的，所以无法在常量表达式（constant expression）中调用虚拟函数。...如果你通过复制 [=, this] 来显式地获取它，就不会收到 C++20 的弃用警告。模板 lambda 你可能和我一样，最先想到的是：我们为什么需要模板 lambda？...当你用 C++14 的 [](auto x){ return x; } 写一个通用 lambda 时，编译器会自动使用一个模板化的调用运算符来生成一个类： template T...对于命名空间范围内声明的对象（全局对象），声明为 static 或 extern 的对象有静态存储持续。...而在 C++20 中，类 source_location 能提供有关源代码的文件名、行号、列号和函数名信息。

1.1K1 0

机器人CPP编程基础-04输入Input

using namespace std; // 使用命名空间std，这样我们就可以直接使用std中的名字，而不用在每次使用时都写std:: main() // 定义程序的主函数...cpp复制代码 #include #include 创建回调函数：定义一个回调函数，该函数将在接收到特定主题的消息时被调用。...在回调函数中，可以处理接收到的消息并进行必要的操作。...= msg->data; // 执行其他操作... } 初始化ROS1节点：在main()函数中，需要初始化ROS1节点并设置回调函数。...当然，除了上面提到的，C++20还有以下几个重要的功能：概念（Concepts）：提供了一种描述函数或类模板约束的方式，以确保只有符合特定概念的类型才能用于函数或类模板的实例化。

2462 0

Array的简单使用（Boost和STL通用）

而C++20中的协程，IDE对其的支持并不是特别好，代码报错异常多，因此我打算在完全摸透后再考虑写这一部分的内容。...而C中的数组对于C++来说，略显不优雅；而std::vector由于是动态的，相对来说性能上会有不必要的损失，也没办法在模板中使用（C++20中，std::vector可以使用在模板中，而且支持大部分的函数...使用 Boost.Array是一个模板，需要两个模板参数，分别是数据的类型和数组的大小。...Boost和STL的区别 STL中的Array在高版本的C++中，会支持更多的constexpr，如果使用在模板中会更加的方便。...为了支持更低版本的C++，Boost使用了模板偏特化来处理数组大小为0的情况。 Boost中有一个assign函数，功能和fill一样，但是STL中没有。

6303 0

编译器如何实现lambda表达式？

lambda表达式更适合定义小点的回调内联去传递给其他函数，而不是在其他地方定义个完整的函数对象，并在其重载函数调用运算符中实现回调逻辑。...所有的逻辑都在一个位置上，容易理解和维护，lambda表达式可以接收参数，可返回值，可模板化，可通过值或引用的方式访问外面的变量，相当的灵活。...上面的示例会自动的转换成下面这样的函数对象，注意函数调用运算符是个const方法，返回类型是auto，这方便编译器根据方法体自动推导出返回类型。...lambda闭包的数据成员，值捕获的变量被拷贝到仿函数的数据成员中，编译器的行为是这样： class CompilerGeneratedName { public: CompilerGeneratedName...在C++20中关于lambda表达式也做了一些更新，可以模板化lambda表达式，也可以默认构造、拷贝和赋值lambda表达式，像下面这样： auto lambda { [](int a, int b)

6874 0

C++20新书推荐！

C++20中，可使用lambda表达式捕获this方式，lambda表达式可以使用模板，某些时候不需要使用typename，结构体可以直接初始化。...C++20支持协程、支持modules、可以using enum、引用约束和概念，且函数模板可以缩写其中，最重要的四大概念分别是概念(concept)、范围 (ranges)、协程(coroutines...概念革新了思考和编写通用代码的方式，因为模板的要求是接口的一部分，类模板中的函数重载和特殊化可以基于概念进行，且编译器能够比较模板参数的要求与实际的模板参数，所以能得到更好的报错信息。...使用概念，编程者可以使用预定义的概念，也可以定义自己的概念。C++20将auto和概念的用法统一到了一起，可以不使用auto，而是使用概念。...如果一个函数声明使用了一个概念，那么它会自动变成一个函数模板，由此，编写函数模板就变得与编写函数一样简单。范围库使其能够在容器上直接表达算法，通过管道符号组合算法，并将其用于数据流中。

7801 0

解读C++即将迎来的重大更新（一）：C++20的四大新特性

原因如下：模板的要求是接口的一部分；类模板中的函数重载或特殊化可以基于概念进行；因为编译器能够比较模板参数的要求与实际的模板参数，所以能得到更好的报错信息。但是，这还不是全部。...你可以使用预定义的概念，也可以定义你自己的概念； auto 和概念的用法统一到了一起。你可以不使用 auto，而是使用概念；如果一个函数声明使用了一个概念，那么它会自动变成一个函数模板。...由此，编写函数模板就变得与编写函数一样简单。...我使用了这个缩写函数模板句法来定义 gcd。gcd 要求其参数和返回类型支持概念 Integral。gcd 是一类对参数和返回值都有要求的函数模板。...我的这个示例中有一个很大的未知，即 getNext 函数的返回值 Generator。这部分内容很复杂，后面我在写协程的文章中更详细地介绍。

1.5K2 0

C++Rust 元编程之 BrainFuck 编译器（constexpr 过程宏解法）

之前模板元方式解法不支持嵌套循环，同时也不支持输入输出，在这次实现中，支持嵌套循环、输出。...C++ constexpr解法其实模板元解法和constexpr解法能力相同，只是实现代价不同，后者更容易实现，写起来就像普通函数一样。...毕竟C++20之前constexpr不支持动态分配内存，像链表这种随时扩容的方式暂时不可行。...这也是为啥STREAM作为模板参数类型的原因，因为只需要依赖push接口，而不需要依赖具体的类型，这也是泛型的魅力。...而Rust的过程宏只能用在编译时，无法用在运行时，而且只支持字面量方式，不支持变量传参给过程宏。

1K4 0

C++20的四个模块新特性应用

C++20的四个模块新特性应用 I.新特性一览 [qhYdL8.png] 我想这一张图就足以说明大部分的C++20新特性 II.正文图中浅蓝色的是本文要讲解的C++20的四个新特性 Moudules（...test_m export void test_Func(){ std:cout<<"Test from C++20\n"; } 在主程序main.cpp中写下 import test_m int...范围库） ranges中的range概念是一种类似于迭代器的东西。...Concepts（概念库）它减小了对模板类型的限制，在项目构造过程中，我们可以不必考虑用语言特性对模板类作静态限制我们不妨做一个对比：在C++20之前，我们可以用如下方式对模板参数进行限制： type...（协程）协程是一个可以记住自身状态，可随时挂起和执行的函数。

7486 1

未来已来：从SFINAE到concepts

这是一种 C++ 中的编译期技术，用于在模板实例化过程中，当尝试进行模板参数的替换时，如果出现了替换失败（通常是由于找不到相应的成员函数、操作符等），不会导致编译错误，而是会选择其他可行的模板特化。...这种特性使得在模板中可以编写更加直观和灵活的代码，而不必依赖于模板元编程中的繁琐技巧，同时可以避免生成不必要的代码。...在前面的例子中，我们无非是通过各种方式来约束参数，使得满足某个条件的参数调用一个模板函数，而不满足的则使用另外一个模板函数。这种方式在C++20用的更为广泛，称之为约束模板参数。...约束模板参数约束模板参数类型的写法与传统的目标函数很像，如下这个是传统的模板函数： template void fun() { } 此时，如果要限制模板参数为整形，则可以像如下这样写...concepts 在C++20中，Concepts（概念）是一种对类型进行约束的机制。

2191 0

未来已来：C++ modules初探

你好，我是乐哥，一个从事C/CPP开发十几年的老鸟~~ 在C++中，编译器在编译某个源文件时确实需要查看其中所有需要调用的函数的声明。...因此，如果我们在一个文件中定义一个函数，并想在另一个文件中调用它，则也必须在该文件中声明它。只有这样编译器才能生成适当的代码来调用该函数。...<< std::endl; } main.cc: void fun(); int main() { fun(); // 调用在 hello.cc 中定义的函数，只需提供声明 return...下面是一个完整的例子： math.cc export module mathematics; export auto plus(auto x, auto y) -> decltype(x+y) {...如果包含了include，则违反了模块系统的设计原则。确保遵循模块系统的语法规则，不要将传统的头文件引入方式混用在模块中。

3141 0

机器人CPP编程基础-02变量Variables

以下是一些关于C++14中变量的详细介绍： auto关键字：C++14引入了auto关键字，用于自动推断变量的类型。...以下是一些关于C++20中变量的详细介绍：类型推断和auto关键字：C++20扩展了类型推断的功能，使得变量声明时可以省略变量名的类型，而只使用变量名即可。这使得代码更加简洁易读。...concept关键字：C++20引入了concept关键字，用于定义类型的概念，用于约束模板参数的类型。这有助于提高代码的可读性和可维护性。...coroutines：C++20引入了协程（Coroutines），这是一种控制流机制，允许函数在执行过程中暂停执行并将控制权返回给调用者，然后在某个特定点重新进入执行。...ros::spinOnce();: 执行一次ROS的Spin主循环，用于处理来自ROS系统的消息和调用回调函数。

1863 0

机器人CPP编程基础-03变量类型Variables Types

这样，我们就可以直接使用标准库中的名字，而不用在每个名字前都写std::。 main(): 程序的主函数，所有C++程序都从这里开始执行。...以下是一些C++20中引入的新变量类型和功能：概念（Concepts）：概念是一种用于指定类型必须满足的条件的语言特性。可以使用概念来约束模板参数的类型，以便在模板实例化时确保类型符合特定的要求。...cpp复制代码 int a = 1, b = 2; auto [c, d] = a + b; // c = 3, d = 3 if constexpr：C++20引入了if constexpr语句...这可以用于实现自定义类型的比较操作。模板别名（Template Aliases）：C++20引入了模板别名，允许使用别名来简化模板的声明和使用。...回调函数类型：ROS1 Noetic提供了ROS1特定的回调函数类型，如boost::function和boost::slot，用于实现事件驱动的回调机制。

1922 0

C++20新特性个人总结

5.3 弃用下标表达式中的逗号操作符后记 C++20 编译器版本：GCC 10 __cplusplus：待定编译选项：-std=c++2a 1 关键字 1.1 concept... 声明变量时进行初始化，如果能从构造函数中推导出变量类型，则该变量的类型可以不用指定模板参数。 ...2.9 ADL与不可见的模板函数 ADL是C++本来就有的机制，用于自动推断调用的函数的位置，从而简化代码的编写。而新特性扩展了ADL机制，可以用于模板函数的推断。 ...这个特性在GCC、MSVC编译器中早已实现，但在其他的编译器以前的版本中并未实现。我的理解是，在模板类内，可以忽略访问权限而访问到其他类内的嵌套类。 ...N>()函数中N的值对应的返回类型必须与tuple_element对应索引指定的类型相同。

1.9K5 0

C++ 动态新闻推送第54期

没啥说的 Revisiting Data-Oriented Design An Associative Container for Non-bash Shell Scripts C++20 Benefits...从二进制角度观测/评估哪里可以省掉，用bloaty查比如strip 减少内联 (__attribute__((noinline)))/模板实例化以及二进制工具修改编译选项，-Os -flto -Wl...- CppCon 2021 谁用vscode调代码啊，你用吗，我不用。...noexpect(true)的（析构函数除外），之前咱们也聊过zero cost execption相关这个视频讨论了noexcept的方方面面。...没看 C++20’s ＜chrono＞ Calendars and Time Zones in MSVC - Miya Natsuhara - CppCon 2021 msvc的chrono实现。

5512 0

动态数组和C++ std::vector详解

其函数声明为： size_type max_size() const; //C++11 前 size_type max_size() const noexcept; //C++11 起注：此值通常反映容器大小上的理论极限...resize resize函数的主要作用是改变容器中可存储元素的个数，通过该函数可以重新设置容器大小，其函数声明如下： /* 该函数重设容器的大小为count，在count==size()时不做任何操作...同时函数中T 必须符合可相等比较 (EqualityComparable) 的要求 3-6中按照字典比较lhs和rhs的内容，其内部等价于调用std::lexicographical_compare函数进行比较...同时函数中T 必须符合[可小于比较 (LessThanComparable) 的要求。 7中也是按字典序比较lhs和rhs的内容。...(it, c.end()); return r; 示例： std::vector c{1, 2, 3, 4, 6}; // 擦除c中的值等于3的元素 auto erased1 = std::

5631 0

如何在C++20中实现Coroutine及相关任务调度器？（实例教学）

上面的示例代码中，我们注意到counter()是一个协程函数，可以多次被挂起和重入。...我们要在C++20中定义一个coroutine，对函数的返回值是有要求的，这个返回值的类型必须有一个嵌套的子类型promise_type。...因为我们更多的是利用coroutine特性来完成一个调度器的包装，先忽略用不上特殊的函数模板coroutine_traits这种特性。...通过上面的描述，不难发现，C++20的协程机制中，promise对象起到的作用是“从内部控制协程，将异常和结果传递给外部系统”这样的一个桥梁作用。...+20的SchedTaskCpp20主要完成对协程对象的封装，CoTaskFunction用于存储相关的函数对象，而CoResumingTaskCpp20则如同前面示例中的resumable_thing

2.9K1 0

C++ 动态新闻推送第4期

+20) } 那么这段代码匹配那个函数呢 template auto f(T p, int) -> decltype(throw p) { puts("one"); // #1...int main() { f(std::make_unique(42), 42); } 可以Godbolt自己调一下看看 Counting the number of fields...in an aggregate in C++20 读着读着发现就是magic_get/boost.pfr的方法，利用结构化绑定探测字段 What C++ Fold Expressions Can Bring...MUC++] Jonathan O’Connor - Template Shenanigans: Testing, Debugging and Benchmarking Template Code 讨论模板相关的议题...ppt 结论调试需要编译期打印函数名字，有个 deprecated trick 标记一下，涉及到用到的都会有告警，以及constexpr函数gdb能捕捉到，另外就是用code insight或者 metashall

6161 0

C++20 Coroutine实例教学

上面的示例代码中, 我们注意到counter()是一个协程函数, 可以多次被挂起和重入....我们要在c++20中定义一个coroutine，对函数的返回值是有要求的，这个返回值的类型必须有一个嵌套的子类型promise_type。...因为我们更多的是利用coroutine特性来完成一个调度器的包装，先忽略用不上特殊的函数模板coroutine_traits这种特性。...通过上面的描述，不难发现， C++20的协程机制中， promise对象起到的作用是“从内部控制协程，将异常和结果传递给外部系统" 这样的一个桥梁作用。...+20的SchedTaskCpp20主要完成对协程对象的封装， CoTaskFunction用于存储相关的函数对象，而CoResumingTaskCpp20则如同前面示例中的resumable_thing

2.1K2 0

聊聊结构化绑定

，零初始化的过程是多余的；•也许根本没有可用的默认构造函数，如std::ofstream。...整个语句是一个结构化绑定声明，标识符也称为结构化绑定（structured bindings），不过两处“binding”的词性不同。顺带一提，C++20中volatile的许多用法都被废弃了。...还有一些语法细节，比如get的名字查找、std::tuple_size没有value、explicit拷贝构造函数等，除非是深挖语法的language lawyer，在实际开发中不必纠结（上面这一堆已经可以算...以上语法都没有纳入C++20标准，不过可能在将来成为C++语法的扩展。...延伸 C++17的新特性不是孤立的，与结构化绑定相关的有： •类模板参数推导（class template argument deduction，CTAD），由构造函数参数推导类模板参数；•拷贝省略（copy

3081 0

时隔 20 年，C++ 又杀回来了！| 极客时间

传统 C++ 的异步业务代码需要考虑大量细节，引入了 Coroutines 降低复杂度。原本 C++ 函数式编程时代码复杂冗长，现在可以通过 Ranges 解决。...这儿，给大家分享一张卢誉声梳理的「C++20 学习」知识地图，内容出自《现代 C++20 实战高手课》专栏，里面不但把 C++20 核心特性和重要库做了系统梳理，更难得的是每个部分都会结合项目实例来讲解...三步法，带你真正实战 C++20 为了让你能更快且更高效地上手，卢誉声老师将 C++20 的学习以三步走的进程结合自己多年实战经验，解决 C++ 学习上内容庞杂不好抓重点、网上资料不系统、新特性太多无法迅速筛选可用等痛点...最后，还会在实际工程项目代码中，带你体会这些核心变更的强大之处。...点击「阅读原文」，立享 6 折，跟着卢誉声一次搞定 C++20 新特性，提升编程思想。

5021 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭