type_trait的有成员故障如果使用全局函数

Z时代
2024-01-10
分类：问答

我发现检测类的成员使用全局模板功能不起作用：type_trait的有成员故障如果使用全局函数

void printinfo(std::true_type) 
{ 
    cout<<"true_type!"; 
} 
void printinfo(std::false_type) 
{ 
    cout<<"false_type!"; 
} 
class TestAA 
{ 
public: 
     void foo(); 
}; 
class TestBB; 
template<typename T,typename =decltype(&T::foo)> 
std::true_type havefoo(T*){return{};} 
std::false_type havefoo(...){return{};} 
int main() 
{ 
    printinfo(havefoo((TestAA*)nullptr)); 
    printinfo(havefoo((TestBB*)nullptr)); 
} 
class TestBB 
{ 
public: 
     void foo(); 
};