今天,我们继续「Rust学习笔记」的探索。我们来谈谈关于「基础概念」的相关知识点。
Rust的所有权(ownership)机制规定:Rust中的每个值都有一个被称为其所有者(owner)的变量,并且有且只能有唯一的所有者。
内部可变性(interior mutability)是Rust用来表示在一个值的外部看起来是不可变的,但是在内部是可变的。这种模式通常用于在拥有不可变引用的同时修改目标数据。
智能指针虽然也号称指针,但是它是一个复杂的家伙:通过比引用更复杂的数据结构,包含比引用更多的信息,例如元数据,当前长度,最大可用长度等。引用和智能指针的另一个不同在于前者仅仅是借用了数据,而后者往往可以拥有它们指向的数据,然后再为其它人提供服务。智能指针往往是基于结构体实现,它与我们自定义的结构体最大的区别在于它实现了 Deref 和 Drop 特征:
此时可以使用Box<T>指针指向嵌套的列表,得到cons list类型的结构体。(指针的内存大小是已知的,但列表的大小是在进行结构体声明时未知的)
在了解了Rust中的所有权、所有权借用、生命周期这些概念后,相信各位坑友对Rust已经有了比较深刻的认识了,今天又是一个连环坑,我们一起来把智能指针刨出来,一探究竟。
Rust是一种以安全性和高效性著称的系统级编程语言,其设计哲学是在不损失性能的前提下,保障代码的内存安全和线程安全。为了实现这一目标,Rust引入了"所有权系统"、"借用检查器"等特性,有效地避免了常见的内存安全问题。然而,有时候我们需要在程序的整个生命周期内共享和修改全局状态,这时可变静态变量就派上用场。本篇博客将深入探讨Rust中的可变静态变量,包括可变静态变量的定义、使用场景、使用方法以及潜在的风险和注意事项,以便读者了解如何在Rust中正确地管理全局状态的可变性。
在 Rust 编程语言中,变量是存储数据的命名容器。它们允许我们在程序中创建、修改和访问数据。Rust 是一种静态类型的语言,这意味着我们需要在使用变量之前明确地声明其类型。本篇博客将详细介绍 Rust 中的变量定义和使用,并提供一些示例代码来说明其概念和用法。
我们之前介绍的单一所有权,其实已经能满足我们使用内存的大部分场景。在编译时就能完成静态检查,不会影响运行时的效率。
想必写过 C 的程序员对指针都会有一种复杂的情感,与内存相处的过程中可以说是成也指针,败也指针。一不小心又越界访问了,一不小心又读到了内存里的脏数据,一不小心多线程读写数据又不一致了……我知道讲到这肯定会有人觉得“出这种问题还不是因为你菜”云云,但是有一句话说得好:“自由的代价就是需要时刻保持警惕”。
所有权是用来管理堆上内存的一种方式,在编译阶段就可以追踪堆内存的分配和释放,不会对程序的运行期造成任何性能上的损失。
重定义(遮蔽)特性是一个 Rust 特有的语言特性。 相对于可变变量,重定义(遮蔽)一个变量,可以改变原有变量的数据类型和可变性。
这些函数返回NUMERIC数据类型,除非表达式是数据类型DOUBLE。 如果expression为DOUBLE,则返回DOUBLE。
在 Rust 中,解引用是指使用 * 运算符访问指针或智能指针中的值。解引用允许我们获取指针指向的实际值,以便进行读取或修改。本篇博客将详细介绍 Rust 中解引用的使用方法和相关概念。
安卓平台上代码的正确性是每个安卓版本的安全性、稳定性和质量的首要任务。C 和 C++ 中的内存安全错误仍然是最难解决的不正确性来源,一直占 Android 高严重度安全漏洞的 70% 左右。
作者 | Ilya Suzdalnitski 译者 | 盖磊 策划 | 蔡芳芳 如果搜索“最佳编程语言”,结果会罗列一堆文章。这些文章涵盖各主流语言,并且大多对各语言优缺点的表述模棱两可,表述不到位,缺少实战借鉴意义。本文概述了当前在用的现代编程语言,按推荐程度从低到高依次列出。希望本文有助于读者选择合适的工具完成工作,降低开发工作量。原文篇幅过长。译文按设计用于命令式编程的 C 语言家族,以及设计用于响应式编程的 ML 语言家族,分为上下两篇提供。本文是上篇。 如何了解某种编程语言的优缺点?某种编程语言是
今天我要给大家分享一些自己日常学习到的一些知识点,并以文字的形式跟大家一起交流,互相学习,一个人虽可以走的更快,但一群人可以走的更远。
本文是对 Jon Gjengset 写的新书 《Rust for Rustaceans》样章第二章的中文试译初稿。出于对 Jon 的尊敬,以及想了解 Jon 眼中的 Rust ,我打算翻译一下这本书。发出来让大家看看翻译效果,欢迎指正。
在Rust中,函数签名类似“讲故事”。经验丰富的Rust程序员,只需浏览一个函数的签名,就可以知道该函数大部分的行为。
所有权是 Rust 很有意思的一个语言特性,但对于初学者却是一个比较有挑战的内容。
在我的交流群里有许多人在讨论 rust。所以陆续有人开始尝试学习 rust,不过大家的一致共识就是:rust 上手很困难。当然,这样的共识在网上也普遍存在。
C# record 是一种引用类型,是C# 9.0引入的新特性。它是一种轻量级的、不可变的数据类型,具有只读属性,因此在创建后无法更改,这使得它线程安全。与类不同,record 类型是基于值相等而不是唯一标识符的,这意味着两个 record 实例只要它们的属性相等,就被视为相等。
在 Rust 中,Rc<RefCell<T>> 是一种组合智能指针,用于实现多所有权共享可变数据。Rc 允许多个所有者共享相同的数据,而 RefCell 允许在有多个引用的情况下对数据进行可变操作。
“可变性是以一种类型安全的方式,将一个对象作为另一个对象来使用。“ - Jon Skeet
昨晚睡前无意识网络闲逛,发现了 Brian Anderson 于 2021 年 5 月 2 日 撰写的文章 Rust’s Most Unrecognized Contributor。文章或许存在争议,但文笔很棒,我们也可以多看多思:作为成年人,我们都晓得,任何伟大的背后,无一例外都沉积着丰厚的、但举足轻重的不知名,或者说默默无闻。笔者不由得希望将此文分享,共同向诸多先行者致敬。
本章介绍了几乎所有编程语言中出现的概念以及它们在 Rust 中的工作方式。许多编程语言的核心有很多共同点。本章中介绍的概念都不是 Rust 独有的,但我们将在 Rust 的背景中讨论它们,并解释使用这些概念的约定。
如果你一直在订阅这个系列,关于所有权的那篇文章[1]可能给你带来了这种印象——Rust 确实是个好东西,C++不应该在生产环境中使用。智能指针可能会改变你的想法。用现代的话来说,Smart pointers 是指那些有点(嗯......)额外(东西)的指针。他们本质上还是管理其所指向的对象的内存地址,并且当对象不再被使用的时候会将其释放。这消除了很多因不恰当的内存管理而引起的 bug,并使得编程不再那么枯燥乏味。C++智能指针为原始指针提供了一个安全的替代方案,而 Rust 智能指针则在保证安全的前提下扩展了语言功能。
学习一门语言第一个要了解的当然就是变量啦。Rust使用关键字let来定义变量。我们写一个简单的demo
Rust 在其类型系统中的另一个特性也采用了类似于 C# 和 Java 的思想,有些值是与类型而不是该类型的特定实例关联起来的。在 Rust 中,这些叫作关联常量。
笔者的主力语言是Java,近三年Kotlin、Groovy、Go、TypeScript写得比较多。早年间还写过一些Python和JavaScript。总得来说落地在生产中的语言都是应用级语言,对于系统编程级语言接触不多。但这不妨碍我写下这么一篇笔记,说不定也有一些常年在应用层的同学想领略一下Rust的风采呢。
作为一名JavaScript或TypeScript开发者,你可能对Rust这门语言充满好奇。Rust因其卓越性能和安全性,近年来在开发者中声名鹊起,成为许多人的首选编程语言。
在程序开发的世界里,有一个名字越来越响亮——Rust。这门语言以其高效、强大的性能和稳定性,成为了编程领域的一个强有力的竞争者。对于那些想要扩展自己技能树的JavaScript开发者来说,初次接触Rust可能会感觉有点吃力。
在Rust源代码中,rust/library/core/src/num/dec2flt/common.rs的作用是定义了一些用于十进制到浮点数转化的共享逻辑。以下是对该文件内容的详细介绍:
总算是把期末考最忙的一阵子熬过去了,来整理整理快发霉的博客。这篇文章躺在草稿箱快有一个学期了,期间我也对Rust有了更深的认识,于是正好改写作为假期的第一篇文章。
3.1 变量与可变性 声明变量使用 let 关键字 默认情况下,变量是不可变的(Immutable) 案例:variables fn main() { let mut x = 5; println!("x = {}", x); //5 可变 x = 6; println!("x = {}", x); //6 可变 let x = 7; println!("x = {}", x); //7 不可变 } 3.1.1 变量与常量 常量 (constant),常量是
Rust 宏定义,拯救运行时错误 如果你碰巧在 Rust 应用程序中使用 Lua ,你可以编写一个小宏,在 Lua 上强制执行它并运行 Lua 解释器以在编译时捕获相关错误。作者以 Aerospike 分布式键值存储为🌰,展开了如何通过 rust 宏中展开 lua 解析到 AST 上并校验 Aerospike 规则的方法。 完整示例:https://github.com/AdRoll/aerospike-code-gen/blob/master/src/lib.rs 原文:https://tech.next
◆ Pythonic的方式使用map和filter 列表迭代在python中是非常pythonic的使用方式 def inc(x): return x+1 >>> list(map(inc,range(10))) [1, 2, 3, 4, 5, 6, 7, 8, 9, 10] # pythonic way >>> [inc(i) for i in range(10)] [1, 2, 3, 4, 5, 6, 7, 8, 9, 10] def is_even(x): return x%2==0 >
不可变性使您的对象线程安全并有助于改进内存管理。它还使您的代码更具可读性和更易于维护。不可变对象被定义为一旦创建就无法更改的对象。因此,不可变对象本质上是线程安全的,并且不受竞争条件的影响。
String是最常操作的引用类型了,但也是我最怕的地方(因为不熟悉),最怕还是String和Array同时出现,所以现在先写下一篇博客熟悉熟悉字符串
什么是类型?类型是对二进制数据的一种约束行为。类型比起直接使用二进制数据,有许多优势:
在Rust的编译器源代码中,rust/compiler/rustc_borrowck/src/diagnostics/find_all_local_uses.rs文件的作用是为了在借用检查期间找到特定局部变量的所有使用。
“Java 中 String 为什么设计成 final 类?为什么它有’不可变性’?”
看到社区有朋友对 Brain 这篇文章已经做了翻译,但是出于对 Rust 发展背后付出的无名英雄的敬意,我又认真翻译了一遍。这篇翻译得到了 Brian 本人的授权。
在Rust中,Slice(切片)是一种引用类型,它允许我们以引用的方式访问连续内存中的一段数据,而无需拥有整个数据。Slice是Rust中非常重要的数据结构,它提供了一种灵活且高效的方式来处理数据的部分视图。本篇博客将详细介绍Rust中Slice的概念、使用方法以及相关特性,并提供代码示例来帮助读者更好地理解Slice的工作原理。
原文地址:Functional-Light-JS 原文作者:Kyle Simpson-《You-Dont-Know-JS》作者 第 6 章:值的不可变性 在第 5 章中,我们探讨了减少副作用的重要性:
可选参数重在“可选”,即在调用方法时,该参数可以明确制定实参,也可以不指定。如下面代码中定义的方法就包含3个参数,一个必备参数和两个可选参数
在Rust源代码中,rust/src/tools/rust-analyzer/crates/hir-ty/src/interner.rs这个文件是rust-analyzer工具的一部分,它定义了用于将类型系统中的实体进行唯一标识和共享的Interner和InternedWrapper。
领取专属 10元无门槛券
手把手带您无忧上云