eng
type coercion <programming>
conversion of one type of value to a value of a different type with similar content
Note to entry:
Point and DirectPosition are informationally identical (related to each other in a one to one fashion) in this context. Given a DirectPosition, a Point can be constructed. Given a Point, a DirectPosition can be derived from of its coordinates. If coercion is supported, a Point may be used where a DirectPosition is requested, and vice versa. Most programming languages use coercion, but others use "cast" operators (a type of constructor) requiring the programmer to initiate the coercion. "Strong substantiality" is related in that a subtype instance can always be coerced to any of its supertypes.
[SOURCE:
ISO 19107:2019, 3.102]
copy
spa
tipo de coerción <programación>
conversión de un tipo de valor en un valor de un tipo diferente con un contenido similar
Nota:
NOTA: Point y DirectPosition son idénticos desde el punto de vista informatico (relacionados entre sí uno a uno) en este contexto. Dada una Posición Directa, se puede construir un Punto. Dado un Punto, se puede derivar una Posición Directa a partir de sus coordenadas. Si se apoya en la coerción, se puede utilizar un Punto cuando se solicita una Posición Directa, y viceversa. La mayoría de los lenguajes de programación utilizan la coerción, pero otros utilizan operadores "cast" (un tipo de constructor) que requiere que el programador inicie la coerción. La "fuerte sustancialidad" está relacionada en el sentido de que una instancia de subtipo siempre puede ser coercionada a cualquiera de sus supertipos.
ORIGIN: Glosario de terminos de ISO/TC211
(last updated: 2020-06-02)
