r7
| 1 | [[분류:프로그래밍 언어]] |
|---|
r2
| 2 | {{{#!syntax rust |
|---|
| 3 | fn main() { |
|---|
| 4 | println!("hello, world!"); |
|---|
| 5 | } |
|---|
r10
| 6 | }}}[[https://crates.io|[[파일:Crates.io logo.png|width=25px]]]],,crates.io,,[* rust계의 npm] [[https://docs.rs|[[파일:Docs.rs logo.png|size=25px]]]],,docs.rs,,[[https://github.com/rust-lang/rust|[[파일:GitHub 아이콘 light.svg|width=25px&theme=light]]]][[https://github.com/rust-lang/rust|[[파일:GitHub 아이콘 dark.svg|width=25px&theme=dark]]]],,github,, |
|---|
r2
| 7 | 메모리 안전성을 중요시 여기는 언어이다. 모질라 제단에서 관리하다가 러스트 제단으로 넘어왔다. |
|---|
| 8 | |
|---|
r8
| 9 | 원래는 모질라 직원의 개인 프로젝트였으나, Servo를 만들게 되면서 새 언어를 찾다가 Rust를 발견하고 밀어주게 되었다. |
|---|
| 10 | |
|---|
r2
| 11 | 페리스라는 마스코트가 있다. |
|---|
r7
| 12 | |
|---|
r2
| 13 | == 특징 == |
|---|
r3
| 14 | === 소유권 === |
|---|
r11
| 15 | 러스트를 배울 때 나오면 가장 때려치고 싶게 만드는 원흉. 메모리를 바로바로 해지하는 언어 특성상 소유권은 메우 중요한 계념이다. |
|---|
r3
| 16 | ==== 함수에 넘기기 ==== |
|---|
r4
| 17 | 또한 어떤 함수에 인자로 값을 넘기면 그 값의 소유권은 만료된다.{{{#!syntax rust |
|---|
| 18 | fn main () { |
|---|
r13
| 19 | let a:u8 = 0; |
|---|
| 20 | take_ownership(a); |
|---|
r4
| 21 | println("{a}"); |
|---|
r3
| 22 | } |
|---|
r14
| 23 | fn take_ownership (a:u8) { |
|---|
r13
| 24 | } }}}이를 실행해도 컴파일 에러가 나는데 a를 함수에 넘긴 다음에 사용하려 하였기 때문이다. 이럴 때는 to_owned(), clone()등을 써서 값을 복사함으로서 해결할 수 있지만[* clone은 벡터, String등 실제 값을 가리키는 포인터를 복사하는 반면(shallow copy), toowned는 그 메모리 내용까지 복사한다.(deep copy)] 더 좋은 방법이 있다. |
|---|
r7
| 25 | |
|---|
r15
| 26 | 또한 Copy trait이 구현되어있다면, 함수에 넣을 시에 자동으로 값이 복사되어서 딱히 값을 복사하거나 할 필요가 없다.[* 그래서 사실 위의 예제를 실행해도 에러는 안난다. u8 type이 Copy trait을 구현하였기 때문] |
|---|
r9
| 27 | |
|---|
| 28 | |
|---|
r16
| 29 | ==== 참조자 ==== |
|---|
r3
| 30 | 어떤 함수의 값을 넘길 때 |
|---|
r4
| 31 | {{{#!syntax rust |
|---|
r3
| 32 | fn main() { |
|---|
r16
| 33 | let a:u8 = 0 |
|---|
| 34 | borrow_me(&a); |
|---|
r3
| 35 | println("{a}") |
|---|
| 36 | } |
|---|
r16
| 37 | fn borrow_me (a:&u8) { |
|---|
r3
| 38 | } |
|---|
r17
| 39 | }}}이렇게 함수에 넘길 때 참조자(&)를 사용하면 소유권을 유지할 수 있다. |
|---|
r20
| 40 | === lifetime === |
|---|
r19
| 41 | '''러스트의 난이도를 높히는 주범''' 포인터가 혜지된 메모리를 가리키는 것을 방지하려 만들었다. 러스트라는 언어 자체가 null pointer exception[* dangling pointer라고 많이 불리는듯]을 피하려고 설계되었기 때문이다. |
|---|
| 42 | ==== 스코프 ==== |
|---|
| 43 | 가장 중요한 계념 중 하나는 스코프[* {랑 }사이] 밖을 벗어나면 스코프 안에서 정의된 변수는 사용할 수 없다인데 예를들어{{{#!syntax rust |
|---|
| 44 | fn main () { |
|---|
| 45 | { |
|---|
| 46 | let a:u8 = 0; |
|---|
| 47 | } |
|---|
| 48 | println!("{a}"); |
|---|
| 49 | } }}}를 실행하면 컴파일 에러가 난다.[* 런타임 에러가 아니다!] 왜냐하면 스코프 안에서 선언 된 a를 수명이 끝난 스코프 밖에서 값을 조회하였기 때문이다. |
|---|
r21
| 50 | ==== 제내릭 라이프타임 ==== |
|---|
| 51 | '''지옥의 시작''' |
|---|
| 52 | {{{#!syntax rust |
|---|
| 53 | fn longest<'a> (s1:&`a str,s2:&`a str) -> &`a str { |
|---|
| 54 | if s1.len() > s2.len() { |
|---|
| 55 | s1 |
|---|
| 56 | } else { |
|---|
| 57 | s2 |
|---|
| 58 | } |
|---|
| 59 | } }}} |
|---|
| 60 | 함수 뒤에 꺽쇠 괄호가 있는 것을 볼 수 있는데 이렇게 생각하면 된다. |
|---|
| 61 | {{{#!syntax rust |
|---|
| 62 | fn any<T> (input:T) { |
|---|
| 63 | //input은 어떤 타입이든 될 수 있음 |
|---|
| 64 | } }}} |
|---|
| 65 | 위의 예시처럼 `a는 어느 라이프타임이든 될 수 있다는 것이다. |
|---|
| 66 | |
|---|
| 67 | 다시 longest로 돌아가보자. 아하 longest 함수의 s1과 s2는 공통된 생명 주기를 가져야하고 리턴값의 생명주기도 같아야하구나.라는 사실을 알수 있다. 왜냐? |
|---|
| 68 | {{{#!syntax rust |
|---|
| 69 | fn main () { |
|---|
| 70 | let s1 = String::new(); |
|---|
| 71 | let result; |
|---|
| 72 | { |
|---|
| 73 | s2 = String::new(); |
|---|
| 74 | result = longest(s1, s2); |
|---|
| 75 | } |
|---|
| 76 | println!("{result}"); |
|---|
| 77 | } }}} |
|---|
| 78 | 만약 위 코드에서 함수가 s2를 리턴한다면 참조가 가리키는 원본인 s2가 죽었는데 result를 조회해서 null pointer가 생겼기 때문이다. |
|---|
| 79 | |
|---|
| 80 | 그러면 의문이 들 것이다. "아니 그러면 런타임 에러를 발생시키면 되잖아." 그런데 러스트는 그걸 하지 말라 만든 언어다. 언어 설계에 모순이 생긴다. |
|---|
| 81 | |
|---|
r22
| 82 | "아니 그러면 애초부터 result를 longest의 리턴으로 못넣게 하면 되잖아." 그게 수명주기 명시다. 지금 longest의 리턴값은 s2의 수명주기와 같다.[* `a로 수명주기를 명시한것 중이서 s2가 수명이 가장 짧기 때문] |
|---|
r19
| 83 | |
|---|
r3
| 84 | == 그 외 == |
|---|
r2
| 85 | * 컴파일 언어이다. |
|---|
| 86 | * 컴파일 시간에 대부분의 런타임 에러를 잡아낸다. |
|---|