AF
Типа предположим что хотим писать в лог при добавлении значения в мапу и не хотим писать иф
Size: a a a
2020 December 08
АР
Так речь про то чтобы не вызывалось
ну тут как - конструктор значения не будет вызван если value есть
АР
но аргументы конечно всё равно придется вычислять
АР
интересно а реально ли в стандарт как-то запихать оптимизацию вычисления аргументов?
OL
другими словами ты хочешь функцию, которая проверить сначала ключ, а если его нет, то сконструирует value и вставит?
AF
Ну эта функция по идее конструктор но тип поменяется
AN
Я так понял он хочет конструировать объект при обращении, если он ещё не сконструирован
АР
Oleg Linkin
другими словами ты хочешь функцию, которая проверить сначала ключ, а если его нет, то сконструирует value и вставит?
да. В принципе try_emplace эту задачу и выполняет, с поправкой на необходимость вычисления аргументов
АК
да. В принципе try_emplace эту задачу и выполняет, с поправкой на необходимость вычисления аргументов
https://jguegant.github.io/blogs/tech/performing-try-emplace.html
очень хорошее чтиво на эту тему, почему try_emplace не решает все проблемы
очень хорошее чтиво на эту тему, почему try_emplace не решает все проблемы
АР
https://jguegant.github.io/blogs/tech/performing-try-emplace.html
очень хорошее чтиво на эту тему, почему try_emplace не решает все проблемы
очень хорошее чтиво на эту тему, почему try_emplace не решает все проблемы
ну он кажется описывает именно ту проблему о которой говорю я )
ID
template<typename T>
struct Test { int a = 10; };
struct Intspec { int b = 11; };
struct Floatspec { int c = 12; };
template<> struct Test<int> : Intspec {};
template<> struct Test<float> : Floatspec {};
int main()
{
auto a = Test<std::string>{};
auto b = Test<int>{};
auto c = Test<float>{};
std::cout << a.a << b.b << c.c << std::endl;
return 0;
}
Подскажите, вот такое расширение специализации наследованием вообще легально? Выглядит ну очень странно)
D
template<typename T>
struct Test { int a = 10; };
struct Intspec { int b = 11; };
struct Floatspec { int c = 12; };
template<> struct Test<int> : Intspec {};
template<> struct Test<float> : Floatspec {};
int main()
{
auto a = Test<std::string>{};
auto b = Test<int>{};
auto c = Test<float>{};
std::cout << a.a << b.b << c.c << std::endl;
return 0;
}
Подскажите, вот такое расширение специализации наследованием вообще легально? Выглядит ну очень странно)
Да
AF
template<typename T>
struct Test { int a = 10; };
struct Intspec { int b = 11; };
struct Floatspec { int c = 12; };
template<> struct Test<int> : Intspec {};
template<> struct Test<float> : Floatspec {};
int main()
{
auto a = Test<std::string>{};
auto b = Test<int>{};
auto c = Test<float>{};
std::cout << a.a << b.b << c.c << std::endl;
return 0;
}
Подскажите, вот такое расширение специализации наследованием вообще легально? Выглядит ну очень странно)
норм выглядит
AF
можешь еще погуглить policy based design от александреску
ID
норм выглядит
Я тоже так решил, но взглянул на код через две недели и аж сам удивился, что написал
D
template<typename T>
struct Test { int a = 10; };
struct Intspec { int b = 11; };
struct Floatspec { int c = 12; };
template<> struct Test<int> : Intspec {};
template<> struct Test<float> : Floatspec {};
int main()
{
auto a = Test<std::string>{};
auto b = Test<int>{};
auto c = Test<float>{};
std::cout << a.a << b.b << c.c << std::endl;
return 0;
}
Подскажите, вот такое расширение специализации наследованием вообще легально? Выглядит ну очень странно)
полная специализация — это конкретный класс, который по сути не связан с шаблоном и другими специализациями / инстанциациями
AS
можешь еще погуглить policy based design от александреску
Про это у Майерса тоже прикольно описано в "современный и эффективный с++"
AF
Что-то не припоминаю там такого.
Там crtp вроде
m
есть кстати классный вид кейса. А-ля "если в хешмапе есть элемент, то используем, иначе вставляем вот такой"
Еще есть
insert_or_assign для кейсов, когда конструирование value дешевое.