继承std::ostream自定义operator<<时操纵符模板参数推导失败问题

首先，我们来拆解你遇到的核心问题：为什么成员模板版的operator<<无法处理std::endl这类操纵符，而改成全局模板后就正常了？这背后涉及C++模板推导规则、名字隐藏以及重载决议的细节。

1. 成员模板版本的问题根源 #

你的第一个版本中，派生类ostream定义了自己的成员模板operator<<：

template<typename T>
ostream &operator <<(T &&arg){
 //some work...
 static_cast<std::ostream&>(*this) << std::forward<T>(arg);
 return *this;
}

这里有两个关键问题：

1.1 基类的operator<<被名字隐藏 #

当派生类定义了同名的成员（哪怕是模板），基类std::ostream中所有的operator<<重载（包括专门处理操纵符的版本、基本类型的重载）都会被名字隐藏。编译器只会考虑派生类的这个模板，不会去查找基类的重载。

1.2 操纵符的模板推导失败 #

std::endl本质是一个函数模板：

template <class charT, class traits>
basic_ostream<charT,traits>& endl(basic_ostream<charT,traits>&);

当你写cc << std::endl时，编译器需要推导成员模板的T类型。但std::endl本身是未实例化的模板，编译器无法确定要将它实例化为哪种具体的函数类型（比如是std::ostream&(*)(std::ostream&)，还是其他字符/ traits版本？），因此模板参数推导直接失败，这就是你看到的报错原因。

2. 全局模板版本为什么能正常工作 #

改成全局模板后，情况完全不同：

template<typename T>
ostream &operator <<(ostream &os, T &&arg) {
 static_cast<std::ostream&>(os) << std::forward<T>(arg);
 return os;
}

2.1 基类的operator<<不再被隐藏 #

派生类ostream没有定义自己的成员operator<<，所以基类std::ostream的所有operator<<重载都是可见的。同时，全局模板也会作为重载候选参与决议。

2.2 模板推导可以成功 #

当处理cc << std::endl时，编译器可以推导全局模板的T类型：

• std::endl会被实例化为适配std::ostream的版本，即类型为std::ostream&(*)(std::ostream&)的函数指针。
• 全局模板的T会被推导为这个函数指针类型，模板实例化后就能正常调用，然后转发给std::ostream的operator<<处理操纵符。

另外，重载决议时，全局模板的参数是ostream&（更精确的类型），比基类成员函数的std::ostream&匹配度更高，所以会被优先选中，最终完成转发。

3. 额外的优化建议 #

如果你想保留成员模板的写法，也可以解决这个问题：

• 显式引入基类的operator<<重载，避免名字隐藏：在派生类中添加using std::ostream::operator<<;。这样编译器会同时考虑基类的重载和派生类的模板，处理操纵符时会匹配基类的专门版本，处理其他类型时用你的模板。
• 或者，为操纵符专门添加成员重载，比如：

  ostream& operator<<(std::ostream& (*manip)(std::ostream&)) {
      static_cast<std::ostream&>(*this) << manip;
      return *this;
  }
  

内容的提问来源于stack exchange，提问作者ezegoing