В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

4068 membersпожаловаться на группу
2020 November 25

CD

Constantine Drozdov in pro.cxx
Андрей Руссков
кхм кхм ranges кхм кхм
кстати, я тебе не затирал идею metalift?
у нас есть концепт и мы хотим записать требование коммутативности сложения
делаем операцию metalift которая переходит от типа к символьным аргументам и что-то вроде
metalift(a)::symbol<0>() + metalift(b)::symbol<1>() == metalift(b)::symbol<1>() + metalift(a)::symbol<0>()
источник
16:39пожаловаться#1

АР

Андрей Руссков... in pro.cxx
нюанс в том, что в большинстве практического кода дополнительное быстродействие от использования статического полиморфизма через шаблоны куда менее значимо, чем дополнительная когнитивная нагрузка. Это относительно старых добрых виртуальных функций
источник
16:40пожаловаться#2

m

magras in pro.cxx
Андрей Руссков
нюанс в том, что в большинстве практического кода дополнительное быстродействие от использования статического полиморфизма через шаблоны куда менее значимо, чем дополнительная когнитивная нагрузка. Это относительно старых добрых виртуальных функций
Так проблема паттерна виртуальный метод в том, что его невозможно читать. На мой взгляд у него когнитивная сложность выше любого другого решения. Даже crtp.
источник
16:41пожаловаться#3

PK

Pavel Kazakov in pro.cxx
Андрей Руссков
нюанс в том, что в большинстве практического кода дополнительное быстродействие от использования статического полиморфизма через шаблоны куда менее значимо, чем дополнительная когнитивная нагрузка. Это относительно старых добрых виртуальных функций
ну, если правильно всё написано, то тебе не придется лезть в кишки и смотреть как что-то сделано :) подвох в слове "если"
источник
16:41пожаловаться#4

АР

Андрей Руссков... in pro.cxx
magras
Так проблема паттерна виртуальный метод в том, что его невозможно читать. На мой взгляд у него когнитивная сложность выше любого другого решения. Даже crtp.
в случае с виртуальными функциями, IDE умеет находить все перегрузки и использования базовой функции. В случае с шаблонами ты не можешь положиться ни на что кроме ожиданий к архитектуре и строкового поиска по коду.

И эти ожидания почти никогда не оправдываются
источник
16:44пожаловаться#5

PK

Pavel Kazakov in pro.cxx
но мне, субъективно, больше виртуальные функции нравится читать, чем с crtp разбираться под час
источник
16:44пожаловаться#6

АР

Андрей Руссков... in pro.cxx
в обоих случаях я вычислил такой прикольный трюк: в интересующем месте печатаем стектрейс и из него мы знаем какая перегрузка где вызывается )
источник
16:45пожаловаться#7

m

magras in pro.cxx
Андрей Руссков
в обоих случаях я вычислил такой прикольный трюк: в интересующем месте печатаем стектрейс и из него мы знаем какая перегрузка где вызывается )
Виртуальный метод это не всегда одна точка кастомизации. Мне кажется я чаще видел сразу россыпь точек кастомизации, каждая из которых может быть переопределена на разном уровне иерархии наследования.
источник
16:50пожаловаться#8

m

magras in pro.cxx
Но возможно мне просто попадались худшие из возможных реализаций. Более того в том случае который я помню, вообще не нужны были подобные механизмы. Нужно было просто разделить иерархию наследования на две, потому что она очень неуклюже пытался решать сразу две слабо связанных задачи.
источник
16:54пожаловаться#9

ПК

Побитый Кирпич... in pro.cxx
magras
Да, это оно. Плохо то, что для того чтобы прочитать такой метод надо облазить всю иерархию классов и собрать его по кускам.
Гнать на template method это как гнать на передачу компаратора в std::sort
источник
17:29пожаловаться#10

ПК

Побитый Кирпич... in pro.cxx
Та же херня по сути
источник
17:29пожаловаться#11

m

magras in pro.cxx
Побитый Кирпич
Та же херня по сути
У них есть принципиальная разница. Передача параметра явная, в то время как template method - это неявная передача управления непонятно куда.
источник
17:31пожаловаться#12

CD

Constantine Drozdov in pro.cxx
Побитый Кирпич
Гнать на template method это как гнать на передачу компаратора в std::sort
Ниет, само по себе наличие двух последовательных виртуальных вызовов на одном объекте означает подозрение на ошибку логики
источник
17:34пожаловаться#13

ПК

Побитый Кирпич... in pro.cxx
magras
У них есть принципиальная разница. Передача параметра явная, в то время как template method - это неявная передача управления непонятно куда.
1)Ты смотришь реализацию метода - видишь, что там вызывается виртуальный метод do_some1(). Куда он конкретно идёт ты в этом месте не знаешь.
2)Ты смотришь реализацию std::sort, видишь что там вызывается компаратор. Куда он конкретно идёт ты в этом месте не знаешь
источник
17:34пожаловаться#14

ПК

Побитый Кирпич... in pro.cxx
Constantine Drozdov
Ниет, само по себе наличие двух последовательных виртуальных вызовов на одном объекте означает подозрение на ошибку логики
Неочевидное утверждение - требует доказательств
источник
17:36пожаловаться#15

CD

Constantine Drozdov in pro.cxx
Побитый Кирпич
Неочевидное утверждение - требует доказательств
Твоя программа последовательно выяснила динамический тип, забыла его и снова выяснила
источник
17:36пожаловаться#16

CD

Constantine Drozdov in pro.cxx
Более того, есть логическое требование, что результаты запроса динамического типа - одинаковые
источник
17:37пожаловаться#17

m

magras in pro.cxx
Побитый Кирпич
1)Ты смотришь реализацию метода - видишь, что там вызывается виртуальный метод do_some1(). Куда он конкретно идёт ты в этом месте не знаешь.
2)Ты смотришь реализацию std::sort, видишь что там вызывается компаратор. Куда он конкретно идёт ты в этом месте не знаешь
Чаще в начале смотрят на место вызова только потом смотрят реализацию.
источник
17:38пожаловаться#18

AZ

Alexander Zaitsev in pro.cxx
в нормальных ситуациях реализацию вообще не смотрят :)
источник
17:39пожаловаться#19

ПК

Побитый Кирпич... in pro.cxx
magras
Чаще в начале смотрят на место вызова только потом смотрят реализацию.
Дак а во внешнем контексте тебе и конкретный тип может быть известен (так же как может быть НЕизвестен конкретный компаратор, который потом перейдет в std::sort).
источник
17:40пожаловаться#20