Почему этот код не выполнится должным образом?

@NewFive · Регистрация: 13.12.2019

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

На одном форуме наткнулся на то, что одному парню на собеседовании задали написать функцию нахождения минимума, он написал следующим образом:

C++
1
2
3
4
5
template <class T> 
T& min (T& a, T& b) 
{
  return (a<b)?a:b;
}

собеседующий ответил, что такой код не отработает должным образом на вызове:
min(a, b+1)

у меня вопрос, почему не работает? я запустил и он работает. (параметры стоило бы сделать константными, да, но почему код не отработает должным образом?)

@NewFive · 03.11.2022, 18:33 **[ТС]**

Folian

т.е. если засунуть два lvalue - можно и ссылку брать

1. По идее можно передать в качестве аргумента один lvalue и один rvalue, и если функция min вернет lvalue, то можно его по ссылке принять и все будет хорошо.

2. Но вот что меня еще смущает, при таком коде:

C++
1
2
3
4
5
6
7
8
9
10
template <class T>
 const T& min(const T& a, const T& b)
{
    std::cout << "MyMin" << std::endl;
    return (a < b) ? a : b;
}
 
int var1 = 5;
int var2 = 6;
min(var1,var2);

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

@SmallEvil · 03.11.2022, 18:58

NewFive,
Все в посте 41 это один большой -

@Folian · 03.11.2022, 19:02

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

один lvalue и один rvalue, и если функция min вернет lvalue

Зачем тогда вообще спрашивать, если уже знаешь что вернёт?

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

что же делать?

Непосредственно в тернарник засунуть, например. Или перегрузить неконстантными. Или через rvalue-ref~. Или ещё как.
Смотря чо надо. А чо надо-то?

@NewFive · 03.11.2022, 19:10 **[ТС]**

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

Зачем тогда вообще спрашивать, если уже знаешь что вернёт?

чтобы убедиться, что правильно понял

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

Непосредственно в тернарник засунуть, например. Или перегрузить неконстантными. Или через rvalue-ref~. Или ещё как.
Смотря чо надо. А чо надо-то?

понял, я так и думал, но просто хотел убедиться, но вот насчет тернарника не понял, можно пояснить?

Добавлено через 16 секунд

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

Все в посте 41 это один большой -

а, понял, буду юзать кнопки языков программирования при использовании кода

@Folian · 03.11.2022, 19:17

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

чтобы убедиться, что правильно понял

Нипральна понял; "зачем сувать в функцыю lvalue и rvalue, если уже знаешь что выдаст lvalue?"

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

насчет тернарника не понял

C++
1
auto& x { (a > b ? b : a) };

@NewFive · 03.11.2022, 19:31 **[ТС]**

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

Нипральна понял; "зачем сувать в функцыю lvalue и rvalue, если уже знаешь что выдаст lvalue?"

ну я имел в виду, что если в теории мы засунем lvalue и rvalue и он вернет lvalue, а мы будем принимать по ссылке, то всё будет ок, но если он вернет rvalue, то наша ссылка будет висячей, а так да, если мы знаем, что вернет, то нет смысла вызывать функцию.

всё, разобрался, спасибо. Я вот сейчас изучаю эту тему и хочу понять, нужно ли понимать xgvalue, prvalue и т.д.? или достаточно понимать lvalue и rvalue ? ну и lvalue и rvalue ссылки.

@SmallEvil · 03.11.2022, 22:02

[/CPP]

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

что если в теории мы засунем lvalue и rvalue

Вы пробовали ?

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

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

нужно ли понимать xgvalue, prvalue и т.д.? или достаточно понимать lvalue и rvalue ? ну и lvalue и rvalue ссылки.

на первых порах нужно четко отличать lvalue и rvalue.

Остальное - нюансы.

Добавлено через 1 минуту
А еще нужно понимать выведение типов и шаблоны, которые вы cейчас плутаете с lvalue b rvalue объектами
Разбирайте все как можно более обособлено, если это возможно, а это возможно

Добавлено через 4 минуты
Folian, я проверял, стандартный max может принимать b lvalue b rvalue если принимать результат как константную ccskre
Что очень круто, то есть выжали по максимуму из ситуации.

@TheCalligrapher · 04.11.2022, 01:03

Стандартная функция std::min в случае эквивалентных аргументов всегда возвращают свой первый аргумент. Причем под это в свое время, кажется, была подведена какая-то теоретическая база, что-то из области "стабильности упорядочения" и т.п. То есть канонической реализацией min(a, b) в C++ является именно

C++
1
return b < a ? b : a;

Именно в таком порядке для обеспечения возврата a в случае эквивалентности. И на основе использования только фундаментального оператора сравнения - <.

Выглядит логично, но чего я навскидку не вспомню, так этого того, почему в соответствие с этой же самой логикой от std::max не потребовали возвращения своего второго аргумента в случае эквивалентных a и b. std::max в такой ситуации тоже возвращает первый. То есть с точки зрения lvalue поведения пара std::min и std::max ведет себя неэквивалентно стандартной функции std::minmax. std::minmax гарантирует возврат пары [a, b] в случае эквивалентности, не [a, a].

---

Также, предложение "полноценной" реализации std::min и std::max, с максимальным сохранением lvalue-поведения, с поддержкой rvalue-форвардинга, но и с возможностью смешения типов

https://www.open-std.org/jtc1/... n2199.html

@SmallEvil · 04.11.2022, 10:17

TheCalligrapher, то есть min и max можно рассматривать как часть нестабильной сортировки ?

@TheCalligrapher · 04.11.2022, 12:28

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

то есть min и max можно рассматривать как часть нестабильной сортировки ?

Я не вижу, как min и max можно рассматривать как часть любой сортировки. В том смысле, что в общем случае для массива из двух элементов

C++
1
2
dst_array[0] = std::min(src_array[0], src_array[1]);
dst_array[1] = std::max(src_array[0], src_array[1]);

не дадут на выходе отсортированный массив.

@SmallEvil · 04.11.2022, 12:45

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

не дадут на выходе отсортированный массив.

Это я про другое, но все верно, глупый был вопрос )

@TheCalligrapher · 04.11.2022, 12:49

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

не дадут на выходе отсортированный массив

То есть можно конечно сделать так

C++
1
2
dst_array[0] = std::min(src_array[0], src_array[1]);
dst_array[1] = std::max(src_array[1], src_array[0]);

и все получится...

Новые блоги и статьи Все статьи Все блоги /
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .	Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .

@SmallEvil 4086 / 2975 / 813 Регистрация: 29.06.2020 Сообщений: 11,000
	03.11.2022, 18:58
	NewFive, Все в посте 41 это один большой - 0

@SmallEvil 4086 / 2975 / 813 Регистрация: 29.06.2020 Сообщений: 11,000
	04.11.2022, 10:17
	TheCalligrapher, то есть min и max можно рассматривать как часть нестабильной сортировки ? 0