禁止运营商<<致电

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被用作唯一可行的过载。

简短的回答很简单，就是“模板不能像那样工作”。让我知道你是否想要更长的答案。