サンプル

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