C++ std::initializer_list 实现原理解析及遇到问题
一般而言，对变量或对象使用括号初始化的方式被称为直接初始化，其本质是调用了相应的构造函数；而使用等号初始化的方式则被称为拷贝初始化，说到拷贝大家可能马上就会想到拷贝构造函数、operator =()函数，但此时并不一定是调用了这两个函数，这点极容易混淆！！！
今天正在看侯捷《C++ 新标准 C++11-14》的视频，里面讲到 std::initializer_list 的实现原理，并且把源码贴出来。
/// initializer_list
template<class _E>
class initializer_list
{
public:
typedef _E value_type;
typedef const _E& reference;
typedef const _E& const_reference;
typedef size_t size_type;
typedef const _E* iterator;
typedef const _E* const_iterator;
private:
iterator _M_array;
size_type _M_len;
// The compiler can call a private constructor.
constexpr initializer_list(const_iterator __a, size_type __l)
: _M_array(__a), _M_len(__l) { }
constexpr initializer_list() noexcept
: _M_array(0), _M_len(0) { }
// Number of elements.
constexpr size_type
size() const noexcept { return _M_len; }
// First element.
constexpr const_iterator
begin() const noexcept { return _M_array; }
// One past the last element.
end() const noexcept { return begin() + size(); }
};他认为，构造 std::initializer_list 之前编译器会先构造一个 std::array，然后使用 std::array 的 begin() 和 size() 构造 std::initializer_list。这种说法有一处错误。编译器不会构造 std::array，而是在栈上直接构造一个数组 const T[N]。在栈上构造的数组会像其他变量一样，在离开作用域时自动析构，不需要手动管理内存，所以根本没必要使用 std::array。
这个是 cppreference.com 的描述：
The underlying array is a temporary array of type
const T[N]
明确地说是普通的 array。
这个是 N3337 的描述：
An object of type
initializer_list<E>provides access to an array of objects of typeconst E.
并没有说是 std::array。
到此这篇关于C++ std::initializer_list 实现原理勘误的文章就介绍到这了,更多相关C++ std::initializer_list 内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章给大家介绍了Qt调用MATLAB引擎混合编程的全过程,文中通过图文结合的方式给大家介绍的非常详细,对大家的学习或工作有一定的帮助,需要的朋友可以参考下2024-01-01
这篇文章主要为大家详细介绍了C/C++如何实现跨文件共享全局变量,文中的示例代码讲解详细,具有一定的借鉴价值,感兴趣的小伙伴可以跟随小编一起学习一下2024-01-01
这篇文章主要为大家详细介绍了C++中的类与对象，使用数据库，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-02-02
这篇文章主要介绍了C++基于先序、中序遍历结果重建二叉树的方法,结合实例形式分析了基于C++构建二叉树的相关操作技巧,需要的朋友可以参考下2017-05-05
本文主要介绍了C语言malloc与calloc区别详解，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2023-01-01
链表是一种物理存储结构上非连续、非顺序的存储结构，数据元素的逻辑顺序是通过链表中的指针链接次序实现的，本章带你分析单链表的实现与常见接口2022-03-03
这篇文章主要为大家详细介绍了C语言编程实现扫雷游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2021-08-08
本文主要介绍了VS2022 Git提交代码的实现，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2022-05-05
很多 C 库都提供了一组函数用来判断一个浮点数是否是无穷大或 NaN。int _isnan(double x) 函数用来判断一个浮点数是否是 NaN，而 int _finite(double x) 用以判断一个浮点数是否是无穷大2013-08-08
构造函数是一种特殊的成员函数，用于创建和初始化类的对象，这篇文章主要为大家详细介绍了C++中构造函数的相关知识点，需要的可以参考一下2023-06-06
最新评论