auto的问题

1. 说明

   • 不能正确处理内部编译的隐式类型。

2. vector<bool>

   • 说明

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

   • 案例一

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

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

3. vector<bool>实现

   • 说明

     • 单独实现类这个模板.

   • vector<bool>实现

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

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

   • 下标运算符[]

        _NODISCARD _CONSTEXPR20_CONTAINER const_reference operator[](size_type _Off) const noexcept /* strengthened */ {
               
               
     #if _CONTAINER_DEBUG_LEVEL > 0
            _STL_VERIFY(_Off < this->_Mysize, "vector<bool> 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 /* strengthened */ {
               
               
     #if _CONTAINER_DEBUG_LEVEL > 0
            _STL_VERIFY(_Off < this->_Mysize, "vector<bool> subscript out of range");
     #endif // _CONTAINER_DEBUG_LEVEL > 0
     
            iterator _It = begin();
            _It._Advance(_Off);
            return *_It;
        }
     

   • 返回的类型声明

     template <class _Alvbase_wrapped>
     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,这种就有点脱裤子放屁的感觉了.

4. 缺点

   • 基本就是这个隐式类型无法正确处理的问题了,这种情况还是建议使用显式.

   • 以及前面提到的C++11的一些推导弊端和C++14的弥补.