C++模板用法请教

慢半拍先生

template<class _Alty>
        struct _Is_simple_alloc
                : _Cat_base<is_same<typename _Alty::size_type, size_t>::value
                && is_same<typename _Alty::difference_type, ptrdiff_t>::value
                && is_same<typename _Alty::pointer,
                        typename _Alty::value_type *>::value
                && is_same<typename _Alty::const_pointer,
                        const typename _Alty::value_type *>::value
                && is_same<typename _Alty::reference,
                        typename _Alty::value_type&>::value
                && is_same<typename _Alty::const_reference,
                        const typename _Alty::value_type&>::value>
        {        // tests if allocator has simple addressing
        };

请问这是什么用法，继承？ 但是继承一个布尔值？

正点原子

帮顶