operator<<模板类型推断的问题

freebirdlino

有一个 empty_logger_t

1. 
   
2. class empty_logger_t : public logger_base_t
   
3. {
   
4. private:
   
5.     empty_logger_t(void) : logger_base_t(std::cout) {};
   
6.    
   
7. public:
   
8.     static empty_logger_t& getLogger(void) {
   
9.         static empty_logger_t *pSingleton = new empty_logger_t;
   
10.         return *pSingleton;
    
11.     };
    
12.    
    
13.     template< typename Outs >
    
14.     empty_logger_t& operator<< (Outs &o) {
    
15.         return *this;
    
16.     };
    
17.    
    
18.     // 针对流操纵符的重载
    
19.     empty_logger_t& operator<< (std::ostream& (*pf) (std::ostream&)) {
    
20.         return *this;
    
21.     };
    
22. };
    

复制代码

我的问题是，为什么不加上针对流操纵符的重载，像下面的代码就编译不过？

1. emptylog<<std::endl;

复制代码

SO 上的解释：http://stackoverflow.com/questio ... age/8416221#8416221

Your problem is not about the chain of << , a single log << endl would also cause the problem. It is because std::endl is a template function:

为什么 流操纵符是 个模板函数就会推断不出来呢？

math_cai

It is because std::endl is a template function

It is because std::endl is a template function is not a certain function

1. template<typename _CharT, typename _Traits>
   
2. inline basic_ostream<_CharT, _Traits>& endl(basic_ostream<_CharT, _Traits>& __os){
   
3.     return flush(__os.put(__os.widen('\n')));
   
4. }

复制代码

当你用std::endl去推断Outs的类型，谁来推断_CharT和_Traits的类型？

freebirdlino

回复 2# math_cai


    感谢回复，确实是因为这样。
    但这也太坑了，因为像 std::hex 之类的是没问题的，直觉上应该 std::endl 也一样。