From 72c6051ff05bd229c7fa3685bbd8cd438afa5f3c Mon Sep 17 00:00:00 2001 From: nomicon-kr Date: Sun, 8 Sep 2024 10:59:46 +0900 Subject: [PATCH] Update phantom-data.md --- src/phantom-data.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/phantom-data.md b/src/phantom-data.md index 4dc70af..7317f57 100644 --- a/src/phantom-data.md +++ b/src/phantom-data.md @@ -49,8 +49,8 @@ impl Drop for Vec { /* … */ } 따라서 어떤 타입이 `Drop impl`을 가지고 있다면, **추가적으로 `_owns_T: PhantomData` 필드를 선언하는 것은 *불필요하고* 아무것도 달성하지 않습니다**, 해제 검사기가 볼 때에는요 (변성과 자동 트레잇들에서는 영향을 줍니다). -- 특수한 경우: 만약 `PhantomData`를 포함하는 타입이 그 자체로는 `Drop` 구현이 전혀 없지만, `Drop` 구현이 있는 _다른_ 필드를 포함한다면, 여기에 명시된 -해제 검사기/`#[may_dangle]` 사항들이 적용될 것입니다: 담겨 있는 타입이 범위 밖으로 벗어날 때, `PhantomData` +> 특수한 경우: 만약 `PhantomData`를 포함하는 타입이 그 자체로는 `Drop` 구현이 전혀 없지만, `Drop` 구현이 있는 _다른_ 필드를 포함한다면, 여기에 명시된 +해제 검사기/`#[may_dangle]` 사항들이 적용될 것입니다: 포함하는 타입이 범위 밖으로 벗어날 때, `PhantomData` 필드는 `T` 타입이 해제되어도 괜찮도록 할 것입니다. ___