禁止運營商<<致電

Question

我有一些代碼。

#include <iostream> 

template<typename T> 
struct Test 
{ 
    Test(bool v):flg(v) { } 
    void func() { } 
    typedef void (Test::*unspecified)(); 
    operator unspecified() const 
    { 
     return flg ? &Test::func : 0; 
    } 
    bool flg; 
}; 

template<typename T> 
std::ostream& operator << (std::ostream&, typename Test<T>::unspecified); 

int main() 
{ 
    Test<int> t(true); 
    std::cout << t << std::endl; 
} 

輸出是

1 

它工作正常，但我想未定義的引用。如果Test是not template class我得到未定義的參考。那麼，爲什麼編譯器不能使用operator <<作爲函數類型，並且做了從pointer to class-member到bool的非標準轉換？

Answer 1

在typename Test<T>::unspecified，T處於非可推論上下文，因爲它似乎一個::的左側。因此，您的功能模板甚至不會被考慮，並且轉換爲unspecified被用作唯一可行的過載。

簡短的回答很簡單，就是「模板不能像那樣工作」。讓我知道你是否想要更長的答案。