Derive index

자동 구현: 타입에 붙일 의미를 먼저 고르는 일

필드 조건이 맞아도 도메인 규칙과 충돌하면 derive 대신 수동 구현을 선택합니다.

의미: 개발자 확인용 출력

Debug 필드 조건: 모든 필드가 Debug

자동화 한계: 사용자 표시인 Display와 분리

의미: 동등성 규칙 고정

Eq 반사성 조건: 자기 자신과 같음이 성립

자동화 한계: NaN 같은 예외 값 점검

의미: 정렬과 범위 비교

Ord 순서 조건: 모든 값의 순서가 설명 가능

자동화 한계: 필드 선언 순서가 비교 순서

의미: 복제 비용과 소유권 표현

Copy 필드 조건: Copy는 모든 부분이 Copy

자동화 한계: 깊은 복사가 필요한 값은 Clone

의미: 키 저장과 기본 상태

Hash·Default 조건: 필드별 hash 또는 default 가능

자동화 한계: 빈 값이 유효한 도메인인지 확인