хоть, где нужна специализация адресами?
Compile-time'овые оптимизации конструирования объектов, полагаю. Можно руководствоваться соображениями из серии все, что можно сделать во время компиляции, - должно быть сделано во время компиляции и таким образом просто передавать указатель на какой-то зависимый объект.
ну у меня есть некоторый набор переменных, к которым надо предоставить доступ из разных мест. Сам набор известен на этапе компиляции, и потому хочется максимально оптимизировать, а также накрутить проверок по безопасности на это
ну да, примерно так и есть :)
Специализация ссылкой вполне хорошая замена куче шаблонных параметров. Это нужно скорее для параметризации типа (не объекта) каким-то большим количеством параметров (но в таком случае, конечно, A<a> и A<copy_of_a> будут разными типами). Ну и как замена NTTP подойдёт, если у ссылаемого объекта есть какие-нибудь constexpr методы
Ну это типа traits?
Что-то похожее, да
А ссылка для удобства инициализации множества static ttaits::x?
Не совсем понял вопрос. Обычно трейты передают типом, но ссылка в отличие от типа может хранить какое-то состояние (в том числе рантаймовое)
Крутое применение
Да да, согласен, оно уменьшает число type параметров.
Эмм, тогда какое ещё применение?
В плане рантайма прям на подумать... Это ж обратная связь, прям передача на manager через шаблон.
Чё за бред то, что проверять собираешься?
IMHO тут вообще шаблоны не нужны
Обсуждают сегодня