JAPANESE
リニア型
りにあがた
KOREAN
리니어 타입
[リニオ タイプ]
ハングル読み: 리니아가타
解説
値を正確に一度だけ使用することを型システムで強制する仕組み。リソースの確実な解放やプロトコルの正確な遵守をコンパイル時に保証する。Rustの所有権モデルはこの概念に近い。
값을 정확히 한 번만 사용하는 것을 타입 시스템으로 강제하는 구조이다. 리소스의 확실한 해제나 프로토콜의 정확한 준수를 컴파일 시에 보장한다. Rust의 소유권 모델은 이 개념에 가깝다.
例文
リニア型でファイルハンドルの使用回数を制限し、クローズ忘れをコンパイル時に検出した。
리니어 타입으로 파일 핸들의 사용 횟수를 제한하여 클로즈 누락을 컴파일 시에 감지했다.