[Rust] 제너릭(Generic)

Rust에도 제너릭이 있다.

다른 언어들처럼 함수이름 뒤에 꺽쇠괄호를 써주면 된다.

제너릭타입명은 값 하나면 T를 쓰고 함수타입 하나면 F를 쓰는게 관례다.

이렇게 하면 각각의 타입에 맞춰서 T를 대체해놓고 실행을 해야...하는데 안된다.

println 가변인자에 타입제약이 있어서 그렇다.

저러면 T에 println!이 받을 수 없는 게 올수도 있으니까... 받을 수 없는건 아예 막아버리도록 제약을 걸어줘야 한다.

T는 Display 트레잇을 구현하는 타입이어야 한다!는 의미다.

저 where절을 앞으로 당길수도 있다.

뭘로 하느냐는 그냥 가독성문제니 좋을대로 쓰면 된다.

그리고 한 제너릭타입에 여러개의 트레잇 제약을 붙일 경우에는 +로 이어주면 된다

이것들을 바탕으로 해서 제대로 된 for_each 함수를 짜볼 수 있다.

조금 복잡하다.

일단 루프 내의 내용만 보면, 배열이나 벡터같은 컨테이너를 받아서 순서대로 전달받은 콜백함수 func에 전달한다는 것 정도는 알 수 있다.

골치아플 수 있는 건 where로 빼놓은 타입 제약들이다.

C는 컨테이너 타입이면서, into_iter()메소드를 사용할 수 있는 IntoIterator 트레잇을 구현해야만 한다. 그리고 <Item=T>은 C가 아닌 컨테이너 요소의 타입인 T를 위한 제약이다.

그리고 F는 Fn(T)->()로 제약된다. C의 요소타입 T 하나를 매개변수로 받으며, 리턴타입이 없는 함수라는 뜻이다.

그리고 클로저가 전달되면서 완성된다.

제너릭은 함수뿐만이 아니라 구조체,열거에도 사용될수있다.

우리가 흔히 쓰는 벡터부터가 제너릭 구조체다.

간단하게 아무거나 덮어씌우는 래퍼타입을 정의해볼 수 있다.

메소드도 일반적으로 구현하려면 impl처럼 타입파라미터 그대로 붙이면 된다.

열거도 비슷하게 써먹는다.

대표적으로 값의 null여부를 체크하는 열거인 옵션은 이렇게 구현되어있다.

enum Option
{
 ㅤSome(T), //값이 있으면 그 값타입 T로 담음
ㅤ None, //없으면 안 담음
}

사용방법은 제너릭 함수와 크게 다를 것 없다.