Чому BCS вимагає точного порядку полів для десеріалізації, коли структури Move мають названі поля?

Question

Чому BCS вимагає точного порядку полів для десеріалізації, коли структури Move мають названі поля? Я глибоко занурювався в кодування/декодування BCS у Move, особливо для міжланцюгового зв'язку та обробки даних поза ланцюгом. Опрацьовуючи приклади в документації Sui Move, я зіткнувся з деякою поведінкою, яка здається неінтуїтивною, і я намагаюся зрозуміти основні рішення щодо дизайну.

Відповідно до специфікації BCS, «в BCS немає структур (оскільки немає типів); структура просто визначає порядок, в якому поля серіалізуються». Це означає, що при десеріалізації ми повинні використовувати peel_*функції в тому ж порядку, що і визначення поля struct.

Мої конкретні запитання:

Обґрунтування дизайну: Чому BCS вимагає точного узгодження порядку полів, коли структури Move мають названі поля? Чи не було б надійніше серіалізувати імена полів поряд зі значеннями, подібними до JSON або інших форматів, що самоописуються?
Взаємодія загальних типів: У документах згадується, що «типи, що містять поля загального типу, можна обробити до першого поля загального типу». Розглянемо таку структуру:


struct ComplexObject<T, U> has drop, copy {
    id: ID,
    owner: address,
    metadata: Metadata,
    generic_data: T,
    more_metadata: String,
    another_generic: U
}

Як саме тут працює часткова десеріалізація? Чи можу я десеріалізувати до more_metadata та ігнорувати обидва загальні поля, чи перше загальне поле (generic_data) повністю блокує подальшу десеріалізацію? 4. Міжмовна послідовність: Під час використання бібліотеки JavaScript @mysten /bcs для серіалізації даних, які будуть споживані контрактами Move, що станеться, якщо:

Я випадково змінюю порядок полів в об'єкті JavaScript?
Визначення структури Move змінює порядок поля в оновленні контракту?
У мене є вкладені структури з власними загальними параметрами?

Практичні наслідки: як команди обробляють еволюцію схеми BCS у виробничих системах? Ви редагуєте свої схеми BCS, чи очікуєте, що порядок полів структури є незмінним після розгортання?

Owen · Answer

1. Why does BCS require exact field order? Because BCS only serializes raw values — not field names or type metadata. Move structs have named fields, but BCS treats them as ordered tuples. Field names are compile-time information and are not included in the serialized output. Example: struct MyStruct { a: u64, b: bool, } Serialized as: [u64 bytes] + [bool bytes] Deserializer must read u64 then bool — order matters This makes BCS: Fast and compact Not self-describing or schema-flexible 2. How does partial deserialization work with generic types? Given: struct ComplexObject { id: ID, owner: address, metadata: Metadata, generic_data: T, // You can deserialize up to the first generic field (generic_data). After that, parsing stops unless you know how to decode T. So: If you don’t know how to parse T, you cannot safely reach more_metadata or another_generic. You must use low-level peel_* functions carefully if you want partial access. Only non-generic prefix can be safely parsed without full type knowledge. 3. Cross-language consistency with JavaScript (@mysten/bcs) Field order must match exactly, just like in Move. Reordering fields in JS object → deserialization error or misinterpreted data Changing Move struct field order after deployment → breaks compatibility Nested structs with generics → works only if all nested schemas are registered correctly 4. How do teams handle BCS schema evolution in production? Common strategies: Schema versioning: Attach version number to serialized data Immutable structs: Once deployed, never reorder or remove fields Avoid reordering, renaming, or removing fields post-deployment Use reserved/padding fields to allow future expansion Introduce new structs instead of modifying old ones Prefer concrete types in cross-language structs

Допис

Діліться своїми знаннями.

Чому BCS вимагає точного порядку полів для десеріалізації, коли структури Move мають названі поля?

Відповіді

1.Чому BCS вимагає точного порядку полів?

Приклад:

2.Як працює часткова десеріалізація з загальними типами?

Правило:

3. `@mysten/bcs`Міжмовна узгодженість з JavaScript ()

4.Як команди обробляють еволюцію схеми BCS у виробництві?

Ви знаєте відповідь?

Зароби свою частку з 1000 Sui

Допис

Діліться своїми знаннями.

Чому BCS вимагає точного порядку полів для десеріалізації, коли структури Move мають названі поля?

Відповіді

1.Чому BCS вимагає точного порядку полів?

Приклад:

2.Як працює часткова десеріалізація з загальними типами?

Правило:

3. @mysten/bcsМіжмовна узгодженість з JavaScript ()

4.Як команди обробляють еволюцію схеми BCS у виробництві?

Ви знаєте відповідь?

Зароби свою частку з 1000 Sui

3. `@mysten/bcs`Міжмовна узгодженість з JavaScript ()