1. 정의


Zero Sized Types 이하 ZSTs는 말 그대로 크기가 0인 타입이다



2. 만들어지는 조건


모든 필드가 ZST거나 필드가 없는 구조체


모든 필드가 ZST거나 비어있는 튜플


variant가 0개 또는 ZST 1개인 열거형 (2개 이상은 태그가 붙는다)


모든 variants가 ZST인 공용체


길이가 0인 배열



얘네가 ZST가 된다





3. 특징


3.1. ZST에 대한 역참조 연산은 no-op

3.2. ZST에 대한 오프셋 연산은 no-op



safe 코드짤때는 다른 타입처럼 쓰면 되는데 unsafe 코드짤때는 ZST를 좀 신경써야줘야함