当前位置：首页 > news >正文

Rust包管理与错误处理

news 来源：原创 2025/9/18 15:16:32

文章目录

- 包管理
- - 箱（Crate）
  - 包（Package）
  - 模块（Module）
  - 访问权限
  - use关键字
- 错误处理
- - 不可恢复错误
  - 可恢复错误
  - 错误传递
  - kind方法

包管理

Rust的包管理有三个重要的概念，分别是箱、包、模块

箱（Crate）

这个Crate是二进制程序文件或者是苦文件，存在于包中

是树状结构，树根是编译器开始运行时编译的源文件所编译的程序

二进制程序文件不一定是可执行文件，只能确定是包含沐白哦机器语言的文件，文件格式主要取决于编译环境

包（Package）

我们使用cargo new一个Rust工程时，这个工程其实就是一个包，包必须由Cargo.toml文件来管理，主要是描述包的基本信息和依赖项

一个包最多包含一个库Crate，但是可以包含任意二进制Crate，但是至少包含一个Crate

当我们创建完项目之后，会有一个main.rs，这其实就意味着这是一个二进制项目

模块（Module）

Rust中组织的单位是模块，模块有很多中声明方式

例如

mod nation {mod government {fn govern() {}}mod congress {fn legislate() {}}mod court {fn judicial() {}}
}

用树形图表示就是

nation├── government│ └── govern├── congress│ └── legislate└── court└── judicial

Rust中描述目录结构是使用::的

从根目录（crate）开始的绝对路径是crate::nation::government::govern();，也可以使用相对路径nation::government::govern();

访问权限

Rust中只有两种访问权限，public和private

默认是private的，要设置为公有，则需要设置pub关键字，例如

mod nation {pub mod government {pub fn govern() {}}mod congress {pub fn legislate() {}}mod court {fn judicial() {super::congress::legislate();}}
}fn main() {nation::government::govern();
}

对于结构体来说，结构体本身也可以加上pub，能让外部访问，但是其字段依旧是私有的，如果想要访问，也需要pub来声明

mod back_of_house {pub struct Breakfast {pub toast: String,seasonal_fruit: String,}impl Breakfast {pub fn summer(toast: &str) -> Breakfast {Breakfast {toast: String::from(toast),seasonal_fruit: String::from("peaches"),}}}
}
pub fn eat_at_restaurant() {let mut meal = back_of_house::Breakfast::summer("Rye");meal.toast = String::from("Wheat");println!("I'd like {} toast please", meal.toast);
}
fn main() {eat_at_restaurant()
}

在Rust中，每一个文件其实就相当于一个模块

use关键字

use关键字其实就相当于一种简便写法，可以将模块中的函数导入到当前文件，也可以使用as起一个别名

例如

mod nation {pub mod government {pub fn govern() {}}pub fn govern() {}
}use crate::nation::government::govern;
use crate::nation::govern as nation_govern;fn main() {nation_govern();govern();
}

rust也自带一些标准库，可以直接使用

rust标准库

错误处理

Rust中有一套独特的处理异常情况的机制，和C++中的try还是有很大区别的

Rust的错误有两种，可恢复错误和不可恢复错误

可恢复错误，例如说文件读写错误，这个文件有可能被其他程序占用，这是正常的，我们可以通过等待来解决这个问题

但是还有一种说逻辑错误导致的，例如数组越界访问，在C++中array是通过异常来表示的

Rust中则没有异常，对于这两种错误是有不同的处理方法的

不可恢复错误

这里我们需要使用宏，对于宏我们还是后面会具体讲，这里只是会用就行

我们来看一个宏函数panic!

fn main() {panic!("error occured");println!("Hello, Rust");
}

运行之后我们会发现，没有输出Hello, Rust, 而是在调用panic!之后就停止运行了

可恢复错误

在C/C++中，我们通常用整数做返回值来表达函数遇到的错误，但是Rust是通过一个枚举表达的

enum Result<T, E> {Ok(T),Err(E),
}

在标准库中，可能产生异常的函数的返回值都是Result枚举类型的

例如

use std::fs::File;fn main() {let f = File::open("hello.txt");match f {Ok(file) => {println!("File opened successfully.");},Err(err) => {println!("Failed to open the file.");}}
}

如果用if let会更简单一些

use std::fs::File;fn main() {let f = File::open("hello.txt");if let Ok(file) = f {println!("File opened successfully.");} else {println!("Failed to open the file.");}
}

如果想要一个可恢复错误按照不可恢复错误来处理，就可以使用两个方法

unwarp() expect(message: &str)

例如

use std::fs::File;fn main() {let f1 = File::open("hello.txt").unwrap();let f2 = File::open("hello.txt").expect("Failed to open.");
}

这种就相当于在枚举是Err时调用panic!宏，区别就是expect可以发信息

错误传递

我们可以直接使用Err(value)作为枚举来传递错误，这里的value是泛型，可以传递任意类型的参数

泛型我们下一篇来详细讲

如果我们如果想要传递泛型，接收端想要再传递出去，那就得写一个match来判断

例如这样

fn g(i: i32) -> Result<i32, bool> {let t = f(i);return match t {Ok(i) => Ok(i),Err(b) => Err(b)};
}

然后Rust又给了一个语法糖，可以在返回值是Result枚举的情况下在函数末尾加一个?，就可以直接返回错误类型了

fn g(i: i32) -> Result<i32, bool> {let t = f(i)?;Ok(t)
}

这里要注意类型的统一

kind方法

Rust中好像没有类似try一样，可以把同一类型的错误全部放在一个相同的解决处理的能力

但是我们可以把处理异常单独写一个函数，然后使用异常里的kind方法，就能知道Result的Err类型了，然后就可以针对问题进行解决

例如

use std::io;
use std::io::Read;
use std::fs::File;fn read_text_from_file(path: &str) -> Result<String, io::Error> {let mut f = File::open(path)?;let mut s = String::new();f.read_to_string(&mut s)?;Ok(s)
}fn main() {let str_file = read_text_from_file("hello.txt");match str_file {Ok(s) => println!("{}", s),Err(e) => {match e.kind() {io::ErrorKind::NotFound => {println!("No such file");},_ => {println!("Cannot read the file");}}}}
}

Rust包管理与错误处理

文章目录包管理箱（Crate）包（Package）模块（Module）访问权限use关键字错误处理不可恢复错误可恢复错误错误传递kind方法包管理 Rust的包管理有三个重要的概念，分别是箱、包、模块箱&#xf…...

编程日记 2025/9/18 15:16:32

关于gitee的readme文档中的图片问题

使用markdown编辑readme文档，需要注意添加图片，但是不显示问题 1.记得连图片一起上传到仓库中，不能只是在本地markdown文件中复制就结束了，因为存储的是本地图片地址，上传后找不到的 2.注意使用网络地址&#xff0…...

编程日记 2025/9/9 21:50:08

记录vscode连接不上wsl子系统下ubuntu18.04问题解决方法

记录vscode连接不上wsl子系统下ubuntu18.04问题解决方法报错内容尝试第一次解决方法尝试第二次解决方法注意事项参考连接报错内容 Unable to download server on client side: Error: Request downloadRequest failed unexpectedly without providing any details… Will tr…...

编程日记 2025/9/19 13:04:31

aws平台练习

编程日记 2025/9/14 6:22:10

实战篇-梳理时钟树

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录前言一、pandas是什么？二、使用步骤 1.引入库2.读入数据总结前言这是B站傅里叶的猫视频的笔记一、建立工程以Vivado的wave_gen为例子。为了引入异…...

编程日记 2025/9/18 9:23:52

【Hadoop入门】Hadoop生态之Hive简介

1 什么是Hive？ 1.1 Hive概述在大数据时代，如何让传统的数据分析师和SQL开发人员也能轻松处理海量数据？Hive应运而生。Hive是基于Hadoop构建的一套数据仓库分析系统，它提供了一种类似SQL的查询语言（HQL）&a…...

编程日记 2025/9/19 8:45:43

DSP复习【3章】

F2812提供了XINTF用于扩展并行接口的外设芯片。 XINTF（外部接口）所需的时钟是 SYSCLKOUT 和 XTIMCLK。所以正确答案是： ✅ SYSCLKOUT 和 XTIMCLK 什么是XREADY信号，如何使用？ 章节例题： 1. 如何通过软件判…...

编程日记 2025/9/10 15:16:43

Hadoop案例——流量统计

Hadoop案例——流量统计在大数据时代，流量统计是许多企业和组织的关键需求之一。通过分析网络流量数据，企业可以优化网络资源分配、提升用户体验、制定精准的营销策略等。本文将介绍如何使用 Hadoop 框架实现一个简单的流量统计案例，包括数…...

编程日记 2025/9/14 13:38:18

Linux管道有名管道（FIFO）工作机制全解：从理论到实践

有名管道（重要） 有名管道/命名管道，主要用于没有血缘关系进程间的通信当然也支持有血缘关系的情况，只是如果有血缘关系，没有必要使用有名管道，无名管道效果更佳引入好了，现在使用条件有了…...

编程日记 2025/9/18 4:29:26

java基础-修饰符

java修饰符修饰符分类访问修饰符的作用域代码说明访问修饰符总览非访问修饰符staticfinalabstractsynchronizedvolatiletransientnativestrictfp非访问修饰符总览表非访问修饰符组合与冲突规则修饰符分类分类：访问修饰符和非访问修饰符 1.访问修饰符公共…...

编程日记 2025/9/19 0:58:25

解锁基因密码之重测序（从测序到分析）

在生命科学的奇妙世界中，基因恰似一本记录着生命奥秘的“天书”，它承载着生物体生长、发育、衰老乃至疾病等一切生命现象的关键信息。而重测序技术，则是开启基因“天书”奥秘的一把神奇钥匙。试想，你手中有一本经典书籍的通用版…...

编程日记 2025/9/11 3:18:33

当使用 Docker Desktop 启动 Tomcat 镜像时时间不对

当使用 Docker Desktop 启动 Tomcat 镜像时时间不对，可能由以下原因导致并可采取相应解决方法： 宿主机时间设置问题：Docker 容器的时间是由宿主机提供的，如果宿主机的时间不正确，那么容器的时间也会不正确。需确保宿主…...

编程日记 2025/9/18 14:28:08

golang gmp模型分析

思维导图： 1. 发展过程思维导图： 在单机时代是没有多线程、多进程、协程这些概念的。早期的操作系统都是顺序执行单进程的缺点有： 单一执行流程、计算机只能一个任务一个任务进行处理进程阻塞所带来的CPU时间的浪费处于对CPU资源的利用&…...

编程日记 2025/9/18 22:14:20

Redisson的RedLock与联锁(MultiLock)的区别

Redisson提供了两种分布式锁机制：RedLock(红锁)和MultiLock(联锁)，它们在实现分布式锁时有重要区别。 1. RedLock (红锁) 设计原理： 基于Redis官方提出的Redlock算法实现目的是在Redis集群环境下提供更可靠的分布式锁需要至少3个独立的Redi…...

编程日记 2025/9/18 21:04:08

图灵逆向——题十-魔改算法

目录列表过程分析JS代码还原代码实现运行结果本题属于魔改标准加密算法，所以无法使用JS或Python中的标准库来进行模拟加密了，只能一步一步的还原它的环境咯。。。过程分析打开控制台发现有个无限debugger，直接过掉~[doge]。。。 OK过掉…...

编程日记 2025/9/19 3:59:51

K8S学习之基础七十九：关闭istio功能

关闭istio功能 kubectl get ns --show-labels kubectl label ns default istio-injection-有istio-injectionenabled的命名空间，pod都会开启istio功能反之，如果要开启istio，在对应命名空间打上该标签即可...

编程日记 2025/9/18 22:31:32

AI大模型课程系列汇总-某客时间篇

某客时间系列篇章💥 NO.文章（点击可跳转）1【课程系列11】某客时间AI 大模型应用开发实战营_ai大模型应用开发实战营百度云-CSDN博客2【课程系列12】某客时间AI大模型微调训练营_极客时间大模型rag 网盘-CSDN博客3【课程系列15】2024某客时…...

编程日记 2025/9/18 15:21:21

【人工智能】大语言模型多义词解析技术揭秘——以“项目“歧义消解为例

今天田辛老师和小伙伴探讨了一个有趣的多义词问题， 在人工智能技术日新月异的今天，大语言模型（LLM）对自然语言的理解能力已经达到令人惊叹的水平。大模型到底是如何去区分多义词的？ 比如：当用户提到"…...

编程日记 2025/9/17 10:22:06

Coze平台发布AI测试Agent的完整实现方案

以下是基于 Coze平台发布AI测试Agent的完整实现方案，包含架构设计、核心功能模块、集成方式和落地步骤：一、方案架构图 #mermaid-svg-kzS7cltxrbetjROl {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-kzS7cltxr…...

编程日记 2025/9/18 17:48:13

OpenHarmony子系统开发 - 调测工具（二）

OpenHarmony子系统开发 - 调测工具（二） 三、hiperf使用指导 hiperf是为开发人员提供性能采样分析的工具，基于内核perf机制进行的用户态能力的扩展，可以对指定的程序或者整个系统进行性能采样。 hiperf支持的命令有：l…...

编程日记 2025/9/17 18:29:37

keil ERROR: L6220E 如何解决

最近调试MK8000方案，增加code后遇到： keil ERROR: L6220E: Execution region RW_RAM1 size (24592 bytes) execeeds limit (24568 bytes) .region contains 93 bytes of padding and 0 bytes of veneers (total 93 bytes of linker generated content) …...

编程日记 2025/9/17 13:17:35

c++比较器——priority_queue用； unordered_map 自定义哈希函数

文章目录 priority_queue自定义比较方法对比较对象结构体重载 <仿函数为什么是传一个类std::less<T> 和 std::greater<T> lambda unordered_map自定义哈希函数仿函数lambda priority_queue template<class T,class Container std::vector<T>,class…...

编程日记 2025/9/18 5:12:59

centos-LLM-生物信息-BioGPT安装

参考： GitHub - microsoft/BioGPT https://github.com/microsoft/BioGPT BioGPT：用于生物医学文本生成和挖掘的生成式预训练转换器 |生物信息学简报 |牛津学术 — BioGPT: generative pre-trained transformer for biomedical text generation and mini…...

编程日记 2025/9/18 10:00:22

esp32cam远程图传：AI Thinker ESP32-CAM -》服务器公网 | 服务器 -》电脑显示

用AI Thinker ESP32-CAM板子访问公网ip的5112端口并上传你的摄像头拍摄的图像视频数据，并写一段python程序打开弹窗接受图像实现超远程图像传输教程免费 1. 首先你要有一个公网ip也就是去买一台拥有公网的服务器电脑，我买的是腾讯云1年38元的服务器还可…...

编程日记 2025/9/18 15:02:13

今日踩坑之@Autowired与@Resource区别

案例说明今天算是体验到了这俩注解的区别了，真所谓不报错就记不住这两注解区别，其实之前本人也是知道这俩注解的区别的只是我们往往项目上用习惯了Autowired就忘了，看来只有真正体会到报错才能记忆犹新o(╥﹏╥)o。说明一下本人的踩坑情况&…...

编程日记 2025/9/15 11:43:55

在 M1 芯片的 Mac 电脑上安装 Redis 可以通过 Homebrew 快速完成

以下是详细步骤： 1. 安装 Homebrew（若未安装） 打开终端，执行以下命令安装 Homebrew（已安装可跳过）： /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/…...

编程日记 2025/9/19 12:14:26

【从零开始学习JVM | 第一篇】快速认识JVM

什么是JVM？ JVM--Java虚拟机，它是Java实现平台无关性的基石。 Java程序运行的时候，编译器将Java代码编译为平台无关的Java字节码文件（.class），接下来对应平台的JVM对字节码进行运行解释，翻译成…...

编程日记 2025/9/18 7:57:25

linux 里的创建了一个tomcat用户怎么禁止该用户使用crontab 功能

在 Linux 系统中，可以通过以下方法禁止 tomcat 用户使用 crontab 功能： 方法 1：通过 /etc/cron.deny 文件限制这是最推荐的标准方法，适用于所有主流 Linux 发行版（CentOS、Ubuntu 等）。操作步骤&#…...

编程日记 2025/9/15 0:29:53

Elasticsearch入门指南(二)

一、RestClient操作索引库什么是RestClient？ ES官方提供了各种不同语言的客户端，用来操作ES。这些客户端的本质就是组装DSL语句，通过http请求发送给ES。官方文档地址： https://www.elastic.co/guide/en/elasticsearch/client/in…...

编程日记 2025/9/14 10:49:11

Mac监控新风尚：酷炫界面，性能监控更直观！

你是否曾经希望自己的Mac能够像Windows那样，轻松一按就能查看任务管理器来监控性能状态呢？ 对于Mac用户来说，系统性能监控一直是个挑战——苹果公司并没有提供一个直观的性能监控工具，用户往往需要通过复杂的活动监视器来获取这些…...

编程日记 2025/9/17 5:16:54

碰一碰发视频源码开发深度解析，定制化开发

在移动应用开发领域，便捷的数据分享功能始终备受关注。碰一碰发视频这一创新功能，借助近场通信（NFC）技术，为用户提供了一种快速、直观的视频分享体验。本文将深入剖析碰一碰发视频功能的源码开发过程，涵盖从…...

编程日记 2025/9/16 12:12:06

基于 AI智能体、大模型、RAG、Agent 等技术构建公司内部闭环智能问答系统的详细方案，结合 Spring Boot + Vue 管理系统的改造思路

以下是基于 AI智能体、大模型、RAG、Agent 等技术构建公司内部闭环智能问答系统的详细方案，结合 Spring Boot Vue 管理系统的改造思路： 1. 系统架构设计核心组件数据源层内部文档库：公司知识库（如操作手册、FAQ、流程文档&a…...

编程日记 2025/9/19 2:02:50

红宝书第三十四讲：零基础学会单元测试框架：Jest、Mocha、QUnit

红宝书第三十四讲：零基础学会单元测试框架：Jest、Mocha、QUnit 资料取自《JavaScript高级程序设计（第5版）》。查看总目录：红宝书学习大纲一、单元测试是什么？ 就像给代码做“体检”，帮你检查…...

编程日记 2025/9/18 3:31:51

视觉分析AI赋能智慧水务多场景应用

利用视觉分析的方式智慧水务的AI算法方案一、背景在传统水务监管中，面临着诸多痛点。例如，对于河道污染、水面异常、河湖四乱问题以及水生态环境差等情况，传统监管效率低下，预警不及时，资源分散，监控功…...

编程日记 2025/9/17 18:57:09

网络2 IP与MAC IP地址

IP地址与MAC地址一 1.关系： 网卡有唯一的物理地址：MAC地址，IP是配置在网卡上的逻辑地址。 IP地址、MAC地址是进行网络通信必不可少的 2.MAC地址是物理地址，不可更改，通常与IP地址绑定 3.MAC地址：48位 IP地…...

编程日记 2025/9/18 20:08:31

spark-Core

运行架构核心组件由上图可以看出，对于 Spark 框架有两个核心组件： Driver，Spark 驱动器节点其中Spark 驱动器节点，用于执行 Spark 任务中的 main 方法，负责实际代码的执行工作。 Driver 在 Spark 作业执行时主要…...

编程日记 2025/9/16 22:46:33

前端开发中的问题排查与定位：HTML、CSS、JavaScript（报错的解决方式）

目录 1.html 1. 结构错误调试：标签未正确嵌套 2. 语法问题调试：缺失引号 3. 断点调试：动态生成内容时的 JavaScript 错误 4. 网络调试：资源加载错误 5. 性能调试：页面加载性能总结： 2.CSS 1. 定位…...

编程日记 2025/9/18 17:21:42

VMware Fusion Pro 13 for Mac虚拟机

VMware Fusion Pro 13 for Mac虚拟机文章目录 VMware Fusion Pro 13 for Mac虚拟机一、介绍二、效果下载一、介绍 VMware Fusion Pro for Mac，是一款mac虚拟机软件，跟Parallels Desktop一样，都可以让你的 Mac 同时运行一个或多个不同的操作…...

编程日记 2025/9/17 0:30:02

使用cline(VSCode插件)、continue（IDEA插件）、cherry-studio玩转MCP

安装环境 uv（python） 为什么不用pip？ 使用 uv 时无需进行特定安装。使用 uvx 直接运行。 ⚡️ 比pip快10-100x https://github.com/pypa/pip https://ossinsight.io/analyze/pypa/pip?vsastral-sh%2Fuv#overview 安装 https://github…...

编程日记 2025/9/17 21:25:42

Kotlin FragmentTransaction多容器管理多个fragment

在Activity中管理五个Fragment的切换显示和隐藏，并且希望将这部分逻辑进行封装。之前已经教过他们如何在Kotlin中使用FragmentTransaction进行基本的添加、隐藏、显示和替换操作，现在需要进一步封装这些操作，提高代码的可维护性和复用性。管…...

编程日记 2025/9/17 20:45:39

PyCharm显示主菜单和工具栏

显示主菜单新版 PyCharm 是不显示主菜单的，要想显示主菜单和工具栏，则通过 “视图” → “外观” ，勾选 “在单独的工具栏中显示主菜单” 和 “工具栏” 即可。设置工具栏此时工具栏里并没有什么工具，因此我们需要自定义工具…...

编程日记 2025/9/18 8:06:06

WebView2最低支持.NET frame4.5,win7系统

WebView2最低支持.NET frame什么版本 ‌WebView2 对 .NET Framework 的最低版本要求‌ ‌基础支持范围‌ WebView2 官方支持的 .NET Framework ‌最低版本为 4.5‌，同时兼容 ‌.NET Core 3.0‌ 及以上版本‌18。对于 WPF、WinForms 等桌面应用开发，需确…...

编程日记 2025/9/14 20:46:19

ClickOnce 部署

1、在远程服务器172.16.9.252共享文件文件夹Bluetooth. 2、设置版本自动更新. 3、设置部署 4、设置创建桌面菜单二、远程发布IIS即可...

编程日记 2025/9/19 11:39:53

Kotlin 中集合 Collection 的扩展方法完全指南

Kotlin 中 Collection 的扩展方法完全指南 “代码是最美的诗篇”——本文将带你进入 Kotlin 集合扩展函数的世界，帮助你写出既高效又优雅的代码 🚀 一、引言 🤔 在 Android 开发中，集合（Collection）的操作…...

编程日记 2025/9/18 11:59:02

STM32F407使用ESP8266连接阿里云并上传数据

文章目录前言一、ESP01S介绍1.ESP01S2.MQTT固件烧录3.WIFI连接二、阿里云平台介绍1.创建产品及添加设备2.连接云平台三、数据上报四、命令下发五、完整工程前言在实现OTA功能我们必须学会如何连接云平台，本文会仔细介绍使用STM32F407和ESP8266连接阿里云平台&…...

编程日记 2025/9/16 3:22:53

TorchServe部署模型-index_to_name.json

在TorchServe部署模型时，若要将模型输出结果映射到指定标签（如分类任务的类别名称），需通过index_to_name.json文件定义索引与标签的映射关系，并在打包模型时将其作为额外文件包含。以下是完整流程和命令示例&#xff1…...

编程日记 2025/9/16 17:55:48

每日一题——BMN3 小红炸砖块

“落下”操作只会对y轴有影响，所以注意y轴的变化即可只要给出的坐标有砖块，就遍历查找他的上面是否有砖块，每一层都是这样，直到到没有砖块的那一层； 注意：定义矩阵时要注意，给出的坐标都是大…...

编程日记 2025/9/18 23:24:13

AWS服务器磁盘空间升级到100G后，怎么使其生效？

在AWS（Amazon Web Services）上扩展EBS（Elastic Block Store）卷的大小后，服务器操作系统并不会自动识别新增的空间。要使操作系统识别并使用新增的磁盘空间，您需要进行一些额外的步骤。以下是详细的指导和说…...

编程日记 2025/9/17 13:48:03

AWS弹性容器服务（AWS Elastic Container Service，ECS）概述

李升伟编译标签：AWS | ECS | 容器 | Docker AWS弹性容器服务（AWS Elastic Container Service，ECS）简介 AWS弹性容器服务（ECS）是一项完全托管的容器编排服务，支持运行、管理和扩展容器化应用…...

编程日记 2025/9/18 8:54:02

【消息队列kafka_中间件】一、快速入门分布式消息队列

在当今大数据和分布式系统盛行的时代，消息队列作为一种关键的中间件技术，发挥着举足轻重的作用。其中，Apache Kafka 以其卓越的性能、高可扩展性和强大的功能，成为众多企业构建分布式应用的首选消息队列解决方案。本篇文章将带你深…...

编程日记 2025/9/17 16:24:13