如果使用全局函數，則type_trait具有成員失敗

Question

我發現detect類的成員使用全局模板函數不起作用：

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();
};

它失敗檢測TestBB的foo，是正常的嗎？ 還是編譯錯誤？ gcc 4.8.1

Answer 1

編譯器還沒有見過的定義TestBB在調用的點printinfo ，只有向前聲明。 那時它不知道TestBB任何成員。