请在以下 function 模板声明中解释问题（根本原因）

Question

在下面的代码中，谁能解释为什么我会收到以下错误：“错误： struct std::enable_if<false, double>中没有名为‘type’的类型

根据我对enable_if_t的理解，如果我不使用function p，编译时应该没有问题。 它不应该为简单类型生成。

但是当我将条件更改为!is_class_v<T>时，它适用于简单类型但随后它停止适用于 class 类型。

template<typename T>
class Smart_class
{
    public:        
        enable_if_t<is_class_v<T>, T> p(T t)
        {            
            
        };
};

void f()
{
    Smart_class<double> a;
}

Answer 1

引用自temp.inst/3.1 ：

class 模板特化的隐式实例化会导致未删除的 class 成员函数的声明的隐式实例化，而不是定义的隐式实例化......

这是你的情况， p成员 function 的声明被实例化，它引用不存在的返回类型。