C++17 之 "deduction guides"

最新推荐文章于 2023-04-19 22:36:04 发布
最新推荐文章于 2023-04-19 22:36:04 发布
阅读量1.7k 收藏
点赞数
分类专栏： C/CPP
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ding_yingzi/article/details/80051993
版权
C++17引入了Deduction Guides特性，位于17.9章节，它允许模板名称作为一个类型标识符，通过模板参数推导来确定类型，不依赖名称查找。这一特性在语法上支持为模板提供多个deduction guides，并在实际编程中，如构造函数参数类型推导中发挥作用。
摘要由CSDN通过智能技术生成

“Deduction guides” 在 C++17 标准 https://www.iso.org/standard/68564.html
中属于 17.9 章节. 标准中如下描述:

Deduction guides 用于将一个 模板名称 声明为一个类型标识符, 此时需要使用
Deduction guides 推导出该标识符的类型. Deduction guides 不使用名称查找,
而是使用模板参数推导, 所有为该模板名称声明的 deduction guides 都会作为推导依据.

语法

deduction-guide :
    explicitopt template-name (parameter-declaration-clause) -> simple-template-id ;

在实际使用中, 可以为某个模板名称提供多个 deduction guides.

例子

例 1


                

                
                
        

        

    

  


        

            

                    
                      最低0.47元/天 解锁文章
                        
                    
            

        

    

      

        

            

              
                
                  地球在动
                
              
            

            

                关注
              
            

        

        

          
      

      

            

                专栏目录
          









                



	

		

			

				
					
一文讲清C++14的Type-Deduction

				
			

			

				

					weixin_41172895的博客
				

				

					03-13
					
					496
					
				

			

		

		

			
				
C++ Type-Deduction （一）
记录一下Type-Deduction
Type-Deduction 简介
在最早的C++98中，Type-Deduction仅用于Template当中，仅有by-value，by-reference，规则相对简单。C++11增加了通用引用，auto/decltype关键字和lambda。C++14增加了decltype(auto)，Type-Deduction变化多了。大多数情况下不用考虑Type。但在有些时候，尤其是你要泛化代码，不了解当前Type类型尤其是v

			
		

	



                

            
              



	

		

			

				
					
c++ Templates Guide

				
			

			

				

					hhehha的博客
				

				

					09-19
					
					384
					
				

			

		

		

			
				
c++ Templates Guide前言The BasicsFunction TemplatesClass TemplatesNontype Template ParametersTricky Basics功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列...

			
		

	



              


  
              

                


	

		

			

				
					
Deduction Guides (since C++17)

				
			

			

				

					Jeff_的博客
				

				

					05-10
					
					738
					
				

			

		

		

			
				
History
在C++98中，使用类模板时，即使从使用中可以明显看出它们的类型，也总是必须提供模板参数：
std::pair<int, std::string> p(1729, "taxicab");

随着C ++ 11中auto的引入，情况发生了一些变化。可以使用（预先存在的）辅助函数make_pair创建变量，从而避免重复类型：
#include <iostream>
#include <type_traits>
#include <utility>


			
		

	





	

		

			

				
					
Induction, Deduction and Reduction

				
			

			

				

					loveprogram_1的专栏
				

				

					02-08
					
					2630
					
				

			

		

		

			
				
1. Description 1
induction是指归纳，将具体的归纳出一个结论，而这个结论不一定就是正确的。而deduction演绎是指根据一个已知的定论描述的更具体，所以某种程度，它们两是OPPOSITE

2. Description 2
　induction：归纳，指由特殊的事实或例子推理出的普遍性规律的过程，是证明涉及到正整数变量的定理所运用的两部法。第一是证明定理对于最小整

			
		

	



		

			
		



	

		

			

				
					
C++类模板

				
			

			

				

					T1mzhou的博客
				

				

					09-13
					
					316
					
				

			

		

		

			
				
C++类模板
第二节：类模板，变量模板，别名模板
类模板的基本范例和模板参数的推断
**类模板：**是产生类的模具，通过给定的模板参数，生成具体的类，也就是实例化一个特定的类。
比如：vector，引入类模板的目的，减少代码冗余
基本范例
namespace _nmsp1
{
	//类模板定义
	template <typename T> // T是类型模板参数，表示myvector这个容器所保存的元素类型，typename和                               // c

			
		

	





	

		

			

				
					
c/c++英文手册(包含c++17标准)

				
			

			

				

					02-19
				

			

		

		

			
				
2. 自定义派生构造函数（deduction guides）：这使得模板类的构造函数推导更加灵活，方便创建自定义类型转换规则。  3. 右值引用的std::move_if_noexcept：这个新函数模板可以更安全地处理异常安全的移动语义。  4. ...

			
		

	





	

		

			

				
					
C++17新特性个人总结

				
			

			

				

					12-17
				

			

		

		

			
				
7. **返回类型推断（for functions）**（Deduction Guides for Constructors and Functions）  允许函数和构造函数的返回类型通过模板参数自动推断，类似于`auto`关键字在函数参数中的作用。  8. **noexcept表达式**...

			
		

	





	

		

			

				
					
C++17完全指南

				
			

			

				

					
				

			

		

		

			
				
11. 模板类的推导指引（template argument deduction guides）：帮助编译器在模板实例化时选择正确的构造函数。  12. 标准库改进：包括新容器（如std::optional和std::variant）和新算法（如std::make_unique和std::...

			
		

	





	

		

			

				
					
一个代码行数统计工具，基于 C++17 实现。.zip

					
最新发布

				
			

			

				

					06-03
				

			

		

		

			
				
9. **模板的 deduction guides**：允许程序员指导模板实例化，使类型推断更加灵活和可控。  10. ** constexpr 改进**：更多的函数和运算符现在可以在编译时计算，进一步增强了C++的元编程能力。  描述中提到的工具很...

			
		

	





	

		

			

				
					
c++使用条件表达式报错

				
			

			

				

					qq_35741437的博客
				

				

					03-15
					
					346
					
				

			

		

		

			
				
Line 9: Char 35: error: incompatible operand types ('std::pair' (aka 'pair') and 'std::unordered_set

			
		

	





	

		

			

				
					
C++ Templates The Complete Guide (2nd Edition).pdf

				
			

			

				

					07-20
				

			

		

		

			
				
c++ 模板技术第二版，现代c++ 必备。值得深入学习，很多c++ 库使用了该技术。

			
		

	





	

		

			

				
					
c++语法错误

				
			

			

				

					m0_62994985的博客
				

				

					04-05
					
					98
					
				

			

		

		

			
				
c++语法研究

			
		

	





	

		

			

				
					
检测并打印C++编译器支持的feature（附Visual Studio 2022和gcc-12测试、对比结果）

				
			

			

				

					yinminsumeng的博客
				

				

					04-19
					
					785
					
				

			

		

		

			
				
C++标准快速迭代，不同的系统平台和编译器对C++各种新功能的支持不同，通过这个程序可以测试所用编译器对各个版本C++的支持情况。另一方面，可以在代码中通过这些宏针对不同版本编写不同的代码分支。源码下面附上Visual Studio 2022的测试结果，基本上在2021年中就把C++23（当时还是草案）大部分功能都支持了。

			
		

	





	

		

			

				
					
C++17中那些值得关注的特性（上）

				
			

			

				

					u012396362的博客
				

				

					07-28
					
					5679
					
				

			

		

		

			
				

  作者：祁宇，《深入应用C++11》作者，C++开源社区purecpp.org创始人，致力于C++11/14的应用、研究和推广。乐于研究和分享技术，爱好C++，爱好开源。 
  本文为《程序员》原创文章，未经允许不得转载，更多精彩文章请订阅《程序员》
C++17标准在2017上半年已经讨论确定，正在形成ISO标准文档，今年晚些时候会正式发布。本文将介绍最新标准中值得开发者关注的新特新和基本用法...

			
		

	





	

		

			

				
					
函数模板 ---实参的演绎（deduction）

				
			

			

				

					Coding_Worm的专栏
				

				

					08-19
					
					747
					
				

			

		

		

			
				
templatetypename   T> //模板参数 inline T const &max(T const& a,T const& b) //调用参数 {    return a} 因为调用参数的类型构造自模板参数，所以模板参数和调用参数通常是相关的。我们把这个概念称为：函数模板的实参演绎。它让你可以像普通函数那样调用函数模板。 但是当模板参数和调用参

			
		

	





	

		

			

				
					
C++17 之 "constexpr if"

					
热门推荐

				
			

			

				

					ding_yingzi的博客
				

				

					04-18
					
					1万+
					
				

			

		

		

			
				


C++17 之前的做法
C++17 的作法
更多
最后




普通的 if-else 是在执行期进行条件判断与选择, 这意味着在泛型编程中无法使用 
if-else 语句进行条件判断. 比如例 1 会引起编译错误

例 1: 将多个数累加并返回累加结果



template &lt;int N, int... Ns&gt;
auto sum()
{
    if (sizeof...(Ns...

			
		

	





	

		

			

				
					
C++17 之 "折叠表达式"

				
			

			

				

					ding_yingzi的博客
				

				

					04-17
					
					8458
					
				

			

		

		

			
				


支持的操作符
折叠分类
空参数包
其它例子
最后





C++11 提供了可变模板参数包, 使函数可以接受任意数量的参数. 但在 C++11 
中展开参数包稍显麻烦, 而 C++17 的折叠表达式使得展开参数包变得容易, 
其基本语法是使用 (...) 的语法形式进行展开.



支持的操作符

折叠表达式支持 32 个操作符: +, -, *, /, %, ^, &amp;, |, =,...

			
		

	





	

		

			

				
					
C++17 之 "void_t"

				
			

			

				

					ding_yingzi的博客
				

				

					04-19
					
					5621
					
				

			

		

		

			
				


使用 void_t
void_t 的工作原理
一个有趣的例子




C++ 17 提供了 void_t, 它是一个模板别名, 定义为



template&lt;class...&gt;
using void_t = void;

void_t 一般用于元编程. 从定义上看, void_t 的定义平淡无奇, 但利用 SFINAE 原则在元编程中却可以发挥巨大威力.



使用 void_t...

			
		

	



              




          




        



    





    



      

      

        
      

      





	

		
评论 1

	

	
	




  

    

      添加红包
      
    

    

      

        
        

          
          
        

        
请填写红包祝福语或标题

      

      

        
        

          
          个
        

        
红包个数最小为10个

      

      

        
        

          
          元
        

        
红包金额最低5元

      

      

        
        

          当前余额3.43元
          前往充值 >
        

      

      

        

          需支付：10.00元
        

        
        
      

    

  





  

    
    
  

  

    
    
  








  

    

      

        

          

            
            
成就一亿技术人!

          

          

        

        

          

          

            领取后你会自动成为博主和红包主的粉丝
            规则
          

        

      

      

        

          

            
              
            
            

              
hope_wisdom
 发出的红包
            

          

        

        

          

          

          

        

      

    

    

  



      
      

      
实付元

      
使用余额支付

      

        

          

            
            点击重新获取
          

        

        
扫码支付

      

      

        
          
            
          
          
        
      

      

        
        钱包余额
          0
          

            
            

              

                
抵扣说明：

                
 1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
 2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

              

            

          

      

      余额充值