Rust的所有权(ownership)机制规定:Rust中的每个值都有一个被称为其所有者(owner)的变量,并且有且只能有唯一的所有者。
总算是把期末考最忙的一阵子熬过去了,来整理整理快发霉的博客。这篇文章躺在草稿箱快有一个学期了,期间我也对Rust有了更深的认识,于是正好改写作为假期的第一篇文章。
智能指针虽然也号称指针,但是它是一个复杂的家伙:通过比引用更复杂的数据结构,包含比引用更多的信息,例如元数据,当前长度,最大可用长度等。引用和智能指针的另一个不同在于前者仅仅是借用了数据,而后者往往可以拥有它们指向的数据,然后再为其它人提供服务。智能指针往往是基于结构体实现,它与我们自定义的结构体最大的区别在于它实现了 Deref 和 Drop 特征:
今年有个想法,重新设计 libatbus 然后用 Rust 实现出来,然后可以加入一些云原生的支持。这需要一个定时器模块,我看了下 Rust 现有的几种定时器的实现,大多是基于堆或树的结构的,没有找到jiffies定时器的实现,所以想自己实现一个算了。这个定时器的实现又需要类似 C++ 的 std::list::iterator 的 插入和删除某个迭代器对其他迭代器没有影响 的特性,但是 Rust 的数据结构都不是这种设计模型。所以就决定自己写一个吧。
C++11-右值引用/新的类功能/可变参数列表 零、前言 一、右值引用 1、左值和右值 2、左值引用和右值引用 3、右值引用 4、移动语义 5、右值引用引用左值 6、完美转发 7、右值引用作用 二、新的类功能 1、默认成员函数 2、移动构造和移动赋值 三、可变参数列表 1、参数包的展开 2、STL中的emplace 零、前言 本章继续跟着上章讲解C++11的新语法特性,主要包括右值引用 一、右值引用 引入及概念: C++98中提出了引用的概念,引用即别名,引用变量与其引用实体公共同一块内存空间,而
当形参是非引用类型时,实参的值会被拷贝给形参,实参和形参是两个完全不同的对象,函数对形参做的所有操作都不会影响实参。
导语 | 在日常开发过程中,若长期使用C++语言,在初次使用Rust的过程中可能会碰到一些问题。本文尝试从C++的角度来说明在使用Rust时需要特别注意的一些地方,特别是其中的思维方式的转变(mind shift)。 一、赋值的move语义 (一)C++ vs Rust C++的赋值操作是copy语义,在不考虑优化的情况下,从语义的角度理解,赋值后内存中的某个对象即变成了两份。修改新的对象并不会对旧对象产生副作用。 而Rust对赋值操作有更加精细的控制,以下两条: 对于所有实现了Copy trai
我曾经有过的所有这些对生命周期的误解,现在有很多初学者也深陷于此。我用到的术语可能不是标准的,所以下面列了一个表格来解释它们的用意。
在2003年C++标准委员会曾经提交了一份技术勘误表(简称TC1),使得C++03这个名字已经取代了C++98称为C++11之前的最新C++标准名称。不过由于C++03(TC1)主要是对C++98标准中的漏洞进行修复,语言的核心部分则没有改动,因此人们习惯性的把两个标准合并称为C++98/03标准。从C++0x到C++11,C++标准10年磨一剑,第二个真正意义上的标准珊珊来迟。相比于C++98/03,C++11则带来了数量可观的变化,其中包含了约140个新特性,以及对C++03标准中约600个缺陷的修正,这使得C++11更像是从C++98/03中孕育出的一种新语言。相比较而言,C++11能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全,不仅功能更强大,而且能提升程序员的开发效率,公司实际项目开发中也用得比较多,所以我们要作为一个重点去学习。C++11增加的语法特性非常篇幅非常多,我们这里没办法一 一讲解,所以本篇博文主要讲解实际中比较实用的语法。
如果你一直在订阅这个系列,关于所有权的那篇文章[1]可能给你带来了这种印象——Rust 确实是个好东西,C++不应该在生产环境中使用。智能指针可能会改变你的想法。用现代的话来说,Smart pointers 是指那些有点(嗯......)额外(东西)的指针。他们本质上还是管理其所指向的对象的内存地址,并且当对象不再被使用的时候会将其释放。这消除了很多因不恰当的内存管理而引起的 bug,并使得编程不再那么枯燥乏味。C++智能指针为原始指针提供了一个安全的替代方案,而 Rust 智能指针则在保证安全的前提下扩展了语言功能。
定义不复杂,Deref 只包含一个 deref 方法签名。该 trait 妙就妙在,它会被编译器 「隐式」调用,官方的说法叫 deref. 强转(deref coercion)[23] 。标准库示例:
C++使用new分配内存后,应该使用delete释放内存。在C中,使用malloc分配内存后,应该使用free释放内存。
我们之前介绍的单一所有权,其实已经能满足我们使用内存的大部分场景。在编译时就能完成静态检查,不会影响运行时的效率。
在我们使用c/c++的时候,或者在面试的时候,会被问道与const相关的问题,比如const修饰放在指针的哪个位置,const修饰的引用传递与值传递等等,这些究竟是什么个情况,本节就是专门来解决const的疑难杂症,干掉const,offer拿到手软!
自从C++98以来,C++11无疑是一个相当成功的版本更新。它引入了许多重要的语言特性和标准库增强,为C++编程带来了重大的改进和便利。C++11的发布标志着C++语言的现代化和进步,为程序员提供了更多工具和选项来编写高效、可维护和现代的代码
Rust 是一种系统级编程语言,它的设计目标是提供高性能、安全性和并发性。Rust 的主要优势包括:
---- 概述 随着自己学习C++11的进度,今天记录和实战C++11的战果。废话少说,直接记录C++11的点滴。 数组 在前面学习系列里面,介绍了模板容器类vector,是一个单链表。今天来了解一下C++中的数组。数组也是存放相同类型的容器,数组的大小是固定不变的(编译时数组的维度必须是已知的)。如果想动态操作容器(增加,删除等)或者事先不知道容器的大小,请使用vector。 在使用数组时注意一下几点: 1.数组的维度必须是常量表达式,在编译时是已知的。 #错误的,无法通过非常量表达式初始化数组,请使用
Google 用了很多自己实现的技巧 / 工具使 C++ 代码更加健壮, 我们使用 C++ 的方式可能和你在其它地方见到的有所不同.
模板定义以关键字template关键字开始,后面跟着一个模板参数列表(不能为空):
初次接触lambda这个关键字,记得还是在python里面,但其实,早在2011年c++11推出来的时候我们c++就有了这个关键字啦。lambda表达式是C++11中引入的一项新技术,利用lambda表达式可以编写内嵌的匿名函数,用以替换独立函数或者函数对象,并且使代码更可读。
所有权是用来管理堆上内存的一种方式,在编译阶段就可以追踪堆内存的分配和释放,不会对程序的运行期造成任何性能上的损失。
C++11扩大了用大括号括起的列表(初始化列表)的使用范围,使其可用于所有的内置类型和用户自 定义的类型,使用初始化列表时,可添加等号(=),也可不添加。
用const修饰变量或方法,从而告诉编译器这些都是不可变的,有助于编译器优化代码,并帮助开发人员了解函数是否有副作用。此外,使用const &可以防止编译器复制不必要的数据。John Carmack对```const```的评论[2]值得一读。
上面的参数args前面有省略号,所以它就是一个可变模版参数,我们把带省略号的参数称为“参数 包”,它里面包含了0到N(N>=0)个模版参数。我们无法直接获取参数包args中的每个参数的,只能通过展开参数包的方式来获取参数包中的每个参数,这是使用可变模版参数的一个主要特点,也是最大的难点,即如何展开可变模版参数。
观察者模式(Observer Pattern)主要解决的是当对象间存在一对多关系时当一个对象被修改,会自动通知依赖它的其它对象。在设计模式中观察者模式属于行为型模式。
在2003年C++标准委员会曾经提交了一份技术勘误表(简称TC1),使得C++03这个名字已经取代了C++98称为C++11之前的最新C++标准名称。不过由于C++03(TC1)主要是对C++98标准中的漏洞进行修复,语言的核心部分则没有改动,因此人们习惯性的把两个标准合并称为C++98/03标准。从C++0x到C++11,C++标准10年磨一剑,第二个真正意义上的标准珊珊来迟。相比于C++98/03,C++11则带来了数量可观的变化,其中包含了约140个新特性,以及对C++03标准中约600个缺陷的修正,这使得C++11更像是从C++98/03中孕育出的一种新语言。相比较而言,C++11能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全,不仅功能更强大,而且能提升程序员的开发效率,公司实际项目开发中也用得比较多,所以我们要作为一个重点去学习。C++11增加的语法特性非常篇幅非常多,我们这里没办法一 一讲解,所以本期博客主要讲解实际中比较实用的语法。
想必写过 C 的程序员对指针都会有一种复杂的情感,与内存相处的过程中可以说是成也指针,败也指针。一不小心又越界访问了,一不小心又读到了内存里的脏数据,一不小心多线程读写数据又不一致了……我知道讲到这肯定会有人觉得“出这种问题还不是因为你菜”云云,但是有一句话说得好:“自由的代价就是需要时刻保持警惕”。
如果说C++在内存安全上做出了自己的努力,那么在线程并发安全上则努力程度还不够;而Rust则是从一开始就在内存安全和线程安全上下足了功夫,同时没有抛弃性能。
在了解了Rust中的所有权、所有权借用、生命周期这些概念后,相信各位坑友对Rust已经有了比较深刻的认识了,今天又是一个连环坑,我们一起来把智能指针刨出来,一探究竟。
第 16 章 模板与泛型编程 标签: C++Primer 学习记录 模板 泛型编程 ---- 第 16 章 模板与泛型编程 16.1 定义模板 16.2 模板实参推断 16.3 重载与模板 16.4 可变参数模板 16.5 模板特例化 在做这一章的笔记时,因为有很多内容也是在看 C++ Primer这本书时第一次接触到,所以需要记录大段文字。挨个字敲,又太累,所以就想有没有什么高效的输入手段。后面想到了语音输入,对比了搜狗输入法和讯飞输入法,发现讯飞输入法对于专业术语也能翻译的很好。这样一来,遇到整段文字
在 Rust 中,Rc<RefCell<T>> 是一种组合智能指针,用于实现多所有权共享可变数据。Rc 允许多个所有者共享相同的数据,而 RefCell 允许在有多个引用的情况下对数据进行可变操作。
定义: C++11新增了很多特性,lambda表达式(lambda expression)就是其中之一,很多语言都提供了 lambda 表达式,如 Python,Java ,C#等。本质上, lambda 表达式就是一个可调用的代码单元[1]^{[1]}。实际上是一个闭包(closure),类似于一个匿名的函数,拥有捕获所在作用域中变量的能力;能够将函数做为对象一样使用。通常用用来实现回调函数、代理等功能。lambda表达式是函数式编程的基础,C++11引入了lambda则弥补了C++在函数式编程方面的空缺。
虽然Rust工作上不一定用到,目前很难靠这个吃饭。但因为下面几个原因,有必要了解下Rust:
C++11标准为C++编程语言的第三个官方标准,正式名叫ISO/IEC 14882:2011 - Information technology – Programming languages – C++。在正式标准发布前,原名C++0x。它将取代C++标准第二版ISO/IEC 14882:2003 - Programming languages – C++成为C++语言新标准。
第 16 章 模板与泛型编程 标签: C++Primer 学习记录 模板 泛型编程---- 在做这一章的笔记时,因为有很多内容也是在看 C++ Primer这本书时第一次接触到,所以需要记录大段文字。挨个字敲,又太累,所以就想有没有什么高效的输入手段。后面想到了语音输入,对比了搜狗输入法和讯飞输入法,发现讯飞输入法对于专业术语也能翻译的很好。这样一来,遇到整段文字就再也不用烦心了。果然,想偷懒,才能提高效率嘛! ---- 16.1 定义模板 面向对象编程能处理类型在程序运行之前都未知的情况,动态联编。而
点个关注👆跟腾讯工程师学技术 导语 | 本文主要总结了本人在C++开发过程中对一些奇怪、复杂的语法的理解和思考,同时作为C++开发的避坑指南。 前言 C++是一门古老的语言,但仍然在不间断更新中,不断引用新特性。但与此同时C++又甩不掉巨大的历史包袱,并且C++的设计初衷和理念造成了C++异常复杂,还出现了很多不合理的“缺陷”。本文主要有3个目的: 总结一些C++晦涩难懂的语法现象,解释其背后原因,作为防踩坑之用。 和一些其他的编程语言进行比较,列举它们的优劣。 发表一些我自己作为C++程序员的看法和
[](){}是一个C++11下的Lambda表达式(匿名函数),当然[]{}也是一个Lambda表达式。
许多面试官会问:你知道回调吗?你在写回调的时候遇到哪些坑?你知道对象生命周期管理吗?为什么这里会崩溃,那里会泄漏? 在设计 C++ 回调时,你是否想过:同步还是异步?回调时(弱引用)上下文是否会失效?一次还是多次?如何销毁/传递(强引用)上下文? 这篇文章给你详细解答! 本文深入分析 Chromium 的 Bind/Callback 机制,并讨论设计 C++ 回调时你可能不知道的一些问题。 背景阅读 如果你还不知道什么是 回调 (callback),欢迎阅读 如何浅显的解释回调函数 如果你还不知道什
C++11 的std::ref函数就是为了解决在线程的创建中等过程的值拷贝问题,下面将会用一个线程的创建来展示ref函数的作用。
1、const修饰普通变量(非指针变量) const修饰变量,一般有两种写法: const TYPE value; TYPE const value; 对于一个非指针的类型TYPE,这两种写法在本质上是一样的。它的含义是:const修饰的类型为TYPE的变量value是只读的。 2、const修饰指针变量 通用的准则: 在没有括号的情况下: 如果const位于*的左侧,则const就是用来修饰指针所指向的变量,即指针指向为常量; 如果const位于*的右侧,const就是修饰指针本身,即指针本身是常量。
本文以Rc和RefCell为例,讨论Rust中的Send和Sync是如何保证线程安全的。
指针是个通用概念,它表示内存地址这种类型,其引用或“指向”其他数据。Rust中的指针是“第一类公民”(first-class values),可以将它们移动或复制,存储到数据结构中并从函数中返回。Rust提供了多种类型的指针:
此时可以使用Box<T>指针指向嵌套的列表,得到cons list类型的结构体。(指针的内存大小是已知的,但列表的大小是在进行结构体声明时未知的)
Rust 作为新兴编程语言深受 Haskell 和 OCaml 等函数式编程语言的影响,使得它在语法上与 C++ 类似,但在语义上则完全不同。Rust 是静态类型语言,同时具有完整类型推断,而不是 C++ 的部分类型推断,它在速度上可与 C++ 媲美的同时,也保证了内存安全。
std::thread类的构造函数是使用可变参数模板实现的,也就是说,可以传递任意个参数,第一个参数是线程的入口函数,而后面的若干个参数是该函数的参数。
Lambda我们可以将其理解为一个未命名的内联函数。 与任何函数类似,一个lambda具有一个返回类型,一个参数列表和一个函数体。 但与函数不同,lambda可能定义在函数内部。 一个lambda表达式具有如下形式: [capture list] (parameter list) ->return type {function body} capture list: 捕获列表,是一个lambda所在函数中定义的局部变量列表(通常为空) parameter list:参数列表 return type:返回类型 function body:函数体 但是与普通函数不同,lambda必须使用尾置返回来指定返回类型 我们可以忽略参数列表和返回类型,但必须永远包含捕获列表和函数体
用这种方式声明的引用,不能通过引用对目标变量的值进行修改,从而使引用的目标成为const,达到了引用的安全性。
领取专属 10元无门槛券
手把手带您无忧上云