170 похожих чатов

Хм, все прям в курсе зачем оно надо :) расскажите

хоть, где нужна специализация адресами?

14 ответов

3 просмотра

Compile-time'овые оптимизации конструирования объектов, полагаю. Можно руководствоваться соображениями из серии все, что можно сделать во время компиляции, - должно быть сделано во время компиляции и таким образом просто передавать указатель на какой-то зависимый объект.

ну у меня есть некоторый набор переменных, к которым надо предоставить доступ из разных мест. Сам набор известен на этапе компиляции, и потому хочется максимально оптимизировать, а также накрутить проверок по безопасности на это

Специализация ссылкой вполне хорошая замена куче шаблонных параметров. Это нужно скорее для параметризации типа (не объекта) каким-то большим количеством параметров (но в таком случае, конечно, A<a> и A<copy_of_a> будут разными типами). Ну и как замена NTTP подойдёт, если у ссылаемого объекта есть какие-нибудь constexpr методы

Dmitry-Sokolov Автор вопроса
Alexander Karaev
Что-то похожее, да

А ссылка для удобства инициализации множества static ttaits::x?

Dmitry Sokolov
А ссылка для удобства инициализации множества stat...

Не совсем понял вопрос. Обычно трейты передают типом, но ссылка в отличие от типа может хранить какое-то состояние (в том числе рантаймовое)

Dmitry-Sokolov Автор вопроса
Alexander Karaev
Не совсем понял вопрос. Обычно трейты передают тип...

Да да, согласен, оно уменьшает число type параметров.

Dmitry-Sokolov Автор вопроса
Sergey Pluzhnikov
Крутое применение

Эмм, тогда какое ещё применение?

Dmitry-Sokolov Автор вопроса
Alexander Karaev
Не совсем понял вопрос. Обычно трейты передают тип...

В плане рантайма прям на подумать... Это ж обратная связь, прям передача на manager через шаблон.

Похожие вопросы

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w -> (a -> b)) -> (w -> a) -> w -> b Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, ил...
Михаил
13
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Any electron dev here?
Sayanth Tezro
12
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Кто-нибудь знает почему SPM клонирует репо целиком? Некоторые репы просто огромные, как та же swift-syntax которая нужна для использования макросов. Сначала подумал, что это...
iMike
6
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет. Я верно понимаю, что в определении класса Монад m — зафиксирован (к тому же поскольку это моноид в категории эндофункторов). Т.е. используя байнд я не могу перемещать...
Arseny
5
Карта сайта