Переменная (информатика)

редактировать
Место хранения в паре со связанным символическим именем (идентификатором), которое содержит некоторое известное или неизвестное количество информации, на которую имеется ссылка в качестве значения

В компьютерном программировании переменная или скаляр является местом хранения (идентифицируемым адресом памяти ) в паре со связанным символическим именем , которое содержит некоторое известное или неизвестное количество информации, называемое значением. Имя переменной - это обычный способ ссылки на сохраненное значение, помимо ссылки на саму переменную, в зависимости от контекста. Такое разделение имени и содержания позволяет использовать имя независимо от точной информации, которую оно представляет. Идентификатор в исходном коде компьютера может быть привязан к значению во время времени выполнения, и значение переменной, таким образом, может измениться во время ход выполнения программы.

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

На место хранения переменной может ссылаться несколько разных идентификаторов, ситуация известна как псевдоним. Присвоение значения переменной с использованием одного из идентификаторов изменит значение, к которому можно получить доступ через другие идентификаторы.

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

Содержание

  • 1 Действия с переменной
  • 2 Идентификаторы, ссылающиеся на переменную
  • 3 Область и размер
  • 4 Ввод
  • 5 Параметры
  • 6 Распределение памяти
  • 7 Соглашения об именах
  • 8 Типы переменных (в зависимости от срока службы)
  • 9 См. Также
  • 10 Примечания
  • 11 Ссылки

Действия с переменной

В императив языки программирования, значения могут быть доступны или изменены в любое время. В pure функциональных и языках логики переменные привязаны к выражениям и сохраняют одно значение в течение всего своего срока службы в связи с требованиями ссылочной прозрачности. В императивных языках такое же поведение демонстрируют (именованные) константы (символьные константы), которые обычно противопоставляются (нормальным) переменным.

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

Переменные и область действия:

  • Автоматические переменные: каждая локальная переменная в функции возникает только при вызове функции и исчезает при выходе из функции. Такие переменные известны как автоматические переменные.
  • Внешние переменные: это переменные, которые являются внешними по отношению к функции и могут быть доступны по имени для любой функции. Эти переменные существуют постоянно; вместо того, чтобы появляться и исчезать по мере вызова и выхода из функций, сохраняют свои значения даже после того, как функции, которые их установили, вернулись.

Идентификаторы, ссылающиеся на переменную

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

Например, на переменную может ссылаться идентификатор «total_count», а переменная может содержать номер 1956. Если на ту же переменную ссылается идентификатор «r", а при использовании этого идентификатора" r"значение переменной изменяется на 2009, тогда чтение значения с использованием идентификатора" total_count"даст результат 2009 года, а не 1956.

Если на переменную ссылается только один идентификатор, то его можно просто назвать именем переменной. В противном случае можно говорить об одном из имен переменной. Например, в предыдущем примере «total_count» - это имя рассматриваемой переменной, а «r» - другое имя той же переменной.

Область и степень

Область переменной описывает, где в тексте программы может использоваться переменная, в то время как степень (или время жизни) описывает, когда в программе выполнение переменная имеет (значимое) значение. Область видимости переменной фактически является свойством имени переменной, а степень - свойством самой переменной. Их не следует путать с контекстом (также называемым средой), который является свойством программы и зависит от места в исходном коде или выполнении - см. область действия: обзор. Кроме того, время жизни объекта может совпадать со временем жизни переменной, но во многих случаях не привязано к времени жизни переменной.

Область действия имени переменной влияет на ее размер.

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

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

Если в языке программирования не предусмотрены сборка мусора, может возникнуть переменная, размер которой навсегда превышает ее область действия. в утечке памяти, в результате чего память, выделенная для переменной, никогда не может быть освобождена, поскольку переменная, которая будет использоваться для ссылки на нее для целей освобождения, больше не доступна. Однако может быть допустимо, чтобы привязка переменной выходила за пределы ее области, как это происходит в Lisp closures и C static local variable ; когда выполнение возвращается в область видимости переменной, переменную можно снова использовать. Переменная, область видимости которой начинается до ее экстента, называется неинициализированной и часто имеет неопределенное произвольное значение при доступе (см. дикий указатель ), поскольку она еще не была явно указана. определенное значение. Переменная, экстент которой заканчивается до того, как ее область видимости, может стать висячим указателем и снова считаться неинициализированной, поскольку ее значение было уничтожено. Переменные, описанные в предыдущих двух случаях, можно назвать вне пределов или несвязанными. Во многих языках считается ошибкой пытаться использовать значение переменной, когда оно выходит за пределы. На других языках это может привести к непредсказуемым результатам. Однако такой переменной может быть присвоено новое значение, которое придаст ей новый размер.

Для экономии места пространство памяти, необходимое для переменной, может быть выделено только при первом использовании переменной и освобождено, когда она больше не нужна. Переменная нужна только тогда, когда она находится в области видимости, поэтому начало жизни каждой переменной, когда она входит в область видимости, может дать пространство для неиспользуемых переменных. Чтобы не тратить лишнее пространство, компиляторы часто предупреждают программистов, если переменная объявлена, но не используется.

Хорошей практикой программирования считается максимально узкая область переменных, чтобы разные части программы не взаимодействовали друг с другом случайно, изменяя переменные друг друга. Это также предотвращает действие на расстоянии. Обычные методы для этого заключаются в том, чтобы разные разделы программы использовали разные пространства имен , или сделать отдельные переменные «закрытыми» с помощью либо области динамической переменной, либо области лексической переменной..

Многие языки программирования используют зарезервированное значение (часто называемое null или nil) для обозначения недопустимой или неинициализированной переменной.

Ввод

В статически типизированных языках, таких как Java или ML, переменная также имеет тип, что означает, что в нем могут храниться только определенные виды значений. Например, переменной типа «целое число » запрещено хранить текстовые значения.

В динамически типизированных языках, таких как Python, они являются значениями, а не переменными, которые несут тип. В Common Lisp обе ситуации существуют одновременно: переменной присваивается тип (если не объявлен, предполагается, что это T, универсальный супертип ), который существует во время компиляции. У значений также есть типы, которые можно проверять и запрашивать во время выполнения.

Типизация переменных также позволяет разрешать полиморфизмы во время компиляции. Однако это отличается от полиморфизма, используемого в вызовах объектно-ориентированных функций (называемых виртуальными функциями в C ++ ), который разрешает вызов на основе типа значения в отличие от супертипов. разрешено иметь переменной.

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

Параметры

Формальные параметры (или формальные аргументы) функций также называются переменными. Например, в этом сегменте кода Python

>>>def addtwo (x):... return x + 2...>>>addtwo (5) 7

переменная с именем xявляется параметром , потому что ему присваивается значение при вызове функции. Целое число 5 - это аргумент, который дает значение x. В большинстве языков параметры функции имеют локальную область видимости. На эту конкретную переменную с именем xможно ссылаться только в функции addtwo(хотя, конечно, другие функции также могут иметь переменные с именем x).

Распределение памяти

Особенности распределения переменных и представления их значений широко варьируются как среди языков программирования, так и среди реализаций данного языка. Многие языковые реализации выделяют пространство для локальных переменных, экстент которых длится для одного вызова функции в стеке вызовов , и память которых автоматически освобождается при возврате функции. В более общем смысле, в привязке имени имя переменной связано с адресом некоторого конкретного блока (непрерывной последовательности) байтов в памяти, и операции с переменной управляют этим блоком. Ссылка на чаще используется для переменных, значения которых имеют большие или неизвестные размеры при компиляции кода. Такие переменные ссылаются на расположение значения вместо сохранения самого значения, которое выделяется из пула памяти, называемого кучей.

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

Объекты, выделенные из кучи, должны быть освобождены, особенно если они больше не нужны. На языке со сборкой мусора (например, C#, Java, Python, Golang и Lisp ) среда выполнения автоматически освобождает объекты, когда существующие переменные больше не могут ссылаться на их. В языках, не использующих сборщик мусора, таких как C, программа (и программист) должны явно выделить память, а затем освободить ее, чтобы освободить память. Невыполнение этого требования приводит к утечкам памяти, при которых куча исчерпывается по мере выполнения программы, что в конечном итоге может привести к сбою из-за исчерпания доступной памяти.

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

Соглашения об именах

В отличие от своих математических аналогов, программные переменные и константы обычно принимают многосимвольные имена, например СТОИМОСТЬили итого. Односимвольные имена обычно используются только для вспомогательных переменных; например, i, j, kдля переменных индекса массива.

Некоторые соглашения об именах применяются на уровне языка как часть синтаксиса языка, который включает в себя формат действительных идентификаторов. Почти во всех языках имена переменных не могут начинаться с цифры (0–9) и не могут содержать пробельные символы. Возможность использования знаков препинания в именах переменных зависит от языка к языку; многие языки допускают только подчеркивание ("_") в именах переменных и запрещают любые другие знаки препинания. В некоторых языках программирования сигилы (символы или знаки препинания) прикрепляются к идентификаторам переменных, чтобы указать тип данных или область действия переменной.

Чувствительность к регистру имен переменных также различается в зависимости от языка, и некоторые языки требуют использования определенного регистра при именовании определенных объектов; Большинство современных языков чувствительны к регистру; некоторые старые языки - нет. Некоторые языки резервируют определенные формы имен переменных для внутреннего использования; во многих языках имена, начинающиеся с двух знаков подчеркивания («__»), часто подпадают под эту категорию.

Однако, помимо основных ограничений, накладываемых языком, именование переменных в значительной степени зависит от стиля. На уровне машинного кода имена переменных не используются, поэтому выбранные точные имена не имеют значения для компьютера. Таким образом, имена переменных идентифицируют их, в остальном они просто инструмент для программистов, упрощающий написание и понимание программ. Использование плохо выбранных имен переменных может сделать код более трудным для анализа, чем неописательные имена, поэтому часто приветствуются ясные имена.

Программисты часто создают и придерживаются руководящих принципов стиля кода, которые предлагают рекомендации по именованию переменных или навязывают точная схема именования. Более короткие имена быстрее набирать, но они менее информативны; более длинные имена часто облегчают чтение программ и упрощают понимание назначения переменных. Однако чрезмерная многословность в именах переменных также может привести к менее понятному коду.

Типы переменных (на основе времени жизни)

Что касается классификации переменных, мы можем классифицировать переменные на основе их времени жизни. Различные типы переменных: статические, динамические в стеке, явные динамические в куче и неявные динамические в динамике. Статическая переменная также известна как глобальная переменная, она привязывается к ячейке памяти до начала выполнения и остается в той же ячейке памяти до завершения. Типичный пример - статические переменные в C и C ++. Переменная, динамическая в стеке, известна как локальная переменная, которая привязывается при выполнении оператора объявления и освобождается при возврате из процедуры. Основными примерами являются локальные переменные в подпрограммах C и методы Java. Явные динамические переменные кучи - это безымянные (абстрактные) ячейки памяти, которые выделяются и освобождаются с помощью явных инструкций времени выполнения, указанных программистом. Основными примерами являются динамические объекты в C ++ (через new и delete) и все объекты в Java. Неявные динамические переменные кучи привязываются к хранилищу кучи только тогда, когда им присваиваются значения. Распределение и освобождение происходят, когда значения переназначаются переменным. В результате неявные динамические переменные кучи обладают наивысшей степенью гибкости. Основными примерами являются некоторые переменные в JavaScript, PHP и все переменные в APL.

См. Также

  • icon Портал компьютерного программирования

Примечания

Ссылки

Последняя правка сделана 2021-06-18 09:51:20
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте