型エイリアシングは、一部のプログラミング言語の機能で、別の名前を使用して型への参照を作成できます。新しい型を作成するわけではないため、型の安全性は向上しません。長い名前を短縮するために使用できます。型エイリアシングをサポートする言語には、C++、C# Crystal、D、Dart、Elixir、Elm、F#、Go、Hack、Haskell、Julia、Kotlin、Nim、OCaml、Python、Rust、Scala、Swift、TypeScriptなどがあります。
C++では、キーワードを使用して型エイリアスが可能ですusing。
距離= intを使用します。C#バージョン 12 以降では、キーワードを使用した型エイリアスがサポートされていますusing。それ以前のバージョンでは、その使用はファイルローカルスコープまたは特定のインポート コンテキストに限定されていました。[ 1 ]
距離= intを使用します。Crystal はキーワードを使用して型エイリアス機能を提供しますalias。[ 2 ]
alias Distance = Int32 ;D はキーワードを使用して型エイリアシングを特徴としていますalias。[ 3 ]
alias Distance = int ;Dart はキーワードを使用して型エイリアスを実現していますtypedef。[ 4 ]
typedef Distance = int ;Elixir は.を使用して型エイリアシングを実装しています@type。[ 5 ]
@type Distance :: integerElm は、.を使用した型エイリアシング機能を備えていますtype alias。
型エイリアスDistance = IntF3 はキーワードを使用して型エイリアス機能を提供しますtype。
タイプDistance = intGo では、typeキーワードとを使用して型エイリアスを実装しています=。
タイプDistance = intHack はキーワードを使用して型エイリアスを特徴としますnewtype。[ 6 ]機能的には、これは基となる型 ( ) と互換性のない新しい明確な型を作成しますint。これは、一般的に透過的で元の型と交換可能な単純なエイリアスよりも厳格です。
新しい型Distance = int ;Haskell はキーワードを使用して型エイリアスを実現していますtype。[ 7 ]
型Distance = Int ;Julia には型エイリアシング機能があります。[ 8 ]の使用はconstベストプラクティスです (エイリアシングに厳密には必須ではありませんが)。これにより、プログラムの後半でエイリアスが別の型に再バインドされるのを防ぎ、エイリアスの安定性を確保します。
const Distance = IntKotlin はキーワードを使用して型エイリアスを実現しています。[ 9 ]typealias
typealias Distance = Int型Distance * = int型距離= intPythonには型エイリアシング機能があります。[ 12 ]
ベクトル=リスト[ float ]型エイリアスは、TypeAlias でマークすることで、そのステートメントが通常の変数代入ではなく、型エイリアスの宣言であることを明示できます。(PEP 613 から) の使用はエイリアスの機能に必須ではありませんが、静的型チェッカー ( Mypyなど) に対して、その代入が実行時変数代入ではなく型宣言であることを明示的に伝えます。:TypeAlias
from typing import TypeAliasベクトル: TypeAlias = list [ float ]Rust はキーワードを使用して型エイリアシングを実装していますtype。[ 13 ]
type Point = ( u8 , u8 );Scala は不透明型を使用して型エイリアスを作成できます。[ 14 ]
オブジェクトLogarithms : opaque型Logarithm = DoubleSwiftでは、キーワードを使用して型エイリアスを設定できますtypealias。
typealias Distance = Int ;TypeScript はキーワードを使用して型エイリアスを実装しています。[ 15 ]type
タイプDistance =数値;Zigは定数にデータ型を割り当てることで型エイリアシングを実現している。[ 16 ]
const distance = u32 ;