CD
А если коллбэки могут иметь кучу собственных шаблонных аргументов?
Да какая разница, формально транслируем. Перечисляем все случая конструирования параметра, для каждого берем тип, все записываем в вариант
Size: a a a
2020 October 02
m
Задачи пока не вижу. Есть какое-то решение задачи, представленное каким-то кодом
Задача написать простейший однопоточный экзекютор.
CD
Получаем схему программирования, очень популярную у ФПшников
CD
Задача написать простейший однопоточный экзекютор.
Это не задача, это решение
D
Да какая разница, формально транслируем. Перечисляем все случая конструирования параметра, для каждого берем тип, все записываем в вариант
Насколько это будет быстрее по сравнению с TE + Small Object Optimization?
CD
Насколько это будет быстрее по сравнению с TE + Small Object Optimization?
Ну... аллокатора вообще больше нет
D
Ну... аллокатора вообще больше нет
Предположим, что у нас агрессивный аллокатор/пул, который умеет в очень быстрое выделение и переиспользование памяти
Речь в первую очередь о вызовах
Речь в первую очередь о вызовах
CD
Предположим, что у нас агрессивный аллокатор/пул, который умеет в очень быстрое выделение и переиспользование памяти
Речь в первую очередь о вызовах
Речь в первую очередь о вызовах
Вызов аллокатора рядом с кэшмиссом ходит. Конкретные числа на конкретных примерах. Мне не нравится подход с закрытием из общих соображений, но вряд ли будет медленнее, если не эксплуатируется перемещение
DS
Диспетчеризация variant это вызов одной из сгенерированных прокси функций по номеру. Диспетчеризация function вызов той же proxy функции по указателю который лежит в самой function.
D
Диспетчеризация variant это вызов одной из сгенерированных прокси функций по номеру. Диспетчеризация function вызов той же proxy функции по указателю который лежит в самой function.
В function может лежать сам объект
CD
Я не понимаю.
Был вопрос: могут ли модули заменить
Ответ: нет, так как
Дальнейшая дискуссия уходит глубоко в теорию без каких либо объяснений как на практике
Был вопрос: могут ли модули заменить
std::funtion.Ответ: нет, так как
std::function дает type erasure и используется именно из-за него.Дальнейшая дискуссия уходит глубоко в теорию без каких либо объяснений как на практике
variant может заменить type erasure.Не понимаете что, что СЕО никогда не поставит вам задачу написать однопоточный экзекютор?)
CD
Если у нас конечный набор колбеков - почему бы просто не заменить их энамом и не делать свитч по нему?
Ну вы переизобретаете variant
CD
variant из объектов без полей, разумеется, enum
CD
Диспетчеризация variant это вызов одной из сгенерированных прокси функций по номеру. Диспетчеризация function вызов той же proxy функции по указателю который лежит в самой function.
Ну switch все-таки отличается от виртуального вызова
DS
Ну switch все-таки отличается от виртуального вызова
Но обычно visit это таки не switch.
CD
Но обычно visit это таки не switch.
Нет разницы, цепочка if (x == 0) else if (x == 1) не только имеет шанс оптимизироваться, но и, скажем, наглядно продемонстрирует компилятору отсутствие барьеров памяти в вызываемом коде
DS
Нет разницы, цепочка if (x == 0) else if (x == 1) не только имеет шанс оптимизироваться, но и, скажем, наглядно продемонстрирует компилятору отсутствие барьеров памяти в вызываемом коде
Нет, не цепочка, а таблица указателей на функции.