C++中的__has_trivial_destructor(typename)

最新推荐文章于 2024-03-26 18:02:09 发布

原创最新推荐文章于 2024-03-26 18:02:09 发布 · 1.5k 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#stl #c++

C++ STL 专栏收录该内容

1 篇文章

订阅专栏

本文深入探讨了STL源码中的_Destroy函数，详细分析了其内部调用的__has_trivial_destructor函数，解释了如何检测类型是否拥有用户自定义的析构函数，为理解STL构造和析构机制提供了关键洞察。

最近学习《STL源码剖析》，实际看了stl头文件stl_construct.h，文件中看到有如下代码：

    template<typename _ForwardIterator>
    inline void _Destroy(_ForwardIterator __first, _ForwardIterator __last)
    {
        typedef typename iterator_traits<_ForwardIterator>::value_type _Value_type;
        std::_Destroy_aux<__has_trivial_destructor(_Value_type)>::__destroy(__first, __last);
    }

其中__has_trivial_destructor()这个函数找了好久也没在头文件中找到，后来才发现这个东西是编译器内置的，用来检测类型是否拥有用户自定义的析构函数，如果有用户自定义的析构函数的话返回0，具体内容可以写个测试程序用来测试，这里不再赘述。

由此可以联想到，也许stl代码中多数以__前缀，但是却找不到具体定义的函数，可能是编译器内置的。