#![allow(unused)]
fn main() {
struct S; // Concrete type `S`
struct GenericVal<T>(T); // Generic type `GenericVal`
// impl of GenericVal where we explicitly specify type parameters:
impl GenericVal<f32> {} // Specify `f32`
impl GenericVal<S> {} // Specify `S` as defined above
// `<T>` Must precede the type to remain generic
impl<T> GenericVal<T> {}
}
Generic은 타입을 특정 짓지 않고 어떤 타입이든 될 수 있게 설정하는 것을 말한다.
위 예시에서 가장 마지막에 있는 코드를 보면 앞에 <T>
가 추가되어 있다.
impl<T> GenericVal<T> {}
만약 앞에 <T>
가 추가되어 있지 않다면, 다른 것들과 마찬가지로 Genric이 아닌 T라는 타입으로 고정된다. 따라서 impl을 Generic으로 만들려면 반드시 앞에 즉, impl 뒤에 <T>
를 추가해줘야 한다.