【C++11】统一初始化 和 initializer_list

news2024/11/27 14:48:54

文章目录

  • 一、概念辨析
      • 1. 声明、定义、初始化、赋初值的概念
      • 2. 默认初始化 和 未被初始化 的概念
  • 二、C++98 的列表初始化
  • 三、C++11 对列表初始化的扩展(统一初始化)
  • 四、标准库中的 initializer_list 类
  • 五、正确理解“统一初始化”和 initializer_list 的区别
  • 六、initializer_list 的使用场景
      • vector 的列表初始化
      • pair 的列表初始化
      • 关联式容器的列表初始化
  • 七、让模拟实现的vector也支持{}初始化和赋值



一、概念辨析

1. 声明、定义、初始化、赋初值的概念

四个易混淆的概念:声明,定义,初始化,赋初值

  1. 声明:声明一个变量或函数,表示告诉编译器这个变量或函数的类型和名称。对于变量,声明并不分配内存。对于函数,声明告诉编译器函数的名称,返回类型和参数列表。
  2. 定义:对于变量,定义表示分配内存,但不必赋予初值。对于函数,定义是提供函数的实体或主体。在整个工程中,同一个变量只能被定义一次,但可以被声明无数次。
  3. 初始化:初始化是定义变量的过程中给它赋予一个初始值。初始化是定义和赋初值的组合过程。
  4. 赋初值:也是指为变量赋予初次的值,通常与初始化交互使用。

初始化 = 定义 + 赋初值

因此,初始化不等于赋值,初始化的含义是创建变量时赋予其一个初始值,而赋值的含义是把对象的当前值擦除,而以一个新值来替代。

2. 默认初始化 和 未被初始化 的概念

如果定义变量时没有指定初值,则变量被默认初始化(default initialized):

int a;

此时a变量被赋予了“默认值”。默认值到底是什么由变量类型决定,同时定义变量的位置也会对此有影响。如果是内置类型的变量未被显式初始化,它的值由定义的位置决定:

  • 定义于任何函数体之外(全局) 的变量被初始化为 0,被称为零初始化(zero initialization)(静态变量是个例外) 。
  • 定义在函数体内部的内置类型变量将不被初始化( uninitialized )。

一个未被初始化的内置类型变量的值是未定义的(可以理解为随机值)。



二、C++98 的列表初始化

在C++98中,标准允许使用花括号 { } 对:

  1. 内置类型
  2. 数组
  3. 结构体元素
    来进行统一的列表初始值设定。比如:
struct Point
{
	int _x;
	int _y;
};
int main()
{
	//C++98
	
	// 变量
	int a1 = 1;
	int a2 = { 2 };
	
	// 数组
	int array1[] = { 1, 2, 3, 4, 5 };
	int array2[5] = { 0 };
	
	// 自定义类型
	Point p = { 1, 2 };
	return 0;
}

三、C++11 对列表初始化的扩展(统一初始化)

C++11扩大了用初始化列表 { } 的使用范围,这是语法(语言内核)层面上的修改,使其可用于所有的内置类型和用户自定义的类型,使用初始化列表时,可添加等号(=),也可不添加

struct Point
{
	int _x;
	int _y;
};
int main()
{
	//C++11
	
	// 变量和数组
	int a3{ 3 };
	int a4(4);
	int array1[]{ 1, 2, 3, 4, 5 };
	int array2[5]{ 0 };

	// 自定义类型
	Point p{ 1, 2 };

	// C++11中列表初始化也可以适用于new表达式中
	int* pa = new int[4] { 0 };


	return 0;
}

创建对象时也可以使用列表初始化方式调用构造函数初始化:

class Date
{
public:
	Date(int year, int month, int day)
		:_year(year)
		, _month(month)
		, _day(day)
	{
		cout << "Date(int year, int month, int day)" << endl;
	}
private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date d1(2022, 1, 1); // old style
	// C++11支持的列表初始化,这里会调用构造函数初始化
	Date d2{ 2022, 1, 2 };
	Date d3 = { 2022, 1, 3 };
	return 0;
}

四、标准库中的 initializer_list 类

在C++11标准下,下面的il的类型是什么?

int main()
{
	// the type of il is an initializer_list
	auto il = { 10, 20, 30 };
	cout << typeid(il).name() << endl;
	return 0;
}

发现是std::initializer_list:
请添加图片描述

介绍:

  • initializer_list 是一个特殊的模板类,用于表示一个初始化列表。
  • 它允许以逗号分隔的值列表的形式来初始化对象,例如:
    `std::initializer_list<int> myList = {1, 2, 3};`
    
  • 通常用于容器的构造函数,例如:
    std::vector<int> myVector = {1, 2, 3};
    

说明一下:


在官方文档对initializer_list的介绍中,有这样一段话:

The initializer_list object refers to the elements of this array without containing them: copying an initializer_list object produces another object referring to the same underlying elements, not to new copies of them (reference semantics).

这句话的意思是,initializer_list 对象引用数组的元素,但并不包含这些元素的实际副本。复制一个 initializer_list 对象会产生另一个对象,它引用相同的底层元素,而不是这些元素的新副本。这是因为 initializer_list 的语义是基于引用语义而不是值语义。


让我们通过一个简单的例子来理解:

#include <iostream>
#include <initializer_list>

void printValues(std::initializer_list\<int> values) 
{
   for (auto value : values) 
   {
       std::cout << value << " ";
   }
   std::cout << std::endl;
}

int main() {
   int arr[] = {1, 2, 3};
   
   // 使用 initializer_list 对象初始化
   std::initializer_list<int> myList = {arr[0], arr[1], arr[2]};
   
   // 复制 initializer_list 对象
   std::initializer_list<int> myCopy = myList;

   // 修改原始数组
   arr[0] = 10;

   // 打印两个 initializer_list 对象
   printValues(myList);   // 输出: 1 2 3
   printValues(myCopy);   // 输出: 10 2 3

   return 0;
}

在上面的例子中,myListmyCopy 都是 initializer_list 对象,它们引用相同的底层数组 {1, 2, 3}。当我们修改原始数组中的值时,这种变化会反映在两个 initializer_list 对象中,因为它们只是引用相同的元素,而不是拥有它们的副本。

这种引用语义有助于减少不必要的内存开销,因为不会为每个 initializer_list 创建新的元素副本。

所以在语句 std::initializer_list<int> myList = {1, 2, 3}; 中,myList 不会复制一份自己的1、2、3,而只会引用列表中这些常量。实际上,initializer_list 只包含指向初始化列表中元素的指针和大小信息,而不会拥有列表中的元素。

这些常量元素通常存放在程序的常量/代码区,而 initializer_list 对象本身只是一个轻量级的包装器,用于提供一个方便的接口来访问初始化列表中的元素。



五、正确理解“统一初始化”和 initializer_list 的区别

  • initializer_list 是 C++ 标准库提供的一种机制,用于方便地处理初始化列表。它是一个模板类,允许以统一初始化语法(花括号 {})的形式传递元素列表给对象。initializer_list 提供了一个简单的接口,使得在标准库中的容器或其他类的构造函数中能够方便地接受初始化列表。

  • 统一初始化语法是 C++11 引入的一项语法改进,使得初始化更加简洁和一致。它允许使用花括号 {} 初始化各种类型的对象,包括数组、结构体、类和容器等。在使用统一初始化语法时,编译器会自动选择合适的构造函数,这也包括 initializer_list 的构造函数。

因此,initializer_list 和统一初始化语法是在不同层次上的概念!!!initializer_list 是标准库提供的一种机制,而统一初始化是一种语法特性。



六、initializer_list 的使用场景

vector 的列表初始化

vector<string> articles = {"a", "an", "the"}; // 正确
vector<string> articles{"a", "an", "the"};    // 正确
vector<string> articles("a", "an", "the");    // 错误

这行代码是使用 C++11 的统一初始化语法来初始化一个 std::vector 对象,其中 std::initializer_list<string> 作为构造函数的参数。这样的初始化方式使得代码更加简洁和直观。

{"a", "an", "the"} 被编译器视作一个初始化列表,且被编译器转换成了std::initializer_list<string>。这个initializer_list被传递给 std::vector<string> 的构造函数,该构造函数的原型如下:

explicit vector (initializer_list<value_type> il, const allocator_type& alloc = allocator_type());

这种方式相较于传统的构造方式:

vector<string> articles;
articles.push_back("a");
articles.push_back("an");
articles.push_back("the");

具有更简洁的语法,提高了代码的可读性,并且利用了新引入的统一初始化语法。

当然vector的拷贝赋值函数也拥有了对initializer_list的重载版本:

vector& operator= (initializer_list<value_type> il);

pair 的列表初始化

std::pair 的成员(firstsecond)通过花括号 {} 进行列表初始化:

#include <iostream>
#include <utility> // 包含头文件以使用 std::pair
#include <map>

int main() 
{
    std::pair<int, std::string> myPair = {42, "Hello"};

    std::cout << "Pair: {" << myPair.first << ", " << myPair.second << "}\n";

    return 0;
}

关联式容器的列表初始化

std::map 为例:

#include <iostream>
#include <map>

int main() {
    std::map<std::string, std::string> dict = {{"sort", "排序"}, {"insert", "插入"}};

    // 输出所有键值对
    for (const auto& entry : dict) 
    {
        std::cout << "Key: " << entry.first 
                  << ", Value: " << entry.second << "\n";
    }

    return 0;
}



七、让模拟实现的vector也支持{}初始化和赋值

namespace chen
{
	template<class T>
	class vector
	{
	public:
		typedef T* iterator;
		typedef const T* const_iterator;
		typedef ReverseIterator<iterator, T&, T*> reverse_iterator;
		typedef ReverseIterator<const_iterator, const T&, const T*> const_reverse_iterator;
	public:
		// 构造和析构
		vector()
		{
			std::cout << "构造" << std::endl;
		}
		
		vector(initializer_list<T> il)
		{
			size_t sz = il.size();
			auto it = il.begin();
			reserve(sz);
			for (size_t i = 0;i < sz;i++, it++)
			{
				_start[i] = *it;
			}
			_finish = _start + sz;
		}
		
		void swap(vector<T>&& v)
		{
			std::swap(this->_start, v._start);
			std::swap(this->_finish, v._finish);
			std::swap(this->_endofstorage, v._endofstorage);
		}
		
		// 赋值运算符重载
		chen::vector<T>& operator=(chen::vector<T>& tmp)
		{
			this->swap(tmp);
			return *this;
		}
		
		// 赋值运算符重载 - 列表初始器版本
		chen::vector<T>& operator=(initializer_list<T> il) 
		{
			chen::vector<T> tmp(il);
			std::swap(_start, tmp._start);
			std::swap(_finish, tmp._finish);
			std::swap(_endofstorage, tmp._endofstorage);
			return *this;
		}
		
	private:
		iterator _start = nullptr;        // 开始位置
		iterator _finish = nullptr;       // 最后一个有效位置的下一个位置
		iterator _endofstorage = nullptr; // 开辟总空间最后一个有效位置的下一个位置
	};
}

完整vector实现链接:博主的STL模拟实现

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1437223.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

JRT监听程序

本次设计避免以往设计缺陷&#xff0c;老的主要为了保持兼容性&#xff0c;在用的设计就不好调了。 首先&#xff0c;接口抽象时候就不在给参数放仪器ID和处理类了&#xff0c;直接放仪器配置实体&#xff0c;接口实现想用什么属性就用什么属性&#xff0c;避免老方式要扩参数时…

Golang GC 介绍

文章目录 0.前言1.发展史2.并发三色标记清除和混合写屏障2.1 三色标记2.2 并发标记问题2.3 屏障机制Dijkstra 插入写屏障Yuasa 删除写屏障混合写屏障 3.GC 过程4.GC 触发时机5.哪里记录了对象的三色状态&#xff1f;6.如何观察 GC&#xff1f;方式1&#xff1a;GODEBUGgctrace1…

cocos creator 3.x 预制体无法显示

双击预制体&#xff0c;进入详情页&#xff0c;没有显示资源 Bomb 是个预制体&#xff0c;但是当我双击进来什么都没有了&#xff0c;无法对预制体进行可视化编辑 目前我只试出来一个解决方法&#xff1a; 把预制体拖进Canvas文件中&#xff0c;这样就能展示到屏幕上&#xff…

springboot集成easypoi导出多sheet页

pom文件 <dependency><groupId>cn.afterturn</groupId><artifactId>easypoi-base</artifactId><version>4.1.0</version> </dependency> 导出模板&#xff1a; 后端代码示例&#xff1a; /*** 导出加油卡进便利店大额审批列…

三网码支付系统源码,三网免挂有PC软件,有云端源码,附带系统搭建教程

搭建教程 1.先上传云端源码 然后配置Core/Config.php文件里面数据库信息注改&#xff1b;数据库帐号密码 2.云端源码里面Core/Api_Class/Instant_Url_List.php文件配置终端地址注改&#xff1b;第4 http://终端地址/ 3.导入云端数据库 账号admin 密码123456注改&#xff1…

ELAdmin 前端启动

开发工具 官方指导的是使用WebStorm&#xff0c;但是本人后端开发一枚&#xff0c;最终还是继续使用了 idea&#xff0c;主打一个能用就行。 idea正式版激活方式&#xff1a; 访问这个查找可用链接&#xff1a;https://3.jetbra.in/进入任意一个能用的里面&#xff0c;顶部提…

java---查找算法(二分查找,插值查找,斐波那契[黄金分割查找] )-----详解 (ᕑᗢᓫ∗)˒

目录 一. 二分查找&#xff08;递归&#xff09;&#xff1a; 代码详解&#xff1a; 运行结果&#xff1a; 二分查找优化&#xff1a; 优化代码&#xff1a; 运行结果&#xff08;返回对应查找数字的下标集合&#xff09;&#xff1a; ​编辑 二分查找&#xff08;非递归…

YUM | 包安装 | 管理

YUM 功能 软件包安装&#xff1a; 通过yum命令安装软件包。例如&#xff0c;安装一个名为 example-package 的软件包 yum install example-package更新包 检查更新&#xff1a; 检查可用更新&#xff1a; sudo yum check-update <package_name>软件包更新&#xff1a; y…

k8s报错记录(持续更新中....)

k8s报错记录(持续更新中…) 1. 部署k8s遇到kube-flannel已经构建&#xff0c;但是coredns一直处于ContainerCreating和pending状态 解决问题&#xff1a; 通过 kubectl describe pod -n kube-system coredns-7ff77c879f-9ls2b 查看pod的详细信息&#xff0c;报错说是cni 配置没…

Linux系统调试课:硬件断点

沉淀、分享、成长,让自己和他人都能有所收获!😄 📢在linux内核编程中,经常会遇到由于内存被篡改,例如 buffer overflow,野指针,write after free等。查找分析此类问题非常的麻烦。 一、什么是硬件断点 硬件断点,是Linux内核中是一种被ptrace和内核内调试器使用调试…

蓝桥杯嵌入式学习记录——点亮第一个LED(含软件的使用)

目录 一、蓝桥杯概述 二、软件的使用 三、点亮LED 一、蓝桥杯概述 蓝桥杯是一个编程大赛、商赛&#xff0c;获奖率高达60%&#xff08;省赛中一等奖10%、二等奖20%、三等奖30%&#xff09;&#xff0c;但这并不影响它的含金量&#xff0c;多所高校将它列为A类赛事并实行保研…

React+Echarts实现数据排名+自动滚动+Y轴自定义toolTip文字提示

1、效果 2、环境准备 1、react18 2、antd 4 3、代码实现 原理&#xff1a;自动滚动通过创建定时器动态更新echar的dataZoom属性startValue、endValue&#xff0c;自定义tooltip通过监听echar的鼠标移入移出事件&#xff0c;判断tooltTip元素的显隐以及位置。 1、导入所需组…

阿里云游戏服务器租用价格表,2024最新报价

阿里云游戏服务器租用价格表&#xff1a;4核16G服务器26元1个月、146元半年&#xff0c;游戏专业服务器8核32G配置90元一个月、271元3个月&#xff0c;阿里云服务器网aliyunfuwuqi.com分享阿里云游戏专用服务器详细配置和精准报价&#xff1a; 阿里云游戏服务器租用价格表 阿…

C语言之随心所欲打印三角形,金字塔,菱形(倒金字塔)

个人主页&#xff08;找往期文章包括但不限于本期文章中不懂的知识点&#xff09;&#xff1a; 我要学编程(ಥ_ಥ)-CSDN博客 目录 三角形 金字塔 倒金字塔 菱形 三角形 题目&#xff1a;根据输入的行数打印对应的三角形。&#xff08;用 * 号打印&#xff09; #includ…

亚信安慧AntDB构建繁荣生态的数据库管理系统

亚信安慧AntDB是一款数据库管理系统&#xff0c;它采用全球影响力大、社区繁荣、开放度高、生态增长迅速的PG内核。这款系统具有卓越的性能和稳定性&#xff0c;在全球范围内备受用户青睐。与此同时&#xff0c;AntDB的社区也是充满活力的&#xff0c;用户可以在社区中交流经验…

Java设计模式大全:23种常见的设计模式详解(三)

本系列文章简介&#xff1a; 设计模式是在软件开发过程中&#xff0c;经过实践和总结得到的一套解决特定问题的可复用的模板。它是一种在特定情境中经过验证的经验和技巧的集合&#xff0c;可以帮助开发人员设计出高效、可维护、可扩展和可复用的软件系统。设计模式提供了一种在…

Springboot项目报文加密(AES、RSA、Filter动态加密)

Springboot项目报文加密(AES、RSA、Filter动态加密) 一、痛点1.1、初版报文加密二、前期准备2.1、AES加密2.2、RSA加密2.3、国密算法概述2.4、国密SM22.5、国密SM32.6、国密SM42.7、JAVA中的拦截器、过滤器2.8、请求过滤器2.9、响应过滤器2.10、登录验证码2.11、BCrypt非对称…

【力扣 51】N 皇后(回溯+剪枝+深度优先搜索)

按照国际象棋的规则&#xff0c;皇后可以攻击与之处在同一行或同一列或同一斜线上的棋子。 n 皇后问题 研究的是如何将 n 个皇后放置在 nn 的棋盘上&#xff0c;并且使皇后彼此之间不能相互攻击。 给你一个整数 n &#xff0c;返回所有不同的 n 皇后问题 的解决方案。 每一种…

C++ 11/14/17 智能指针

1. 简介 为了更加容易&#xff08;更加安全&#xff09;的使用动态内存&#xff0c;引入了智能指针的概念。智能指针的行为类似常规指针&#xff0c;重要的区别是它负责自动释放所指向的对象。 标准库提供的两种智能指针的区别在于管理底层指针的方法不同&#xff1a;shared_p…

【MATLAB】使用随机森林在回归预测任务中进行特征选择(深度学习的数据集处理)

1.随机森林在神经网络的应用 当使用随机森林进行特征选择时&#xff0c;算法能够为每个特征提供一个重要性得分&#xff0c;从而帮助识别对目标变量预测最具影响力的特征。这有助于简化模型并提高其泛化能力&#xff0c;减少过拟合的风险&#xff0c;并且可以加快模型训练和推理…