请解释以下函数模板声明中的问题（根本原因）

Question

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

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

但是当我将条件更改为!is_class_v<T> 时，它对简单类型工作正常，但随后对类类型停止工作。

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:

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

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