Value category

@Jzx · Регистрация: 31.12.2017

Студворк — интернет-сервис помощи студентам

C++
1
2
int x=15;
int &r= x++;

Этот кусок кода вызывает ошибку на стадии компиляции: error: invalid initialization of non-const reference of type ‘int&’ from an rvalue of type ‘int’. Если заменить x++ на ++x, ошибки не будет. Какие правила стандарта языка С++ гарантируют, что пре-инкремент является lvalue, а пост-инкремент — rvalue ?
Явно не эти:

A glvalue is an expression whose evaluation determines the identity of an object, bit-field, or function.

A prvalue is an expression whose evaluation initializes an object or a bit-field, or computes the value of an operand of an operator, as specified by the context in which it appears, or an expression that has type cv void.

Добавлено через 9 минут
Внезапно нашёл, что искал:
https://eel.is/c++draft/expr.p... ,increment
https://eel.is/c++draft/expr.p... ,increment

@argcargv · 01.08.2020, 23:22

Не по теме:

Сообщение от Jzx

A glvalue is an expression whose evaluation determines the identity of an object, bit-field, or function.
A prvalue is an expression whose evaluation initializes an object or a bit-field, or computes the value of an operand of an operator, as specified by the context in which it appears, or an expression that has type cv void.

Это вообще является "правилами", в смысле нормативным текстом, только формально. По содержанию это чисто информативная писанина.

@Jzx · 01.08.2020, 23:41 **[ТС]**

argcargv, да, проблема имеется: отсутствие в стандарте единого чёткого критерия, как распознать value category. Приходится собирать информацию по кускам.

IGPIGP · 02.08.2020, 14:04

Сообщение от Jzx

в стандарте единого чёткого критерия, как распознать value category

Само по себе, это не совсем относится к оператору ++. Обе версии описаны для арифметических (встроенных) типов. Но данные операторы могут быть определены пользователем совсем не так как оно работает для встроенных типов. Это не нормально, но разрешено. Следовательно, описание в стандарте нужно переписать в виде: "1. Для встроенных типов перечисленных в списке : int, char, ... и указатели... действует правило:...; 2. Для пользовательских типов - зависит от реализации пользователем...;"

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#include <iostream>
using namespace std;
struct StrangeIncremented
{
    int a=0;
 
    StrangeIncremented &operator++(int)
    {
        a+=100;//для пущей бредовости
        return *this;
    }
};
 
 
int main()
{
    int a;
  //int &nonCopmiled = a++;
    StrangeIncremented some;
    StrangeIncremented &hah = some++ ;
    cout<<hah.a<<endl ;//100 :D
 
return 0;
}

@argcargv · 02.08.2020, 14:12

Сообщение от IGPIGP

Следовательно, описание в стандарте нужно переписать в виде: "1. Для встроенных типов перечисленных в списке : int, char, ... и указатели... действует правило:...; 2. Для пользовательских типов - зависит от реализации пользователем...;"

Чукча не читатель, чукча писатель? В стандарте примерно так и написано.

Добавлено через 1 минуту

Не по теме:

Сообщение от Jzx

да, проблема имеется: отсутствие в стандарте единого чёткого критерия, как распознать value category

Не думаю, что есть проблема. Возможность такого критерия и/или необходимость в нём не очевидны.

IGPIGP · 02.08.2020, 14:15

Сообщение от argcargv

Чукча не читатель, чукча писатель? В стандарте примерно так и написано.

Я не увидел. Там сказано о prvalue и значинии операнда. Я перегрузил с возвратом lvalue ссылки и значение меняется, - это не значение операнда.
Просветите чукчу, нечукотской логикой.
А в принципе, мой пост относился к тому, что не зная реализации конкретной функции/оператора говорить о присутствии/отсутствии

Сообщение от Jzx

единого чёткого критерия, как распознать value category

бессмысленно.

@argcargv · 02.08.2020, 14:18

Сообщение от IGPIGP

Я не увидел.

Subclause [expr.compound] defines the effects of operators when applied to types for which they have not been overloaded.

IGPIGP · 02.08.2020, 14:28

Сообщение от Jzx

единого чёткого критерия, как распознать value category

Сообщение от argcargv

Subclause [expr.compound] defines the effects of operators when applied to types for which they have not been overloaded.

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

Новые блоги и статьи Все статьи Все блоги /
Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@Jzx -47 / 3 / 0 Регистрация: 31.12.2017 Сообщений: 204
	01.08.2020, 23:41 [ТС]
	argcargv, да, проблема имеется: отсутствие в стандарте единого чёткого критерия, как распознать value category. Приходится собирать информацию по кускам. 0