待办：jww（2021-11-01）：提供一个属性宏 #[delta_view(function)]，用于定义接收 &self 作为参数并返回一个可进行差异计算的 Delta 类型的合成属性。

为结构体推导 Delta：Desc 类型

默认情况下，为结构体推导 Delta 将创建一个与该结构体相同的“镜像”，所有字段都相同，但将每个类型 T 替换为 <T as Delta>::Desc

struct FooDesc {
  bar: <Bar as Delta>::Desc,
  baz: <Baz as Delta>::Desc
}

此过程可以通过多个属性宏来影响。

compare_default

当使用 #[compare_default] 属性宏时，将 Desc 类型定义为与 Change 类型相同，并将 describe 方法实现为与 Default::default() 的值进行比较。

type Desc = Self::Change;

fn describe(&self) -> Self::Desc {
    Foo::default().delta(self).unwrap_or_default()
}

type Change = Vec<FooChange>;

请注意，由于这允许为每个字段分别报告更改，因此结构体的更改始终是一个向量。有关此内容的更多信息，请参阅下一节。

no_description

如果您对类型不希望有任何描述，因为您只关心它的更改，并且永远不想在任何其他上下文中报告值的描述，则可以使用 #[no_description]。这将把 Desc 类型设置为单元类型，并相应地实现 describe 方法。

type Desc = ();

fn describe(&self) -> Self::Desc {
    ()
}

假设在这种情况下，这样的值永远不会出现在任何更改输出中，因此如果您看到大量单元出现，请考虑不同的方法。

describe_type 和 describe_body

您可以通过指定 Desc 类型及其 describe 函数体应显示的确切文本来对描述进行更多控制。基本上，对于以下定义

#[derive(Delta)]
#[describe_type(T)]
#[describe_body(B)]
struct Foo {
  bar: Bar,
  baz: Baz
}

以下代码将生成

type Desc = T;

fn describe(&self) -> Self::Desc {
    B
}

这也意味着传递给 describe_body 的表达式参数可以引用 self 参数。以下是一个实际用例

#[cfg_attr(feature = "delta",
           derive(delta::Delta),
           describe_type(String),
           describe_body(self.to_string()))]

可以使用相同的方法通过校验和哈希表示大型数据块，例如，或通过 Merkle 根哈希表示不需要显示的大型数据结构。

为结构体推导 Delta：Change 类型

对于结构体，默认情况下推导 Delta 会创建一个枚举类型，该枚举类型具有 struct 中每个字段的变体，并使用此类值的向量来表示更改。这意味着对于以下定义

#[derive(Delta)]
struct Foo {
  bar: Bar,
  baz: Baz
}

Change 类型被定义为 Vec<FooChange>，其中 FooChange 如下所示

#[derive(PartialEq, Debug)]
enum FooChange {
    Bar(<Bar as Delta>::Change),
    Baz(<Baz as Delta>::Change),
}

impl Delta for Foo {
    type Desc = FooDesc;
    type Change = Vec<FooChange>;
}

以下是一个简化的示例，说明如何断言更改

assert_changes(
    &initial_foo, &later_foo,
    Changed::Changed(vec![
        FooChange::Bar(...),
        FooChange::Baz(...),
    ]));

如果字段未更改，则它不会出现在向量中，并且每个字段最多出现一次。采用这种方法的原因是，如果大多数其他字段保持不变，则具有许多字段的结构体可以用一个小更改集表示。

特殊情况：单元结构体

如果一个结构体没有任何字段，它永远不能改变，因此只生成一个单一的 Desc 类型。

特殊情况：单例结构体

如果一个结构体只有一个字段，就没有必要使用向量来指定变更，因为结构体要么没有改变，要么只有一个字段发生了改变。因此，单例结构体优化掉向量，并在其 Delta 派生中使用 type Change = [type]Change，而不是像多字段结构体那样使用 type Change = Vec<[type]Change>。

delta_public 和 delta_private

默认情况下，自动生成的 Desc 和 Change 类型与其父类型的可见性相同。但是，如果您希望保留原始数据类型为私有，但允许导出描述和变更集，则这可能不合适。为了支持这一点，您可以使用 #[delta_public] 和 #[delta_private] 来明确指定这些生成类型的可见性。

枚举

枚举的处理与结构体大不相同，主要原因是虽然结构体总是字段的乘积，但枚举可以不仅是变体的总和——也可以是乘积的总和。

为了更清楚地解释这一点：通过字段的乘积，我们的意思是结构体是一组类型化的字段的简单组合，其中相同的字段对于这种结构体的每个值都是可用的。

同时，枚举是一个变体的总和或选择，但其中一些变体可以包含字段的组，就像在变体中有嵌入的无名结构体一样。考虑以下 enum，它将被用于以下所有示例

#[derive(Delta)]
enum MyEnum {
    One(bool),
    Two { two: Vec<bool>, two_more: Baz },
    Three,
}

在这里，我们可以看到有一个没有字段的变体（Three），一个带有无名字段的变体（One），以及一个带有像常规结构体一样的命名字段的变体（Two）。然而，问题在于这些嵌入的结构体永远不会作为独立的类型表示，所以我们不能为它们定义 Delta 并计算枚举参数之间的差异。我们也不能简单地创建一个带有真实名称的字段类型的副本，并为它生成 Delta，因为不是每个值都是可复制的或可克隆的，而且用所有具有引用类型字段的新层次结构自动生成会变得非常复杂...

因此，以下内容被生成，这可能会变得相当冗长，但可以捕捉到任何差异的完整性质

enum MyEnumChange {
    BothOne(<bool as Delta>::Change),
    BothTwo {
        two: Changed<<Vec<bool> as Delta>::Change>,
        two_more: Changed<Baz as Delta>::Change
    },
    BothThree,
    Different(<MyEnum as Delta>::Desc, <MyEnum as Delta>::Desc),
}

请注意，具有单例字段的变体不使用 Change，因为当变体报告为已更改时，该信息已经反映在例如 BothOne 中。在 BothTwo 的情况下，每个字段类型都被包装在 Changed 中，因为可能一个或两个字段都可能已更改。

特殊情况：空枚举

如果枚举没有变体，则无法构造，因此省略了Desc或Change类型，并且始终报告为未更改。

联合

目前联合不能派生Delta实例。