Type aliases are a way to give another name to a type, but can also be used to create real new types. Which of the 2 depends on the way the type alias is defined:
_________________________________________________________________________________________________________
Type aliases
___________________________________________________________________
The first case is just a means to give another name to a type:
This creates a new name to refer to the Integer type, but does not create an actual new type. That is, 2 variables:
Will actually have the same type from the point of view of the compiler (namely: Integer).
The above presents a way to make types platform independent, by only using the alias types, and then defining these types for each platform individually. Any programmer who then uses these custom types doesn’t have to worry about the underlying type size: it is opaque to him. It also allows to use shortcut names for fully qualified type names. e.g. define system.longint as Olongint and then redefine longint.
The alias is frequently seen to re-expose a type:
This construction is often seen after some refactoring, when moving some declarations from unit A to unit B, to preserve backwards compatibility of the interface of unit A.
The second case is slightly more subtle:
This not only creates a new name to refer to the Integer type, but actually creates a new type. That is, 2 variables:
Will not have the same type from the point of view of the compiler. However, these 2 types will be assignment compatible. That means that an assignment
will work.
The difference can be seen when examining type information:
The compiler function TypeInfo returns a pointer to the type information in the binary. Since the 2 types MyInteger and Integer are different, they will generate different type information blocks, and the pointers will differ.
There are 3 consequences of having different types:
will work. This will not work with a simple type alias.
will work too.