C++模板元编程（21）SFINAE规则引入

已于 2023-08-22 00:28:46 修改
阅读量410 收藏
点赞数 1
分类专栏： # C++模板元编程 文章标签： c++ 开发语言
于 2023-07-02 18:12:14 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/HandsomeHong/article/details/131503548
版权
C++模板元编程 专栏收录该内容
21 篇文章 3 订阅 ¥29.90 ¥99.00
订阅专栏
SFINAE（替换失败不是一个错误）是C++模板元编程中的基本规则，允许在函数模板重载时，当模板参数展开失败时不会报错，而是忽略不匹配的函数。本文介绍了SFINAE的详细规则，包括何时发生、如何应用，以及通过示例展示了如何利用SFINAE实现编译期类型判断。
摘要由CSDN通过智能技术生成

文章目录

1、什么是SFINAE

从这一节开始，我们才算真正踏入模板元编程的大门，前面介绍的模板编程都是为模板元编程铺路。

我们首先来了解模板元编程的一个基本规则：SFINAE，它是Substitution Failure Is Not An Error的缩写，直接翻译就是替换失败不是一个错误。

这条规则应用于函数模板重载决议时，如果模板参数展开（用户显示指定或者自动推导得到）失败，编译器并不会报错，而是从重载函数集中丢弃，也就是说会继续寻找下一个匹配函数，直接全部遍历完后还没找到匹配的函数才会报错。

这是一个使得C++模板推导规则符合程序员想象的规则。通过SFINAE，我们能够使得模板匹配更为“精确”，即 使得一些模板函数、模板类在实例化时使用特殊的模板版本，而另外一些则使用通用的版本，这样就大大增加了模板设计使用上的灵活性。

通过使用模板的特化版本并在类型匹配失败时将其从重载集合中丢弃，我们可以在模板元编程中根据不同的类型或条件执行不同的操作。这种方式可以在编译期间根据不同的类型生成不同的代码，从而实现更加灵活和高效的编程。

来看一个最基本的例子：


                

                
                
        

    

  


        

            

                

                

                了解本专栏
                
                
                  
                订阅专栏 解锁全文
                 
            

        

    

      

        

            

              
                
                  奇妙之二进制
                
              
            

            

                关注
              
            

        

        

          
      

      

            

                专栏目录
          

                

                        订阅专栏
                









                



	

		

			

				
					
SFINAE

				
			

			

				

					FairLikeSnow的博客
				

				

					06-25
					
					1194
					
				

			

		

		

			
				
模板与泛型编程之SFINAE

			
		

	



                

            
              



	

		

			

				
					
SFINAE 极简介绍

				
			

			

				

					rreference
				

				

					11-27
					
					1331
					
				

			

		

		

			
				
首先推荐讲SFINAE我认为最好的两个资料，一个是cppreferenceSFINAE，一个是channel9上Stephan T Lavavej讲的三个series：Core CPP，STL， Advacned STL其中的某一集。。。的确忘了是哪集了。这两个资料有深入有浅出，最重要的是讲明白了SFINAE的本质，而不是上来就一段代码告诉你这个就是SFINAE，看完了就看完了而已，完全和其他知识

			
		

	



              


  
              

                


	

		

			

				
					
C++模板SFINAE实践

				
			

			

				

					watergear的专栏
				

				

					09-07
					
					380
					
				

			

		

		

			
				
最近工作项目中，需要做一个字符串编码转换的工具库。
在我之前的开发人员，提供了大量C风格的功能函数。每次转码之前，针对不同的编码，需要调用不同的功能函数。这种方式的问题很明显，就是每次都需要人工去判断字符串编码格式，并选择不同的功能函数。因此，还经常出现人为失误的情况。
为了有效的改善这种情况，我决定采用C++模板技术，能够自动匹配字符串类型，并正确调用编码转换的功能函数。

为此，我对C++模板SFINAE技术进行研究。

			
		

	





	

		

			

				
					
c++模板之SFINAE

				
			

			

				

					weixin_30731287的博客
				

				

					04-07
					
					161
					
				

			

		

		

			
				
什么是SFINAE?
Substitution failure is not an error,匹配失败并不是错误,意思是用函数模板匹配规则来判断类型的某个属性是否存在,也就是说SFINAE可以作为一种编译期的不完整内省方法
具体参见http://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error
案例:
使用SFINAE判...

			
		

	



		

			
		



	

		

			

				
					
c++ 模版元编程-SFINAE（Substitution Failure Is Not An Error）技术

					
最新发布

				
			

			

				

					谁谁谁的的的博客
				

				

					09-27
					
					343
					
				

			

		

		

			
				
通过合理使用SFINAE技术，可以实现一些高级的模板元编程技巧，比如根据类型是否具有某种成员函数来选择不同的模板实现，或者根据类型是否满足某些条件来进行函数重载等。当使用模板进行类型推导时，C++编译器会尝试对所有可行的候选函数进行匹配，并选择最佳的匹配结果。SFINAE技术的作用就是在编译器遇到错误时，将错误视为普通的“替代失败”，从而继续尝试其他候选函数的匹配。是否为整数类型的条件，如果为真，则选择第一个函数模板，否则选择第二个函数模板。是否为指针类型或类类型的条件，根据不同的条件选择不同的特化实现。

			
		

	





	

		

			

				
					
C++ 模板简介（一）—— SFINAE

				
			

			

				

					とある黄鱼のOIブログ
				

				

					12-18
					
					1159
					
				

			

		

		

			
				
SFINAE, 类型检查, Concepts
​	SFINAE 机制是组成 C++ 模板机制及类型安全的相当重要的基础。全称是 Substitution failure is not an error。大概的意思就是只要找到了可用的原型（比如函数模板、类模板等）就不会编译错误。SFINAE 可以被用来进行模式匹配。在尝试本篇代码时请打开 C++17。
https://en.cppreference...

			
		

	





	

		

			

				
					
C++模板进阶 SFINAE机制

				
			

			

				

					fantasy_ARM9的博客
				

				

					10-21
					
					565
					
				

			

		

		

			
				
SFINAE 可以理解为一个缺省模板匹配，虽然模板匹配的时候会匹配任意类型，但是

在闭包内部也会是按照最佳匹配来的，当没有匹配上的时候会报编译错误，这样不符合我们的要求。再

怎么地也要能编译运行嘛。

#include <iostream>
#include <stdio.h>
using namespace std;

template <typename T...

			
		

	





	

		

			

				
					
C++模板元编程

				
			

			

				

					01-06
				

			

		

		

			
				
### C++模板元编程  #### 一、C++模板元编程概述  在现代软件开发领域，C++模板元编程（Template Metaprogramming）是一种利用C++编译器的类型系统来实现计算逻辑的技术。它允许程序员在编译时执行复杂的算法和数据...

			
		

	





	

		

			

				
					
C++模板元编程_C++_

				
			

			

				

					10-01
				

			

		

		

			
				
C++模板元编程是C++语言中的一种高级技术，它允许在编译时进行计算和代码生成。模板元编程（Template Metaprogramming，简称TMP）利用C++模板的特性来实现类似编程语言的逻辑，但这一切都在编译期间完成，从而能够...

			
		

	





	

		

			

				
					
C++模板进阶：SFINAE

				
			

			

				

					a4364634611的博客
				

				

					09-20
					
					391
					
				

			

		

		

			
				
requires约束是c++20的特性，与它相比，std::enable_if简直就是垃圾，但是很多库和公司标准并没那么高，也就只能使用std::enable_if了。enable_if这个特化形式中，压根就没有这个::type，也就失败了，不会匹配上，当然这也不会error。模板经过编译器实例化后就是这样，我们可以看到这个函数第二个类型就是void了，这是因为。我们不再介绍它，知乎的大佬对此介绍的很好，我们只为了重复记忆。，会产生一个void，反之，如果不符合里面的条件，这里是。

			
		

	





	

		

			

				
					
跟我学c++高级篇——模板元编程之六SFINAE

				
			

			

				

					fpcc的专栏
				

				

					02-26
					
					2792
					
				

			

		

		

			
				
SFINAE，对于想在模板编程中有更深的想法时，建议还是要认真学习。其实SFINAE更像是模板编程中更进阶的一种用法，虽然它可能在复杂的应用情况有些晦涩难懂，但既然决定想搞c++的模板编程，一些精深的东西还是需要去学习的。特别之于模板的元编程，更是如此。虽然有了concepts，但看以前的代码还是需要懂得这个技术的。

			
		

	





	

		

			

				
					
C++模板之SFINAE技术

				
			

			

				

					FreeeLinux's blog
				

				

					12-02
					
					4605
					
				

			

		

		

			
				
今天在阅读muduo库的源码时，里面有这样几行代码：
template
struct has_no_destroy
{
  template  static char test(typeof(&C::no_destroy)); // or decltype in C++11
  template  static int32_t test(...);
  const static bool val

			
		

	





	

		

			

				
					
C++11之一般化的SFINAE规则

				
			

			

				

					林夕07
				

				

					10-09
					
					1061
					
				

			

		

		

			
				
在C++11标准对这样的状况，尤其是模板参数替换时使用了表达式的情况进行了明确规定，即表达式中没有出现“外部于表达式本身”的元素，比如说发生一些模板的实例化，或者隐式地产生一些拷贝构造函数的话，这样的模板推导都不会产生SFINAE 失败(即编译器报错)。这样一来,C++11中的一些新特性将能够成功地进行广泛的应用,进一步地,新的STL也将因此受益。

			
		

	





	

		

			

				
					
现代C++之SFINAE

				
			

			

				

					Francis的博客
				

				

					01-07
					
					5408
					
				

			

		

		

			
				
介绍c++的SFINAE概念:类成员的编译时内省0.导语1.C++自省?2.老式的C++98方式2.1重载决议2.2 SFINAE2.3 sizeof运算符2.4 结合一切2.5 实现我...

			
		

	





	

		

			

				
					
深入理解C++11

				
			

			

				

					这是一个c++热爱者的博客哟
				

				

					08-27
					
					871
					
				

			

		

		

			
				
编译器的目标系统环境中是否包含完整的C库STDC：编译器对于标准C库的实现是否和C标准一致（是否定义、如何定义由编译器决定）：编译器支持的C标准的版本（是否定义、如何定义由编译器决定）：yyyymmL格式的整数常量，表示C++编译环境符合某个版本的ISO/IEC 10646标准func函数中可以使用__func__标识符函数名称，编译器会在函数定义开始时隐式地插入__func__标识符定义：func= “”;VA_ARGS。...

			
		

	





	

		

			

				
					
C++11 SFINEA规则_判断类是否存在某个成员函数

				
			

			

				

					帝江VII的博客
				

				

					08-22
					
					6550
					
				

			

		

		

			
				
在C++模板中，SFINEA规则是指”Substitution failure is not an error“(匹配失败不是错误)。具体来说，就是当重载的模板参数展开时，如果展开导致一些类型不匹配，编译器并不报错。
我们可以使用这个规则来判断类是否存在某个成员函数,请看下面的实例:
#include
#include
#include

template
struct has_member_

			
		

	





	

		

			

				
					
深入浅出SFINAE

				
			

			

				

					GODCUPID的专栏
				

				

					12-28
					
					9302
					
				

			

		

		

			
				
网上看到一篇介绍SFINAE的文章，自己听说过很多遍，但都不太确定到底是个啥东西。作者的文章写的很好，就拿来翻译一下练练手。原作者说看了Louis Dionne 的演讲"C++ Metaprogramming: A Paradigm Shift"，对其中的Boost.Hana库中的 is_valid 特性特别感兴趣。应该是有感而发，有了此文。如果不知道啥是SFINAE，并且想知道，那么就去看原文吧。原文写的很好，代码里的注释很多，受益匪浅！

			
		

	



              




          




        



    





    



      

      

        
      

      





	

		评论	
	

	
	




  

    

      添加红包
      
    

    

      

        
        

          
          
        

        
请填写红包祝福语或标题

      

      

        
        

          
          个
        

        
红包个数最小为10个

      

      

        
        

          
          元
        

        
红包金额最低5元

      

      

        
        

          当前余额3.43元
          前往充值 >
        

      

      

        

          需支付：10.00元
        

        
        
      

    

  





  

    
    
  

  

    
    
  








  

    

      

        

          

            
            
成就一亿技术人!

          

          

        

        

          

          

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

        

      

      

        

          

            
              
            
            

              
hope_wisdom
 发出的红包
            

          

        

        

          

          

          

        

      

    

    

  



      
      

      
实付元

      
使用余额支付

      

        

          

            
            点击重新获取
          

        

        
扫码支付

      

      

        
          
            
          
          
        
      

      

        
        钱包余额
          0
          

            
            

              

                
抵扣说明：

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

              

            

          

      

      余额充值