Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Выражение в информатике, которое нельзя вычислить далее.
Expression in computer science which cannot be evaluated further
В информатике и программировании значение – это представление некоторой сущности, с которой может оперировать программа. Элементы типа являются значениями этого типа. "Значение переменной" определяется соответствующим соответствием в окружении. В языках с переменными, которым можно присваивать значения, становится необходимо различать r-значение (или содержимое) и l-значение (или адрес) переменной. В декларативных (высокоуровневых) языках значения должны быть референциально прозрачными. Это означает, что результирующее значение не зависит от адреса выражения, необходимого для его вычисления. Значимы только содержимое адреса (биты, независимо от того, равны они 1 или 0) и их интерпретация.
In computer science and software programming, a value is the representation of some entity that can be manipulated by a program. The members of a type are the values of that type. The "value of a variable" is given by the corresponding mapping in the environment. In languages with assignable variables, it becomes necessary to distinguish between the r value (or contents) and the l value (or location) of a variable. In declarative (high level) languages, values have to be referentially transparent. This means that the resulting value is independent of the location of the expression needed to compute the value. Only the contents of the location (the bits, whether they are 1 or 0) and their interpretation are significant.
Категория стоимости
Несмотря на своё название, в стандартах языка C++ эта терминология используется для классификации выражений, а не значений.
Despite its name, in the C++ language standards this terminology is used to categorize expressions, not values.
Присвоение: l-значения и r-значения
Некоторые языки используют понятия l-значений и r-значений, происходящих из типичного способа вычисления левой и правой части оператора присваивания. L-значение относится к объекту, существующему дольше, чем одно выражение. R-значение – это временное значение, которое не сохраняется после выражения, в котором оно используется. Понятия l-значений и r-значений были введены в Комбинированном языке программирования (CPL). Понятия r-значения, l-значения и r-значения/l-значения в выражении аналогичны режимам параметров: входного параметра (имеет значение), выходного параметра (может быть присвоено значение) и входного/выходного параметра (имеет значение и может быть присвоено значение), хотя технические детали различаются в зависимости от контекста и языка.
Some languages use the idea of l values and r values, deriving from the typical mode of evaluation on the left and right hand side of an assignment statement. An l value refers to an object that persists beyond a single expression. An r value is a temporary value that does not persist beyond the expression that uses it. The notion of l values and r values was introduced by Combined Programming Language (CPL). The notions in an expression of r value, l value, and r value/l value are analogous to the parameter modes of input parameter (has a value), output parameter (can be assigned), and input/output parameter (has a value and can be assigned), though the technical details differ between contexts and languages.
R-значения и адреса
Во многих языках, особенно в семействе C, l-значения имеют адреса хранения, которые программно доступны для выполняющейся программы (например, через оператор взятия адреса, такой как "&" в C/C++), что означает, что они являются переменными или разыменованными ссылками на определенное местоположение в памяти. R-значения могут быть l-значениями (см. ниже) или не-l-значениями – термин, используемый исключительно для различения от l-значений. Рассмотрим выражение в C. При выполнении компьютер генерирует целочисленное значение 13, но поскольку программа не указала, где в памяти хранится это число 13, выражение является не-l-значением. С другой стороны, если программа на C объявляет переменную x и присваивает ей значение 13, то выражение имеет значение 13 и является l-значением. В C термин l-value первоначально означал то, чему можно присвоить значение (отсюда и название, указывающее на его положение слева от оператора присваивания), но с добавлением в язык зарезервированного слова `const` (константа), термин теперь обозначает «изменяемое l-значение». В C++11 существует специальный семантический символ (не путать с оператором `&&`, используемым для логических операций) для обозначения использования/доступа к адресу выражения исключительно для компилятора; то есть, адрес нельзя получить с помощью оператора взятия адреса во время выполнения программы (см. использование семантики перемещения). Добавление семантики перемещения усложнило таксономию классификации значений, добавив понятие x-value (уходящее значение), которое относится к объекту, находящемуся близко к концу своего жизненного цикла, ресурсы которого могут быть повторно использованы (обычно путем перемещения). Это также привело к созданию категорий glvalue (обобщенное l-значение), которые включают l-значения и x-значения, и prvalue (чистое r-значение), которые являются r-значениями, не являющимися x-значениями. Этот тип ссылки может применяться ко всем r-значениям, включая не-l-значения, а также l-значения. Некоторые процессоры предоставляют одну или несколько инструкций, которые принимают непосредственное значение, иногда называемое просто «непосредственным». Непосредственное значение хранится как часть инструкции, которая его использует, обычно для загрузки в регистр, добавления к нему или вычитания из него. Другие части инструкции – это мнемоника (opcode) и пункт назначения. Последний может быть неявным. (Непосредственное значение может находиться в регистре или храниться в другом месте в памяти, требуя, чтобы инструкция содержала прямой или косвенный адрес [например, адрес индексного регистра] к этому значению.) Выражение l-value обозначает (ссылается на) объект. Неизменяемое l-значение адресуемо, но ему нельзя присвоить значение. Изменяемое l-значение позволяет изменять и просматривать указанный объект. R-значение – это любое выражение, а не-l-значение – любое выражение, которое не является l-значением. Примером является «непосредственное значение» (см. выше) и, следовательно, оно не адресуемо.
In many languages, notably the C family, l values have storage addresses that are programmatically accessible to the running program (e. g., via some address of operator like "&" in C/C++), meaning that they are variables or de referenced references to a certain memory location. R values can be l values (see below) or non l values—a term only used to distinguish from l values. Consider the C expression When executed, the computer generates an integer value of 13, but because the program has not explicitly designated where in the computer this 13 is stored, the expression is a non l value. On the other hand, if a C program declares a variable x and assigns the value of 13 to x, then the expression has a value of 13 and is an l value. In C, the term l value originally meant something that could be assigned to (hence the name, indicating it is on the left side of the assignment operator), but since the reserved word (constant) was added to the language, the term is now 'modifiable l value'. In C++11 a special semantic glyph exists ( not to be confused with the && operator used for logical operations ), to denote the use/access of the expression's address for the compiler only; i. e., the address cannot be retrieved using the address of operator during the run time of the program (see the use of move semantics). The addition of move semantics complicated the value classification taxonomy by adding to it the concept of an xvalue(expiring value) which refers to an object near the end of its lifetime whose resources can be reused (typically by moving them). This also lead to the creation of the categories glvalue (generalized lvalue) which are lvalues and xvalues and prvalues (pure rvalues) which are rvalues that are not xvalues. This type of reference can be applied to all r values including non l values as well as l values. Some processors provide one or more instructions which take an immediate value, sometimes referred to as "immediate" for short. An immediate value is stored as part of the instruction which employs it, usually to load into, add to, or subtract from, a register. The other parts of the instruction are the opcode, and destination. The latter may be implicit. (A non immediate value may reside in a register, or be stored elsewhere in memory, requiring the instruction to contain a direct or indirect address [e. g., index register address] to the value.) The l value expression designates (refers to) an object. A non modifiable l value is addressable, but not assignable. A modifiable l value allows the designated object to be changed as well as examined. An r value is any expression, a non l value is any expression that is not an l value. One example is an "immediate value" (see above) and consequently not addressable.
На языке ассамблеи
Значение может быть практически любым типом данных, соответствующим заданному типу, например, строкой, цифрой или отдельной буквой. Процессоры часто поддерживают несколько размеров непосредственных данных, например, 8 или 16 бит, используя уникальный опкод и мнемонику для каждого варианта инструкции. Если программист предоставит значение, которое не помещается в заданный размер, ассемблер выдаст сообщение об ошибке "Out of range". Большинство ассемблеров позволяют задавать непосредственные значения в виде ASCII, десятичных, шестнадцатеричных, восьмеричных или двоичных данных. Таким образом, ASCII-символ эквивалентен или . Порядок байтов строк может различаться между процессорами в зависимости от ассемблера и архитектуры компьютера.
A value can be virtually any kind of data by a given data type, for instance a string, a digit, a single letter. Processors often support more than one size of immediate data, e. g. 8 or 16 bit, employing a unique opcode and mnemonic for each instruction variant. If a programmer supplies a data value that will not fit, the assembler issues an "Out of range" error message. Most assemblers allow an immediate value to be expressed as ASCII, decimal, hexadecimal, octal, or binary data. Thus, the ASCII character is the same as or The byte order of strings may differ between processors, depending on the assembler and computer architecture.