From 18227d9557f50e0260ddb9e4087e3787f83c9b11 Mon Sep 17 00:00:00 2001 From: Moilk Date: Fri, 8 Nov 2019 21:57:18 +0800 Subject: [PATCH] backup --- docs/book/19-Type-Information.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/book/19-Type-Information.md b/docs/book/19-Type-Information.md index 8909b21..4564f61 100644 --- a/docs/book/19-Type-Information.md +++ b/docs/book/19-Type-Information.md @@ -1733,6 +1733,8 @@ caught EmptyTitleException 这里使用 `Optional` 的方式不太一样。请注意,`title` 和 `person` 都是普通域,不受 `Optional` 的保护。但是,修改这些域的唯一途径是调用 `setTitle()` 和 `setPerson()` 方法,这两个都借助 `Optional` 对域进行了严格的限制。 +我们想保证 `title` 不会有 `null` 值, +