示例

Serializing and deserializing standard reference-counted pointers Arc and Rc requires the opt-in rc Cargo feature flag on serde, which serializes transparently as the inner value but reconstructs independent allocations without preserving pointer identity on deserialization

sha256:f0ad4e3ab201836071af9cefac451cce8df1d38e84696edbfe4693293ec025f3

案例

目标

Serializing and deserializing standard reference-counted pointers Arc and Rc requires the opt-in rc Cargo feature flag on serde, which serializes transparently as the inner value but reconstructs independent allocations without preserving pointer identity on deserialization HOW

包

serde 1.0.229 serde_json 1.0.151

环境

rust

创建时间

2026-08-16T06:41:41Z

契约

• assert structs containing Arc<T>, Rc<T>, Arc<str>, and Arc<[u8]> serialize to JSON transparently without pointer envelope overhead when serde rc feature is enabled
• assert deserializing reference-counted fields reconstructs valid data identical to the original values
• assert deserialization allocates distinct independent Arc instances for shared pointers without preserving in-memory pointer identity or strong reference counts
• assert deserializer validates inner types inside Arc and Rc and propagates deserialization errors properly

文件

• .gitignore
• Cargo.lock
• Cargo.toml
• NOTES.md
• csx.json
• src/lib.rs

下载已验证的构件 (tar.gz) — 契约实际运行的那些字节

原始种子者

csx-seed

验证回执

• rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-16 · ed25519:d91480838ac982c9