31 个稳定版本
3.6.12 | 2024年5月8日 |
---|---|
3.6.9 | 2023年11月29日 |
3.6.8 |
|
3.6.4 | 2023年7月18日 |
1.0.2 | 2019年7月29日 |
#85 in #compact
762,380 每月下载量
在 1,629 个crate中使用 (4 个直接使用)
62KB
1.5K SLoC
Parity SCALE Codec
Parity Substrate 框架中使用的类型的数据格式 SCALE (简单连接聚合小端) 的 Rust 实现。
SCALE 是一种轻量级格式,允许编码(和解码),这使得它非常适合资源受限的执行环境,如区块链运行时和低功耗、低内存设备。
需要注意的是,编码上下文(了解类型和数据结构的外观)需要在编码和反编码端分别单独知道。编码数据不包含此上下文信息。
要更好地了解不同类型的编码方式,请参阅 Substrate 文档中的"类型编码(SCALE)"页面。
实现
该编解码器使用以下特性实现
编码
Encode
特性用于将数据编码为 SCALE 格式。 Encode
特性包含以下函数
size_hint(&self) -> usize
:获取编码数据所需的容量(以字节为单位)。这是为了避免编码所需内存的双重分配。这可以是一个估算值,不需要是精确数字。如果大小未知,甚至没有良好的最大值,则可以跳过从特徵实现中此函数。这需要是一个低成本操作,因此不应涉及迭代等。encode_to<T: Output>(&self, dest: &mut T)
:编码值并将其追加到目标缓冲区。encode<Vec<u8>(&self) -> Vec<u8>
:编码类型数据并返回一个切片。using_encoded<R, F: FnOnce(&[u8]) -> R>(&self, f: F) -> R
:编码类型数据并在编码值上执行闭包。返回执行闭包的结果。
注意:实现应覆盖值类型的 using_encoded
和分配类型的 encode_to
。尽可能实现所有类型的 size_hint
。包装类型应覆盖所有方法。
解码
Decode
特性用于将编码数据反序列化/解码到相应的类型。
fn decode<I: Input>(value: &mut I) -> Result<Self, Error>
:尝试将值从 SCALE 格式解码到调用的类型。如果解码失败,返回Err
。
CompactAs
CompactAs
特性用于将自定义类型/结构体包装为紧凑类型,这使得它们更加节省空间/内存。紧凑编码在此处描述。
encode_as(&self) -> &Self::As
:将类型(self)编码为紧凑类型。类型As
在同一特性中定义,其实现应该是紧凑可编码的。decode_from(_: Self::As) -> Result<Self, Error>
:从紧凑可编码类型解码类型(self)。
HasCompact
如果实现了 HasCompact
特性,则表示相应的类型是紧凑可编码类型。
EncodeLike
需要手动为每个类型实现 EncodeLike
特性。当使用 derive 时,它会自动为您完成。基本上,该特性为您提供了将多个类型传递到函数的机会,这些类型都编码为相同的表示。
使用示例
以下是一些示例,用于展示编解码器的使用。
简单类型
# // Import macros if derive feature is not used.
# #[cfg(not(feature="derive"))]
# use parity_scale_codec_derive::{Encode, Decode};
use parity_scale_codec::{Encode, Decode};
#[derive(Debug, PartialEq, Encode, Decode)]
enum EnumType {
#[codec(index = 15)]
A,
B(u32, u64),
C {
a: u32,
b: u64,
},
}
let a = EnumType::A;
let b = EnumType::B(1, 2);
let c = EnumType::C { a: 1, b: 2 };
a.using_encoded(|ref slice| {
assert_eq!(slice, &b"\x0f");
});
b.using_encoded(|ref slice| {
assert_eq!(slice, &b"\x01\x01\0\0\0\x02\0\0\0\0\0\0\0");
});
c.using_encoded(|ref slice| {
assert_eq!(slice, &b"\x02\x01\0\0\0\x02\0\0\0\0\0\0\0");
});
let mut da: &[u8] = b"\x0f";
assert_eq!(EnumType::decode(&mut da).ok(), Some(a));
let mut db: &[u8] = b"\x01\x01\0\0\0\x02\0\0\0\0\0\0\0";
assert_eq!(EnumType::decode(&mut db).ok(), Some(b));
let mut dc: &[u8] = b"\x02\x01\0\0\0\x02\0\0\0\0\0\0\0";
assert_eq!(EnumType::decode(&mut dc).ok(), Some(c));
let mut dz: &[u8] = &[0];
assert_eq!(EnumType::decode(&mut dz).ok(), None);
# fn main() { }
具有 HasCompact 的紧凑类型
# // Import macros if derive feature is not used.
# #[cfg(not(feature="derive"))]
# use parity_scale_codec_derive::{Encode, Decode};
use parity_scale_codec::{Encode, Decode, Compact, HasCompact};
#[derive(Debug, PartialEq, Encode, Decode)]
struct Test1CompactHasCompact<T: HasCompact> {
#[codec(compact)]
bar: T,
}
#[derive(Debug, PartialEq, Encode, Decode)]
struct Test1HasCompact<T: HasCompact> {
#[codec(encoded_as = "<T as HasCompact>::Type")]
bar: T,
}
let test_val: (u64, usize) = (0u64, 1usize);
let encoded = Test1HasCompact { bar: test_val.0 }.encode();
assert_eq!(encoded.len(), test_val.1);
assert_eq!(<Test1CompactHasCompact<u64>>::decode(&mut &encoded[..]).unwrap().bar, test_val.0);
# fn main() { }
具有 CompactAs 的类型
# // Import macros if derive feature is not used.
# #[cfg(not(feature="derive"))]
# use parity_scale_codec_derive::{Encode, Decode};
use serde_derive::{Serialize, Deserialize};
use parity_scale_codec::{Encode, Decode, Compact, HasCompact, CompactAs, Error};
#[cfg_attr(feature = "std", derive(Serialize, Deserialize, Debug))]
#[derive(PartialEq, Eq, Clone)]
struct StructHasCompact(u32);
impl CompactAs for StructHasCompact {
type As = u32;
fn encode_as(&self) -> &Self::As {
&12
}
fn decode_from(_: Self::As) -> Result<Self, Error> {
Ok(StructHasCompact(12))
}
}
impl From<Compact<StructHasCompact>> for StructHasCompact {
fn from(_: Compact<StructHasCompact>) -> Self {
StructHasCompact(12)
}
}
#[derive(Debug, PartialEq, Encode, Decode)]
enum TestGenericHasCompact<T> {
A {
#[codec(compact)] a: T
},
}
let a = TestGenericHasCompact::A::<StructHasCompact> {
a: StructHasCompact(12325678),
};
let encoded = a.encode();
assert_eq!(encoded.len(), 2);
# fn main() { }
derive 属性
derive 实现支持以下属性
codec(dumb_trait_bound)
:此属性需要放置在应该实现其中一个特质的类型之上。这将使确定要添加的特质边界的算法回退到仅使用类型的类型参数。这在算法包含私有类型在公共接口中的情况下很有用。通过使用此属性,您不应再收到此错误/警告。codec(skip)
:需要放置在字段或变体之上,使其在编码/解码时被跳过。codec(compact)
:需要放置在字段之上,并使该字段使用紧凑编码。(类型需要支持紧凑编码。)codec(encoded_as = "OtherType")
:需要放置在字段之上,并使该字段使用OtherType
编码。codec(index = 0)
:需要放置在枚举变体之上,以使变体在编码时使用给定的索引。默认情况下,索引是从0
开始计数的第一个变体。codec(encode_bound)
、codec(decode_bound)
和codec(mel_bound)
:所有 3 个属性都接受一个where
子句,分别用于注解类型的Encode
、Decode
和MaxEncodedLen
特性实现。codec(encode_bound(skip_type_params))
、codec(decode_bound(skip_type_params))
和codec(mel_bound(skip_type_params))
:这3个子属性都接受类型作为参数,以跳过对应特质的特质派生,例如在codec(encode_bound(skip_type_params(T)))
中,将不会包含一个Encode
特质界限,当对注释类型派生Encode
时。
已知问题
尽管这个crate支持任意大小的数组(例如[T; 1024 * 1024 * 1024]
)的序列化,但使用此类类型是不推荐的,并且很可能会导致栈溢出。如果您在结构体中有一个大数组需要解码,您应该用Box
将其包装起来,例如Box<[T; 1024 * 1024 * 1024]>
。
许可:Apache-2.0
lib.rs
:
为复杂结构体派生序列化和反序列化codec,以进行简单的封包。
依赖项
~3MB
~59K SLoC