Что такое преобразование типов?

Преобразование типов - это форма штамповки типов, методика, используемая в информатике и программировании программного обеспечения, при которой тип данных конкретной сущности изменяется на другой тип данных. Концепция типа «штамповка» появилась для работы с заданной системой типов языка программирования, так что можно достичь определенных эффектов, которые в противном случае было бы трудно сделать в рамках формального определения языка программирования. Преобразование типов, являющееся наиболее распространенной формой определения типов, возможно практически во всех языках программирования, хотя некоторые языки предлагают дополнительные методы определения типов, такие как объединение или реинтерпретация. В некоторых руководствах по стилю программирования не рекомендуется использовать типизацию, хотя преобразование типов в любом случае часто используется.

Преобразование типов также иногда называют приведением типов или приведением в зависимости от используемого языка программирования. У каждого языка программирования есть правила успешного использования преобразования типов. Вообще говоря, преобразования могут иметь место либо в фундаментальных типах, либо в объектах.

Существует несколько основных типов данных или классов типов данных. Одним из распространенных типов данных, используемых в математических операциях, являются целые числа или простые числа, которые могут варьироваться в тысячи или миллионы, в зависимости от количества бит в их ширине. Например, 32-разрядное целое число может находиться в диапазоне от нуля до 4 294 967 295 или от 2 147 483 648 до 2 147 483 648. Другим типом является число с плавающей запятой, которое в основном является любым числом с десятичной запятой.

Отдельные символы, такие как буква алфавита или знак пунктуации, также могут использоваться в качестве типа данных. Строковый тип данных - это любая группа или последовательность чисел и / или букв без перерыва; Длина строк произвольна, но их размер или предел обычно определяются на языке программирования. Самым старым из типов данных является логический тип, который просто имеет значение true или false. Другие классы типов включают алгебраические функции, машинные данные и объекты. Например, в объектно-ориентированных языках предок объекта может использовать тип родительского объекта, чтобы их взаимодействие проходило более гладко.

Специфика преобразования типов действительно не вступает в игру, пока не будут приняты во внимание правила конкретного языка программирования. Некоторые правила языка дополнительно определяют, является ли преобразование типа явным или неявным. Неявное преобразование типов чаще всего называется приведением и обычно происходит во время компиляции программы из исходного кода в исполняемую программу. Это может произойти, скажем, если в выражении используется несколько типов данных, а затем выполняется сравнение. Преобразование типов считается подразумеваемым, и компилятор обрабатывает его автоматически; явное преобразование типов определено в коде программы. Язык программирования C делает различие между ними, называя неявное преобразование типов принуждением, а явное преобразование типов - приведением.

Простым примером преобразования общего типа могут быть математические операции над числами в компьютерной программе. Компьютерная программа, получающая десятичное число (тип данных с плавающей запятой) в качестве входных данных, может нуждаться в преобразовании этого числа в целочисленный тип данных для выполнения математических операций или наоборот. Это преобразование позволяет продолжить операцию.

ДРУГИЕ ЯЗЫКИ

Помогла ли вам эта статья? Спасибо за ответ Спасибо за ответ

Как мы можем помочь? Как мы можем помочь?