template <typename T> Max(T a, T b)

@_stanislav · Регистрация: 16.08.2014

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

C++
1
2
3
4
5
template <typename Т>
Т max(T а, Т b) {
    // Если b < а, возвращаем а, в противном случае b 
    return b < а ? а : b;
}

Заметим, что шаблон max() внутренне возвращает b < а ? а : b, а не
a < b ? b : а, чтобы гарантировать, что функция корректно ведет себя, даже когда два значе
ния эквивалентны, но не равны.

Почему важен именно данный порядок b < а ? а : b а не a < b ? b : а?

Добавлено через 6 минут
Почему при a == b важно вернуть именно b?

Добавлено через 15 минут
оригинал из книги

"C++ Templates
The Complete Guide
Second Edition"

Note that the max() template according to [StepanovNotes] intentionally returns
“b < a ? a : b” instead of “a < b ? b : a” to ensure that the function
behaves correctly even if the two values are equivalent but not equal.

@TheCalligrapher · 23.03.2021, 22:28

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

Почему при a == b важно вернуть именно b?

~~А объяснять, откуда взята цитата не будем?~~

Это цитата сноски из книги "Шаблоны. Справочник разработчика". Цитата целиком содержит ссылку [64] на http://stepanovpapers.com/notes.pdf. Вот там на страницах 61-62 и объясняется, о чем идет речь.

Степанов сначала пишет о реализации функции sort_2. Пусть мы реализовали ее так

C++
1
2
3
4
5
6
template <typename T> // T models Strict Totally Ordered
inline
void sort_2(T& x, T& y)
{
  if (!(x < y)) swap(x, y);
}

Такая реализация обладает неприятным свойством - она обменивает местами эквивалентные объекты. Поэтому лучше

C++
1
2
3
4
5
6
template <typename T> // T models Strict Totally Ordered
inline
void sort_2(T& x, T& y)
{
  if (y < x) swap(x, y);
}

и при этом разумно ожидать, чтобы поведение sort_2 было синхронизировано с поведением min и max. То есть если мы выполнили sort_2(a, b), то после этого min(a, b) должно возвращать именно a, а max(a, b) должно возвращать именно b.

Вот именно в таком контексте выбор b для возвращения из max имеет смысл.

@_stanislav · 24.03.2021, 06:29 **[ТС]**

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

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

чтобы поведение sort_2 было синхронизировано с поведением min и max.

короче, нужно что бы функции min и max как бы оставляли объекты на месте в отсортированном порядке если объекты равны?

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

Вот именно в таком контексте выбор b для возвращения из max имеет смысл.

Спасибо понятно, а что имеется ввиду под:

эквивалентны, но не равны?

@TheCalligrapher · 24.03.2021, 06:51

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

Спасибо понятно, а что имеется ввиду под:
эквивалентны, но не равны?

Ну там же должно быть написано. Если согласно вашему предикату сравнения не выполняется ни a < b, ни b < a, то a и b - эквивалентны. Но это совсем не означает, что a и b - равны/идентичны (в обычном смысле слова).

@_stanislav · 24.03.2021, 18:41 **[ТС]**

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

идентичны (в обычном смысле слова)

в смысле идентичны, у них один и тот же адрес?

@TheCalligrapher · 24.03.2021, 19:13

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

в смысле идентичны, у них один и тот же адрес?

Нет. Какой адрес? При чем здесь адрес?

В смысле, что они отличимы друг от друга. Вот предикат

C++
1
2
3
4
bool even_less(unsigned a, unsigned b)
{
  return a % 2 < b % 2;
}

Согласно этому предикату все четные числа эквивалентны друг другу и все нечетные числа эквивалентны друг другу. Тем не менее 5 и 7 - это разные числа. Что тут непонятного?

@_stanislav · 24.03.2021, 19:24 **[ТС]**

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

Что тут непонятного?

то есть предикат может определять как равенство так и эквивалентность?

@TheCalligrapher · 24.03.2021, 19:32

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

то есть предикат может определять как равенство так и эквивалентность?

Это зависит от того, что вы называете "равенством".

Предикат "less" определяет обобщенное соотношение "меньше", из которого выводится обобщенное соотношение "эквивалентность". А уж называть ли для краткости эквивалентность "равенством" - это уже вам решать. Помня при этом, что речь идет все таки об эквивалентности.

@_stanislav · 24.03.2021, 19:41 **[ТС]**

TheCalligrapher, а если исправить эту цитату так:

..., что функция корректно ведет себя, даже когда два значе
ния эквивалентны, и равны.

то реализация может быть любой в смысле порядка a и b?, например a < b ? b : а, потому что по сути равенство это строгая эквивалентность?

@TRam_ · 24.03.2021, 19:51

_stanislav, в смысле что операторы "больше" и "меньше" могут быть переопределены таким образом, что для большого множества возможных экземпляров класса они одновременно не выполняются. При этом данные экземпляры могут быть не равными (опять же относительно переопределённого оператора "равно") или отличаться по набору байтов (отличие по memcmp() ).

Добавлено через 4 минуты
А смысл всего написанного - чтобы max() в случае, если переопределённый оператор "<" не различает a и b, выбирал именно a (что полезно, если там далее будет оператор перемещения или ещё что-то).

@_stanislav · 24.03.2021, 19:52 **[ТС]**

TRam_, да вроде бы допер, спасибо.

@TRam_ · 24.03.2021, 19:54

Т.к. b интуитивно воспринимается как второй, дополнительный аргумент к этой функции.

@_stanislav · 24.03.2021, 19:55 **[ТС]**

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

Т.к. b интуитивно воспринимается как второй, дополнительный аргумент к этой функции.

да, в этом тоже было дело (сбивало с толку), то что порядок аргументов важен

IGPIGP · 24.03.2021, 20:12

_stanislav, я попробую свой вариант объяснения. Представь, что операторы сравнения такого класса

C++
1
2
3
4
5
6
7
8
9
10
11
12
struct eqv_is_no_identic
{
                 int a,b;
                 bool operator<(const eqv_is_no_identic & other)
                {
                        return a < other.b;
                }
                 bool operator>(const eqv_is_no_identic & other)
                {
                        return a > other.b;
                }
};

структуры {1,2} и {1,3} не равны но эквивалентны относительно принятого способа сравнения.
Полная идентичность и эквивалентность могут совпадать если способ сравнения опирается на сравнение всех подэлементов (мой самопал).
Проще говоря, при сравнении по окрасу, все розовые слоны эквивалентны. Независимо от толщины хоботов.

@_stanislav · 24.03.2021, 20:17 **[ТС]**

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

struct eqv_is_no_identic

четкий пример, спасибо.

@TheCalligrapher · 24.03.2021, 20:46

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

А смысл всего написанного - чтобы max() в случае, если переопределённый оператор "<" не различает a и b, выбирал именно a (что полезно, если там далее будет оператор перемещения или ещё что-то).

Cмысл всего написанного - чтобы max() выбирал именно b. А min() выбирал именно a.

IGPIGP · 24.03.2021, 21:39

_stanislav, вообще, пример с

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

в ветке для выбора b подразумевает нестрогое сравнение: !(b<a) что эквивалентно b>=a и тут оказывается что при эквивалентности относительно строгого сравнения на <> выбор падёт на b а не на а. Отсюда и возможные ненужные толо-движения (swap например) в результате такого сравнения. Лучше прямое сравнение. Однако, по чести, - твой вопрос поднял простую тему показывая вещи, которые я не знал. Хороший вопрос.

@TheCalligrapher · 24.03.2021, 21:49

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

подразумевает нестрогое сравнение: !(b<a) что эквивалентно b>=a и тут оказывается что при эквивалентности относительно строгого сравнения на <> выбор падёт на b а не на а. Отсюда и возможные ненужные толо-движения (swap например) в результате такого сравнения.

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

IGPIGP · 24.03.2021, 21:57

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

Он и должен пасть на b, а не на a.

Если а эквивалентно b то легче оставить их в покое и не менять местами. Вы это и показали. Я просто решил раскрыть:
Как в тернарнике зашит
Этот незаметный шит.
у max от _stanislav, аргументы следуют в порядке a,b и далее в тексте обсуждается:

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

а не
a < b ? b : а

каюсь, - я думая о нём скопипастил верный вариант из кода, указанного в шаблоне. Получилось непонятно, да)

Новые блоги и статьи Все статьи Все блоги /
Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .
Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .

template <typename T> Max(T a, T b)

Решение

Решение

Решение

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1
	24.03.2021, 19:41 [ТС]
	TheCalligrapher, а если исправить эту цитату так: ..., что функция корректно ведет себя, даже когда два значе ния эквивалентны, и равны. то реализация может быть любой в смысле порядка `a` и `b`?, например `a < b ? b : а`, потому что по сути равенство это строгая эквивалентность? 0

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	24.03.2021, 19:51
	Сообщение было отмечено _stanislav как решение Решение _stanislav, в смысле что операторы "больше" и "меньше" могут быть переопределены таким образом, что для большого множества возможных экземпляров класса они одновременно не выполняются. При этом данные экземпляры могут быть не равными (опять же относительно переопределённого оператора "равно") или отличаться по набору байтов (отличие по memcmp() ). Добавлено через 4 минуты А смысл всего написанного - чтобы max() в случае, если переопределённый оператор "<" не различает a и b, выбирал именно a (что полезно, если там далее будет оператор перемещения или ещё что-то). 0

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1
	24.03.2021, 19:52 [ТС]
	TRam_, да вроде бы допер, спасибо. 0

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	24.03.2021, 19:54
	Т.к. b интуитивно воспринимается как второй, дополнительный аргумент к этой функции. 0