들어가기 전 이 글은 프로그래밍 러스트 책을 공부하고 정리한 글입니다. 요약Trait은 인터페이스 의미를 가짐. Type은 Struct, i32 같은 것들을 의미함.디스패치 방법정적 디스패치 : impl Trait, 제네릭은 정적 디스패치임. Call Site를 확인하고 필요한 타입에 대한 함수 코드를 모두 생성한다.동적 디스패치 : Trait Object를 사용하는 경우. V Table은 컴파일 시점에 한번만 생성되고, Trait Object는 런타임 시점에 타입에 맞는 V Table의 주소와 함께 Fat Pointer로 생성된다. 그리고 VTable을 참조해서 메서드를 호출한다.dyn 키워드는 dynamic의 줄임말임.dyn Type은 허용되지 않음. dyn은 동적 타입이 오는데, 구현체는 실제로 여..
들어가기 전이 글은 프로그래밍 러스트 2판을 공부하며 작성한 글입니다. 9. 스트럭트 (Struct)Struct 자바, 파이썬에서 제공하는 클래스와 거의 유사한 개념이다.Struct는 크게 다음 세 종류가 존재한다.필드형 Struct : 주로 많이 사용함.튜플형 Struct : 타입 검사를 좀 더 Strict 하게 하기 위해 NewType을 생성할 때 주로 사용.유닛형 Struct : 주로 Trait과 함께 사용할 때 유용하다고 한다. 필드형 Struct필드는 일부만 public, private으로 만들 수 있음.private 필드 : 같은 모듈 내에서는 참조 가능.public 필드 : 외부 모듈에서도 참조 가능.Struct가 private 필드로만 구성되어있으면, 외부 모듈에서는 직접 Struct를 ..
들어가기 전이 글은 Oreily에서 나온 프로그래밍 러스트를 공부하며 작성한 글입니다. 레퍼런스란?스마트 포인터 : 소유권을 가지는 포인터다. 스마트 포인터가 해제되는 시점에 포인터가 가리키는 값도 해제된다.레퍼런스 : 소유권을 가지지 않는 포인터다. 소유권은 Borrow 된다. 레퍼런스 특징레퍼런스는 자신이 가리키는 대상보다 오래 살아있으면 안됨. 레퍼런스가 안전하게 살아있을 수 있는 범위를 라이프타임이라고 함. 모든 레퍼런스는 라이프타임을 가짐.Shared Reference (Multi Reader를 위한 것)Shared Reference는 동시에 여러 개 존재할 수 있음.Shared Reference가 있는 동안은 값을 수정할 수 없음. 소유자라도 수정할 수 없음. Shared Reference가 ..
들어가기 전이 글은 프로그래밍 러스트(Oreilly)를 공부하며 작성한 글입니다. 소유권 (Ownership)러스트에서 소유권은 컴파일 시점에 검증된다. 소유권은 아래 메모리 안정성을 위해 러스트 컴파일러가 제공한다.Dangling Pointer가 없도록 한다.원하는 시점에 메모리가 해제되도록 한다.모든 값은 하나의 소유자를 가진다. (Rc, Arc는 복수 소유자가 존재 가능)소유자는 자신의 구성 요소들에 대한 소유권도 가진다. 이것은 소유권 트리 형태로 구성된다. 구조체는 자신의 필드들을 소유한다.벡터는 자신의 요소들을 소유한다. 소유자가 자신이 선언된 블록을 벗어날 때 무효화된다. 이 때, 소유하고 있던 값들도 모두 힙에서 제거된다. 소유권을 이동해서 트리를 만들고 바꿀 수 있다. Copy Trai..