-
Notifications
You must be signed in to change notification settings - Fork 0
512: feat!: Support enums and tuples in SchemaAwareSerializer and implement SchemaAwareDeserializer
#63
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
512: feat!: Support enums and tuples in SchemaAwareSerializer and implement SchemaAwareDeserializer
#63
Changes from all commits
226d4c2
f1462c3
7b4c2dc
a010ca6
b1db20f
757c25e
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,54 @@ | ||
| // Licensed to the Apache Software Foundation (ASF) under one | ||
| // or more contributor license agreements. See the NOTICE file | ||
| // distributed with this work for additional information | ||
| // regarding copyright ownership. The ASF licenses this file | ||
| // to you under the Apache License, Version 2.0 (the | ||
| // "License"); you may not use this file except in compliance | ||
| // with the License. You may obtain a copy of the License at | ||
| // | ||
| // http://www.apache.org/licenses/LICENSE-2.0 | ||
| // | ||
| // Unless required by applicable law or agreed to in writing, | ||
| // software distributed under the License is distributed on an | ||
| // "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY | ||
| // KIND, either express or implied. See the License for the | ||
| // specific language governing permissions and limitations | ||
| // under the License. | ||
|
|
||
| //! # Mapping the Avro data model to the Serde data model | ||
| //! | ||
| //! When manually mapping an Avro schema to Rust types it is important to understand | ||
| //! how the different data models are mapped. When mapping from Rust types to an Avro schema, | ||
| //! see [the documentation for the reverse](super::serde_data_model_to_avro). | ||
| //! | ||
| //! Only the the mapping as defined here is supported. Any other behavior might change in a minor version. | ||
| //! | ||
| //! ## Primitive Types | ||
| //! - `null`: `()` | ||
| //! - `boolean`: [`bool`] | ||
| //! - `int`: [`i32`] (or [`i16`], [`i8`], [`u16`], [`u8`]) | ||
| //! - `long`: [`i64`] (or [`u32`]) | ||
| //! - `float`: [`f32`] | ||
| //! - `double`: [`f64`] | ||
| //! - `bytes`: [`Vec<u8>`](std::vec::Vec) (or any type that uses [`Serialize::serialize_bytes`](serde::Serialize), [`Deserialize::deserialize_bytes`](serde::Deserialize), [`Deserialize::deserialize_byte_buf`](serde::Deserialize)) | ||
| //! - It is required to use [`apache_avro::serde::bytes`] as otherwise Serde will (de)serialize a `Vec` as an array of integers instead. | ||
| //! - `string`: [`String`] (or any type that uses [`Serialize::serialize_str`](serde::Serialize), [`Deserialize::deserialize_str`](serde::Deserialize), [`Deserialize::deserialize_string`](serde::Deserialize)) | ||
| //! | ||
| //! ## Complex Types | ||
| //! - `records`: A struct with the same name and fields or a tuple with the same fields. | ||
| //! - Extra fields can be added to the struct if they are marked with `#[serde(skip)]` | ||
| //! - `enums`: A enum with the same name and unit variants for every symbol | ||
| //! - The index of the symbol most match the index of the variant | ||
| //! - `arrays`: [`Vec`] (or any type that uses [`Serialize::serialize_seq`](serde::Serialize), [`Deserialize::deserialize_seq`](serde::Deserialize)) | ||
| //! - `[T; N]` is (de)serialized as a tuple by Serde, to (de)serialize them as an `array` use [`apache_avro::serde::array`] | ||
| //! - `maps`: [`HashMap<String, _>`](std::collections::HashMap) (or any type that uses [`Serialize::serialize_map`](serde::Serialize), [`Deserialize::deserialize_map`](serde::Deserialize)) | ||
| //! - `unions`: A enum with a variant for each variant | ||
| //! - The index of the union variant must match the enum variant | ||
| //! - A `null` can be a unit variant or a newtype variant with a unit type | ||
| //! - All other variants must be newtype variants, struct variants, or tuple variants. | ||
| //! - `fixed`: [`Vec<u8>`](std::vec::Vec) (or any type that uses [`Serialize::serialize_bytes`](serde::Serialize), [`Deserialize::deserialize_bytes`](serde::Deserialize), [`Deserialize::deserialize_byte_buf`](serde::Deserialize)) | ||
| //! - It is required to use [`apache_avro::serde::bytes`] as otherwise Serde will (de)serialize a `Vec` as an array of integers instead. | ||
| //! | ||
| //! [`apache_avro::serde::array`]: crate::serde::array | ||
| //! [`apache_avro::serde::bytes`]: crate::serde::bytes | ||
| //! [`apache_avro::serde::fixed`]: crate::serde::fixed | ||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,116 @@ | ||
| // Licensed to the Apache Software Foundation (ASF) under one | ||
| // or more contributor license agreements. See the NOTICE file | ||
| // distributed with this work for additional information | ||
| // regarding copyright ownership. The ASF licenses this file | ||
| // to you under the Apache License, Version 2.0 (the | ||
| // "License"); you may not use this file except in compliance | ||
| // with the License. You may obtain a copy of the License at | ||
| // | ||
| // http://www.apache.org/licenses/LICENSE-2.0 | ||
| // | ||
| // Unless required by applicable law or agreed to in writing, | ||
| // software distributed under the License is distributed on an | ||
| // "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY | ||
| // KIND, either express or implied. See the License for the | ||
| // specific language governing permissions and limitations | ||
| // under the License. | ||
|
|
||
| //! # Mapping the Serde data model to the Avro data model | ||
| //! | ||
| //! When manually mapping Rust types to an Avro schema, or the reverse, it is important to understand | ||
| //! how the different data models are mapped. When mapping from an Avro schema to Rust types, | ||
| //! see [the documentation for the reverse](super::serde_data_model_to_avro). | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. |
||
| //! | ||
|
Comment on lines
+20
to
+23
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Fix the “reverse” doc link. This points back to 🤖 Prompt for AI Agents |
||
| //! Only the schemas generated by the [`AvroSchema`] derive and the mapping as defined here are | ||
| //! supported. Any other behavior might change in a minor version. | ||
| //! | ||
| //! The following list is based on [the data model defined by Serde](https://serde.rs/data-model.html): | ||
| //! - **14 primitive types** | ||
| //! - `bool` => [`Schema::Boolean`] | ||
| //! - `i8`, `i16`, `i32`, `u8`, `u16` => [`Schema::Int`] | ||
| //! - `i64`, `u32` => [`Schema::Long`] | ||
| //! - `u64` => [`Schema::Fixed`]`(name: "u64", size: 8)` | ||
| //! - This is not a `Schema::Long` as that is a signed number of maximum 64 bits. | ||
| //! - `i128` => [`Schema::Fixed`]`(name: "i128", size: 16)` | ||
| //! - `u128` => [`Schema::Fixed`]`(name: "u128", size: 16)` | ||
| //! - `f32` => [`Schema::Float`] | ||
| //! - `f64` => [`Schema::Double`] | ||
| //! - `char` => [`Schema::String`] | ||
| //! - Only one character allowed, deserializer will return an error for strings with more than one character. | ||
| //! - **string** => [`Schema::String`] | ||
| //! - **byte array** => [`Schema::Bytes`] or [`Schema::Fixed`] | ||
| //! - **option** => [`Schema::Union([Schema::Null, _])`](crate::schema::Schema::Union) | ||
| //! - **unit** => [`Schema::Null`] | ||
| //! - **unit struct** => [`Schema::Record`] with the unqualified name equal to the name of the struct and zero fields | ||
| //! - **unit variant** => See [Enums](##Enums) | ||
| //! - **newtype struct** => [`Schema::Record`] with the unqualified name equal to the name of the struct and one field | ||
| //! - **newtype variant** => See [Enums](##Enums) | ||
| //! - **seq** => [`Schema::Array`] | ||
| //! - **tuple** | ||
| //! - For tuples with one element, the schema will be the schema the only element | ||
| //! - For tuples with more than one element, the schema will be a [`Schema::Record`] with as many fields as there are elements. | ||
| //! The schema must have the attribute `org.apache.avro.rust.tuple` with the value set to `true`. | ||
| //! - **Note:** Serde (de)serializes arrays (`[T; N]`) as tuples. To (de)serialize an array as a | ||
| //! [`Schema::Array`] use [`apache_avro::serde::array`]. | ||
| //! - **tuple_struct** => [`Schema::Record`] with the unqualified name equal to the name of the struct and as many fields as there are elements | ||
| //! - **Note:** Tuple structs with 0 or 1 elements will also be (de)serialized as a [`Schema::Record`]. This | ||
| //! is different from normal tuples`. | ||
| //! - **tuple_variant** => See [Enums](##Enums) | ||
| //! - **map** => [`Schema::Map`] | ||
| //! - **Note:** the key type of the map will be (de)serialized as a [`Schema::String`] | ||
| //! - **struct** => [`Schema::Record`] | ||
| //! - **struct_variant** => See [Enums](##Enums) | ||
| //! | ||
| //! ## Enums | ||
| //! | ||
| //! ### Externally tagged | ||
| //! This is the default enum representation for Serde. It can be mapped in three ways to the Avro data model. | ||
| //! For all three options it is important that the enum index matches the Avro index. | ||
| //! - As a [`Schema::Enum`], this is only possible for enums with only unit variants. | ||
| //! - As a [`Schema::Union`] with a [`Schema::Record`] for every variant: | ||
| //! - **unit_variant** => [`Schema::Record`] named as the variant and with no fields. | ||
| //! - **newtype_variant** => [`Schema::Record`] named as the variant and with one field. | ||
| //! The schema must have the attribute `org.apache.avro.rust.union_of_records` with the value set to `true`. | ||
| //! - **tuple_variant** => [`Schema::Record`] named as the variant and with as many fields as there are element. | ||
| //! - **struct_variant** => [`Schema::Record`] named as the variant and with a field for every field of the struct variant. | ||
| //! - As a [`Schema::Union`] without the wrapper [`Schema::Record`], all schemas must be unique: | ||
| //! - **unit_variant** => [`Schema::Null`]. | ||
| //! - **newtype_variant** => The schema of the inner type. | ||
| //! - **tuple_variant** => [`Schema::Record`] named as the variant and with as many fields as there are element. | ||
| //! - **struct_variant** => [`Schema::Record`] named as the variant and with a field for every field of the struct variant. | ||
| //! | ||
| //! ### Internally tagged | ||
| //! This enum representation is used by Serde if the attribute `#[serde(tag = "...")]` is used. | ||
| //! It maps to a [`Schema::Record`]. There must be at least one field that is named as the value of the | ||
| //! `tag` attribute. If a field is not used by all variants it must have a `default` set. | ||
| //! | ||
| //! ### Adjacently tagged | ||
| //! This enum representation is used by Serde if the attributes `#[serde(tag = "...", content = "...")]` are used. | ||
| //! It maps to a [`Schema::Record`] with two fields. One field must be named as the value of the `tag` | ||
| //! attribute and use the [`Schema::Enum`] schema. The other field must be named as the value of the | ||
| //! `content` tag and use the [`Schema::Union`] schema. | ||
| //! | ||
| //! ### Untagged | ||
| //! This enum representation is ued by Serde if the attribute `#[serde(untagged)]` is used. It maps | ||
| //! to a [`Schema::Union`] with the following schemas: | ||
| //! - **unit_variant** => [`Schema::Null`]. | ||
| //! - **newtype_variant** => The schema of the inner type. | ||
| //! - **tuple_variant** => [`Schema::Record`] named as the variant and with as many fields as there are element. | ||
| //! - **struct_variant** => [`Schema::Record`] named as the variant and with a field for every field of the struct variant. | ||
| //! | ||
| //! [`AvroSchema`]: crate::AvroSchema | ||
| //! [`Schema::Array`]: crate::schema::Schema::Array | ||
| //! [`Schema::Boolean`]: crate::schema::Schema::Boolean | ||
| //! [`Schema::Bytes`]: crate::schema::Schema::Bytes | ||
| //! [`Schema::Double`]: crate::schema::Schema::Double | ||
| //! [`Schema::Enum`]: crate::schema::Schema::Enum | ||
| //! [`Schema::Fixed`]: crate::schema::Schema::Fixed | ||
| //! [`Schema::Float`]: crate::schema::Schema::Float | ||
| //! [`Schema::Int`]: crate::schema::Schema::Int | ||
| //! [`Schema::Long`]: crate::schema::Schema::Long | ||
| //! [`Schema::Map`]: crate::schema::Schema::Map | ||
| //! [`Schema::Null`]: crate::schema::Schema::Null | ||
| //! [`Schema::Record`]: crate::schema::Schema::Record | ||
| //! [`Schema::String`]: crate::schema::Schema::String | ||
| //! [`Schema::Union`]: crate::schema::Schema::Union | ||
| //! [`apache_avro::serde::array`]: crate::serde::array | ||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -15,11 +15,12 @@ | |
| // specific language governing permissions and limitations | ||
| // under the License. | ||
|
|
||
| use std::{error::Error as _, fmt}; | ||
|
|
||
| use crate::{ | ||
| schema::{Name, Schema, SchemaKind, UnionSchema}, | ||
| schema::{Name, RecordSchema, Schema, SchemaKind, UnionSchema}, | ||
| types::{Value, ValueKind}, | ||
| }; | ||
| use std::{error::Error as _, fmt}; | ||
|
|
||
| /// Errors encountered by Avro. | ||
| /// | ||
|
|
@@ -156,7 +157,6 @@ pub enum Details { | |
| #[error("Union index {index} out of bounds: {num_variants}")] | ||
| GetUnionVariant { index: i64, num_variants: usize }, | ||
|
|
||
| #[deprecated(since = "0.20.0", note = "This error variant is not generated anymore")] | ||
| #[error("Enum symbol index out of bounds: {num_variants}")] | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. |
||
| EnumSymbolIndex { index: usize, num_variants: usize }, | ||
|
|
||
|
|
@@ -559,26 +559,45 @@ pub enum Details { | |
| #[error("Failed to serialize value into Avro value: {0}")] | ||
| SerializeValue(String), | ||
|
|
||
| #[error("Failed to serialize value of type {value_type} using schema {schema:?}: {value}")] | ||
| #[error("Failed to serialize value of type `{value_type}` using Schema::{schema:?}: {value}")] | ||
| SerializeValueWithSchema { | ||
| value_type: &'static str, | ||
| value: String, | ||
| schema: Schema, | ||
| }, | ||
|
|
||
| #[error("Failed to serialize field '{field_name}' for record {record_schema:?}: {error}")] | ||
| #[error("{position} is not a valid index for fields in {schema:?}")] | ||
| SerializeRecordUnknownFieldIndex { | ||
| position: usize, | ||
| schema: RecordSchema, | ||
| }, | ||
|
|
||
| #[error("Failed to serialize field '{field_name}' of record {record_schema:?}: {error}")] | ||
| SerializeRecordFieldWithSchema { | ||
| field_name: String, | ||
| record_schema: Schema, | ||
| error: Box<Error>, | ||
| record_schema: RecordSchema, | ||
| error: String, | ||
| }, | ||
|
|
||
| #[error("Missing default for skipped field '{field_name}' for schema {schema:?}")] | ||
| MissingDefaultForSkippedField { field_name: String, schema: Schema }, | ||
| #[error("Missing default for skipped field '{field_name}' of schema {schema:?}")] | ||
| MissingDefaultForSkippedField { | ||
| field_name: String, | ||
| schema: RecordSchema, | ||
| }, | ||
|
|
||
| #[error("Failed to deserialize Avro value into value: {0}")] | ||
| DeserializeValue(String), | ||
|
|
||
| #[error("Failed to deserialize value of type {value_type} using schema {schema:?}: {value}")] | ||
| DeserializeSchemaAware { | ||
| value_type: &'static str, | ||
| value: String, | ||
| schema: Schema, | ||
| }, | ||
|
|
||
| #[error("Only expected `deserialize_identifier` to be called but `{0}` was called")] | ||
| DeserializeIdentifier(&'static str), | ||
|
|
||
| #[error("Failed to write buffer bytes during flush: {0}")] | ||
| WriteBytes(#[source] std::io::Error), | ||
|
|
||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fix two documentation typos.
Line 24 has duplicated “the” (
Only the the mapping...), and Line 41 says “most match” instead of “must match”.Suggested doc fix
Also applies to: 41-41
🤖 Prompt for AI Agents