auto的问题

• 说明

  • []返回的不是bool,而是中间代理类型.

• 案例一

  #include
  template
  void show(T&& t) {
     t.error();
  }
  int main() {
     std::vector s{ true,false };
     auto t = s[0];
     show(t);
     return 0;
  }
  

  • 编译失败,vector是进行了单独的重载。内置类型实现不一样.
  • 这个中间的代理类重载类运算符operator bool().

• 说明

  • 单独实现类这个模板.

• vector实现

  // CLASS vector
  template 
  class vector : public _Vb_val<_Alloc> 
  

  • 单独实现了这个模板类。

• 下标运算符[]

     _NODISCARD _CONSTEXPR20_ConTAINER const_reference operator[](size_type _Off) const noexcept  {
  #if _CONTAINER_DEBUG_LEVEL > 0
         _STL_VERIFY(_Off < this->_Mysize, "vector subscript out of range");
  #endif // _CONTAINER_DEBUG_LEVEL > 0
  
         const_iterator _It = begin();
         _It._Advance(_Off);
         return *_It;
     }
  
     _NODISCARD _CONSTEXPR20_ConTAINER reference operator[](size_type _Off) noexcept  {
  #if _CONTAINER_DEBUG_LEVEL > 0
         _STL_VERIFY(_Off < this->_Mysize, "vector subscript out of range");
  #endif // _CONTAINER_DEBUG_LEVEL > 0
  
         iterator _It = begin();
         _It._Advance(_Off);
         return *_It;
     }
  

• 返回的类型声明

  template 
  class _Vb_reference : public _Vb_iter_base<_Alvbase_wrapped> 
     using reference       = _Vb_reference<_Alvbase_wrapped>;
  

  • 模板类型

• bool运算符重载

     _CONSTEXPR20_ConTAINER operator bool() const noexcept {
         return (*_Getptr() & _Mask()) != 0;
     }
  

• 代理类

  • 这类代理类还是挺多的.
  • 通过包装的方式行为特别像某一个类.
  • 但是有个问题就是auto不识别.
  • 所以在这种情况下需要用显式声明或者是static_cast,这种就有点脱裤子放屁的感觉了.