本文へスキップ

線形型とは?

せんけいがた

値をちょうど一回使うことを型で保証する型システム

線形型は各値が厳密に一度しか使えないことを型レベルで保証するシステムリソースの二重解放や使い忘れを防ぐためにRustの所有権システムが近い概念採用している。

使い方・例文

Rustの所有権はmoveセマンティクスにより線形型に近い形でリソースの使い回しを防ぐ。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語