python入坑指南_Rust入坑指南:万物初始
有没有同学记得我们一起挖了多少个坑?嗯…其实我自己也不记得了,今天我们再来挖一个特殊的坑,这个坑可以说是挖到根源了——元编程。
元编程是编程领域的一个重要概念,它允许程序将代码作为数据,在运行时对代码进行修改或替换。如果你熟悉Java,此时是不是想到了Java的反射机制?没错,它就是属于元编程的一种。
反射
Rust也同样支持反射,Rust的反射是由标准库中的std::any::Any包支持的。
这个包中提供了以下几个方法
TypeId是Rust中的一种类型,它被用来表示某个类型的唯一标识。type_id(&self)这个方法返回变量的TypeId。
is()方法则用来判断某个函数的类型。
可以看一下它的源码实现 pub fn is(&self) -> bool {
let t = TypeId::of::();
let concrete = self.type_id();
t == concrete
}
可以看到它的实现非常简单,就是对比TypeId。
downcast_ref()和downcast_mut()是一对用于将泛型T转换为具体类型的方法。其返回的类型是Option和Option,也就是说downcast_ref()将类型T转换为不可变引用,而downcast_mut()将T转换为可变引用。
最后我们通过一个例子来看一下这几个函数的具体使用方法。use std::any::{Any, TypeId};
fn main() {
let v1 = "Jackey";
let mut a: &Any;
a = &v1;
println!("{:?}", a.type_id());
assert!(a.is::());
print_any(&v1);
let v2: u32 = 33;
print_any(&v2);
}
fn print_any(any: &Any) {
if let Some(v) = any.downcast_ref::() {
println!("u32 {:x}", v);
} else if let Some(v) = any.downcast_ref::() {
println!("str {:?}", v);
} else {
println!("else");
}
}
宏
Rust的反射机制提供的功能比较有限,但是Rust还提供了宏来支持元编程。
到目前为止,宏对我们来说是一个既熟悉又陌生的概念,熟悉是因为我们一直在使用println!宏,陌生则是因为我们从没有详细介绍过它。
对于println!宏,我们直观上的使用感受是它和函数差不多。但两者之间还是有一定的区别的。
我们知道对于函数,它接收参数的个数是固定的,并且在函数定义时就已经固定了。而宏接收的参数个数则是不固定的。
这里我们说的宏都是类似函数的宏,此外,Rust还有一种宏是类似于属性的宏。它有点类似于Java中的注解,通常作为一种标记写在函数名上方。#[route(GET, "/")]
fn index() {
route在这里是用来指定接口方法的,对于这个服务来讲,根路径的GET请求都被路由到这个index函数上。这样的宏是通过属于过程宏,它的定义使用了#[proc_macro_attribute]注解。而函数类似的过程宏在定义时使用的注解是#[proc_macro]。
除了过程宏以外,宏的另一大分类叫做声明宏。声明宏是通过macro_rules!来声明定义的宏,它比过程宏的应用要更加广泛。我们曾经接触过的vec!就是声明宏的一种。它的定义如下:#[macro_export]
macro_rules! vec {
( $( $x:expr ),* ) => {
{
let mut temp_vec = Vec::new();
$(
temp_vec.push($x);
)*
temp_vec
}
};
}
下面我们来定义一个属于自己的宏。
自定义宏需要使用derive注解。(例子来自the book)
我们先来创建一个叫做hello_macro的lib库,只定义一个trait。pub trait HelloMacro {
fn hello_macro();
}
接着再创建一个子目录hello_macro_derive,在hello_macro_derive/Cargo.toml文件中添加依赖[lib]
proc-macro = true
[dependencies]
syn = "0.14.4"
quote = "0.6.3"
然后就可以在hello_macro_derive/lib.rs文件中定义我们自定义宏的功能实现了。extern crate proc_macro;
use crate::proc_macro::TokenStream;
use quote::quote;
use syn;
#[proc_macro_derive(HelloMacro)]
pub fn hello_macro_derive(input: TokenStream) -> TokenStream {
// Construct a representation of Rust code as a syntax tree
// that we can manipulate
let ast = syn::parse(input).unwrap();
// Build the trait implementation
impl_hello_macro(&ast)
}
fn impl_hello_macro(ast: &syn::DeriveInput) -> TokenStream {
let name = &ast.ident;
let gen = quote! {
impl HelloMacro for #name {
fn hello_macro() {
println!("Hello, Macro! My name is {}", stringify!(#name));
}
}
};
gen.into()
}
这里使用了两个crate:syn和quote,其中syn是把Rust代码转换成一种特殊的可操作的数据结构,而quote的作用则与它刚好相反。
可以看到,我们自定义宏使用的注解是#[proc_macro_derive(HelloMacro)],其中HelloMacro是宏的名称,在使用时,我们只需要使用注解#[derive(HelloMacro)]即可。
在使用时我们应该先引入这两个依赖hello_macro = { path = "../hello_macro" }
hello_macro_derive = { path = "../hello_macro/hello_macro_derive" }
然后再来使用use hello_macro::HelloMacro;
use hello_macro_derive::HelloMacro;
#[derive(HelloMacro)]
struct Pancakes;
fn main() {
Pancakes::hello_macro();
}
运行结果显示,我们能够成功在实现中捕获到结构体的名字。
总结
我们在本文中先后介绍了Rust的两种元编程:反射和宏。其中反射提供的功能能力较弱,但是宏提供的功能非常强大。我们所介绍的宏的相关知识其实只是皮毛,要想真正理解宏,还需要花更多的时间学习。
https://juejin.im/post/5e8f2f8b518825738e21725e
python入坑指南_Rust入坑指南:万物初始相关推荐
- pcr台服服务器连接中断,公主连结台服入坑 pcr台服入坑初始指南
公主连结台服入坑 pcr台服入坑初始指南 时间:09-24 作者:IT168下载站 来源:IT168下载站 公主连结 游戏类别:角色扮演 游戏大小:1433.60M 游戏语言:中文 游戏版本:v2.4 ...
- 数据分析避坑指南-小白兔踩坑记
从一开始的数据分析"小白兔",不断进坑.弹跳出坑,练就健壮有力的小腿,逐步变成一只拥有了防御能力.没有那么弱小的"小灰兔". 成长和职业发展的过程,就是进阶打怪 ...
- 排除万难,我终于入了程序员的坑!
"恭喜你,成功的避过了所有的正确答案,选择了错误答案".没错,我是一个数学专业的普通大学生,排除万难,我终于还是入了程序员的坑! 生活爆锤了我一顿 我是一个平凡的人,人生也一直都是 ...
- 防坑指南:资本家“坑”程序员的 15 个陷阱
要开发软件,你就需要程序员.程序员又贵.又懒.又难以掌控.不管他们开发的软件行不行,你都要付他们钱.不管怎样,对你来说,能少付他们一点是一点,毕竟钱不是大风刮来的.问题是,他们有时候会发现你给得太少, ...
- 使用Java读取 “Python写入redis” 的数据踩坑记录
https://my.oschina.net/u/2338224/blog/3061507 使用Java读取 "Python写入redis" 的数据踩坑记录 https://seg ...
- python qt gui快速编程_《PYTHON QT GUI快速编程 PYQT编程指南》源码
文件名大小更新时间 <PYTHON QT GUI快速编程 PYQT编程指南>源码\chap01\answers.txt9882007-06-27 <PYTHON QT GUI快速编程 ...
- python提前退出内层循环,python with提前退出遇到的坑与解决方案
python with提前退出遇到的坑与解决方案 来源:中文源码网 浏览: 次 日期:2018年9月2日 [下载文档: python with提前退出遇到的坑与解决方案.txt ] (友 ...
- 【保姆级】黑客入门教程「Python安全攻防:渗透测试实战指南」经典纯狱风~
前言 网络江湖,风起云涌,攻防博弈,从未间断,且愈演愈烈.从架构安全到被动纵深防御,再到主动防御.安全智能,直至进攻反制,皆直指安全的本质--攻防.未知攻,焉知防! 每一位网络安全从业者都有仗剑江湖的 ...
- python re零宽断言踩坑 re.error: look-behind requires fixed-width pattern
python re零宽断言踩坑 在在线的正则校验工具上写了大半天才写出来的表达式,往python里一粘贴复制,代码行飘红,强行运行之后,报错. 表达式: #用单引号替换txt_line中匹配到的双引号 ...
最新文章
- 清华大学《高级机器学习》课件和Fellow专家特邀报告(附pdf下载)
- 关于Android真机调測Profiler
- CodeForces - 1561E Bottom-Tier Reversals(构造)
- 如何下载SAP Cloud for Customer UI技术模型的XML源代码到本地
- 前向验证对于模型的更新作用
- erlang下lists模块sort(排序)方法源码解析(二)
- RHCS集群原理概述
- Visual studio 2012 ultimate 安装遇到 Prerequisites , 错误的函数 incorrect function
- Redis使用单线程却快到飞起的原因
- java 类.class_Java 反射之根基 Class 类
- 滑动窗口:LeetCode 3 无重复字符的最长子串
- svn is already locked
- html5 绘制思维导图,Qunee组件制作思维导图
- 模板--Guass消元法(求解多元一次方程组)
- 京东返利PHP采集关键字,PHP实现京东API的授权HASH算法
- 期待只在最美的时光遇见你
- 穷人与富人的距离0.05厘米
- 设计模式之旅(三)--观察者模式
- 安卓Android手机校园外卖订餐系统毕业设计
- 有一群海盗(不多于20人),在船上比拼酒量。过程如下:打开一瓶酒,所有在场的人平分喝下, 有几个人倒下了。再打开一瓶酒平分,又有倒下的,再次重复...... 直到开了第4瓶酒,坐着的已经所剩无
热门文章
- colab清理gpu缓存_安卓手机为什么会变卡?强制GPU渲染手机就能变流畅?你真的懂吗...
- php strchr 截断,PHP strchr() 函数
- 《软件需求分析(第二版)》第 3 章——需求工程的推荐方法 重点部分总结
- 蓝桥杯真题训练 2019.4题
- 设置中文linux输入ubuntu,Linux_ubuntu怎么设置成中文?ubuntu中文设置图文方法, 很多朋友安装ubuntu后,发 - phpStudy...
- jsp mysql优点_asp、php、asp.net、jsp的介绍和各自的优缺点
- python123平台作业答案第十一周_马哥2016全新Linux+Python高端运维班第十次作业
- 字符串固定长度 易语言_易语言字符串操作源码
- 一分钟学会python编程_用Python教你一分钟检验出来!不用群发_编程语言_Python课程_Python教程_课课家...
- 从Maven中央仓库网站下载jar包的两种方式,将会伴随java后端开发者的整个职业生涯