Struct WriteReceipt 

pub struct WriteReceipt { /* private fields */ }

Write receipt

写入凭据

A receipt proving that a range has been successfully written.

This receipt can only be obtained after successfully writing through MmapFile::write_range, and can only be used to flush the corresponding range. This provides compile-time safety guarantees:

• Can only flush ranges that have been written
• Cannot flush ranges that have not been written

证明某个范围已被成功写入的凭据。

只有通过 MmapFile::write_range 成功写入后才能获得此凭据， 并且只能用于刷新对应的范围。这提供了编译期的安全保证：

• 只能刷新已写入的范围
• 不能刷新未写入的范围

Examples

let (file, mut allocator) = MmapFile::create_default(&path, NonZeroU64::new(ALIGNMENT).unwrap())?;
let range = allocator.allocate(NonZeroU64::new(ALIGNMENT).unwrap()).unwrap();

// Write and get receipt
// 写入并获得凭据
let receipt = file.write_range(range, &vec![42u8; ALIGNMENT as usize]);

// Use receipt to flush the range
// 使用凭据刷新该范围
file.flush_range(receipt)?;

Implementations

impl WriteReceipt

pub fn range(&self) -> AllocatedRange

Get the range corresponding to this receipt

获取凭据对应的范围

pub fn start(&self) -> u64

Get the start position of the range

获取范围的起始位置

pub fn end(&self) -> u64

Get the end position of the range

获取范围的结束位置

pub fn len(&self) -> u64

Get the length of the range

获取范围的长度

pub fn is_empty(&self) -> bool

Check if the range is empty

检查范围是否为空

Trait Implementations

impl Clone for WriteReceipt

fn clone(&self) -> WriteReceipt

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for WriteReceipt

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for WriteReceipt

fn eq(&self, other: &WriteReceipt) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for WriteReceipt

impl Eq for WriteReceipt

impl StructuralPartialEq for WriteReceipt