Monomorphization

프로그래밍 언어에서 다형성 기능 많은 단일형의 기능에 의해 각각의 고유한 인스턴스 생성을 대체하는 것이다, monomorphization은 컴파일 타임 과정이다.[1]그 후 출력 중간 표현(IR)과 더 잘 최적화할 수 있는 구체적인 형식을 가지고 있을 것이다 이러한 변환, 바람직한 일이다.게다가, 대부분의 IRs 낮은 수준의 질 필요가 있고 다형성을 지원하지 않도록 설계되어 있다.코드는 일반적으로 빠르게 박스형보다 더 느리게 하고 더 많은 공간은 함수 본문을 복제할 예정을 컴파일할 것 이런 식으로 만들어 냈어요.[2][3][4][5][6][7]

예

예를 들어 녹의 일반적인 정체성 기능의 사용, 이것이 이 한 예이다.

2id<.T>(x:T)->&Tfn main(){, 문자열)id("일부 텍스트") 해 주세요;int=id(10) println{반환 x;}!("{0}일 경우,{1}", int, 문자열);}

monomorphization한 후에, 이번이 될 것이다.

Fnid_i32(x:i32)->, i32{반환 x;}2id_str(x:&str)->,&년간{반환 x;}fn main(){, 문자열)자 id_str("일부 텍스트")int=id_i32(10) 해 주세요;println!("{0}일 경우,{1}", int, 문자열);}

「 」를 참조해 주세요.

• 변수 다형성
• 매개 변수 형식 데이터가 삭제된
• 템플릿(C++)

레퍼런스