SFINAE - 如果参数是可复制构造的，则启用一个函数，否则启用另一个函数

问题描述

如果参数是可复制构造的，我希望调用一个函数和另一个函数（类似于前面的但有额外的代码）。我发现 std::is_copy_constructible 没有按预期工作

#include <iostream>

using namespace std;


struct Nocopy {
    int n;
    Nocopy(const Nocopy&) = delete;
};


template <typename T,typename U,std::enable_if_t<!std::is_copy_constructible_v<U>,int> = 0>
void log_debug(T&& t,U&& u)
{
    
 std::cout<<"\n"<<typeid(U).name()<<" does not have copy constructor; ";  
}
   
   
template <typename T,std::enable_if_t<std::is_copy_constructible_v<U>,U&& u)
{
    
 std::cout<<"\n"<<typeid(U).name()<<" has copy constructor; ";  
}

int main()
{
    Nocopy a{2};
    log_debug("value is ",a);
    
    std::cout<<"\nstd::is_nothrow_copy_constructible_v  "<<std::is_copy_constructible_v<Nocopy>;  //returns 0 as expected

    return 0;
}


                                                                                                                                                                                                                                    

输出：

6Nocopy 有拷贝构造函数；
std::is_copy_constructible_v 0

is_copy_constructible_v 似乎在 main 函数内部工作，但不在外部

解决方法

问题是这里的 master 不是推导出为 U，而是推导出为 NoCopy。

您可以通过在 NoCopy& 中使用 std::decay_t<U> 来解决此问题，以按照您的需要去除 cv 限定符和引用并产生 enable_if。