如何为一个添加了模板带参构造函数的的类设定复制构造函数。

Croper

有时候，（别问，问就是写variant的时候)，会为它添加一个模板化的带参构造函数：

1. struct Test{
   
2.     template <typename T>
   
3.     Test (T&& t){
   
4.         //....
   
5.     }
   
6.     Test (const T&){
   
7.         //....
   
8.     }
   
9. }

复制代码

这个时候，如果再为其添加复制构造函数，会发现，根本不会调用构造函数，而是进入以const Test&实例化的带参构造函数。
要解决这个问题，可以使用C++的SFINAE特性，
为带参构造函数的模板参数添加一个不使用的有默认类型的参数，且在T为Test时其会出现编译错误。

先解释一下type_trait里的相关模板：

1.         is_same_v<typename T1,typename T2>
   
2.         //等同于
   
3.         is_same<typename T1,typename T2>::value
   
4.         //两类型是否相同
   
5. 
   
6. 
   
7.         decay_t<typename T>
   
8.         //等同于
   
9.         decay<typename T>::type
   
10.         //去掉T的所有const，volatile以及引用修辞
    
11. 
    
12.         enable_if_t<bool b,typename T=void>
    
13.         //等同于
    
14.         enable_if<bool b,typename T>
    
15.         //在bool为false时什么也不是，导致编译此段代码无法通过编译，实现SFINE

复制代码

所以，可以把写成这样

1. struct Test{
   
2.     template <typename T,typename= enable_if_t<!is_same_v<decay_t<T>, Test>>>
   
3.     Test (T&& t){
   
4.         //....
   
5.     }
   
6.     Test (const T&){
   
7.         //....
   
8.     }
   

复制代码

这样带参构造函数的模板类型为Test的时候，将无法实例化，从而不会覆盖复制构造函数和移动构造函数

Croper

学习笔记的分类怎么添加不上去- -