禁止运营商＆lt;＆lt;调用

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

简短的回答就是“模板不能像那样工作”。如果您想要更长的答案，请告诉我。