Я тут начал довольно активно пользоваться std::variant, и часто возникает задача — узнать, что там во варианте лежит. Также возникает задача получить лежащее там значение.
Мне не нравится то, что std::get принимает std::size_t индекс, а std::variant::index() возвращает std::size_t, а std::holds_alternative принимает тип.
Я каждый раз для каждого variant делаю перечисление enum class, если мой variant — MyVariant, то перечисление — MyVariantKind. Имена альтернатив там в одном порядке. Пишу функцию GetKind и вроде норм. Пока было нужно всего несколько раз, и руками было достаточно просто. Но вообще идея мне понравилась, и я подумал, как бы это дело сделать совместимым с std.
Захотелось:
1) поиметь функцию типа std::index (которой на самом деле вроде нет), которая для variant'а вызывает его index() и кастит к моему enum — что тут лучше придумать? Или есть что-то такое, просто я не в курсе?
2) аналог std::get. Кстати, я что-то всегда вызываю std::get, но, по идее, тут должен работать просто get через ADL, и я могу написать свою пачку перегрузок get в том же NS, где и variant, и всё будет работать просто через вызов get, так?
3) holds_alternative, которая принимает variantKind и variant, и возвращает bool — тут по идее, так же как с get
4) get_if — ну это уже на базе остального делается, вроде
Как это всё лучше по красоте сделать?
ЗЫ Думаю запилить какой-нить генератор кода, который бы мне всю красоту генерил по простецкому описанию, и мой Variant, и VariantKind
ЗЗЫ Приглашается в тему Евгений Музыченко с примером своего compile-time скрипта на его гипотетическом диалекте C++, в котором есть МАКРОСЫ. Каким ему видится решение подобной задачи? Хочу почитать код такого решения.
ЗЗЗЫ А как variant может стать value less? И как это можно продетектить? Это из-за исключений может получиться, или есть другие способы?
Здравствуйте, Marty, Вы писали:
M>Здравствуйте!
M>Я тут начал довольно активно пользоваться std::variant, и часто возникает задача — узнать, что там во варианте лежит. Также возникает задача получить лежащее там значение.
std::visit решает все озвученные вопросы без необходимости изобретать велосипеды, которые я поскипал.
M>ЗЗЗЫ А как variant может стать value less? И как это можно продетектить? Это из-за исключений может получиться, или есть другие способы?
Здравствуйте, landerhigh, Вы писали:
M>>Я тут начал довольно активно пользоваться std::variant, и часто возникает задача — узнать, что там во варианте лежит. Также возникает задача получить лежащее там значение.
L>std::visit решает все озвученные вопросы без необходимости изобретать велосипеды, которые я поскипал.
Через жопу и с кучей писанины, да
M>>ЗЗЗЫ А как variant может стать value less? И как это можно продетектить? Это из-за исключений может получиться, или есть другие способы?
L>Ну вроде да.
2) Type-based value accessor: If v holds the alternative T, returns a reference to the value stored in v. Otherwise, throws std::bad_variant_access. The call is ill-formed if T is not a unique element of Types....
M>Я каждый раз для каждого variant делаю перечисление enum class, если мой variant — MyVariant, то перечисление — MyVariantKind. Имена альтернатив там в одном порядке. Пишу функцию GetKind и вроде норм. Пока было нужно всего несколько раз, и руками было достаточно просто. Но вообще идея мне понравилась, и я подумал, как бы это дело сделать совместимым с std.
Даже я, будучи паталогическим велосипедостроителем в терминальной стадии, немного в шоке от вашей идеи. Да не, даже много в шоке.
Здравствуйте, Marty, Вы писали:
M>>>Я тут начал довольно активно пользоваться std::variant, и часто возникает задача — узнать, что там во варианте лежит. Также возникает задача получить лежащее там значение.
L>>std::visit решает все озвученные вопросы без необходимости изобретать велосипеды, которые я поскипал.
M>Через жопу и с кучей писанины, да
Здравствуйте, so5team, Вы писали:
M>>Мне не нравится то, что std::get принимает std::size_t индекс
S>Вы точно в этом уверены?
Точно:
1) Index-based value accessor: If v.index() == I, returns a reference to the value stored in v. Otherwise, throws std::bad_variant_access. The call is ill-formed if I is not a valid index in the variant.
M>>Я каждый раз для каждого variant делаю перечисление enum class, если мой variant — MyVariant, то перечисление — MyVariantKind. Имена альтернатив там в одном порядке. Пишу функцию GetKind и вроде норм. Пока было нужно всего несколько раз, и руками было достаточно просто. Но вообще идея мне понравилась, и я подумал, как бы это дело сделать совместимым с std.
S>Даже я, будучи паталогическим велосипедостроителем в терминальной стадии, немного в шоке от вашей идеи. Да не, даже много в шоке.
Здравствуйте, so5team, Вы писали:
L>>>std::visit решает все озвученные вопросы без необходимости изобретать велосипеды, которые я поскипал.
M>>Через жопу и с кучей писанины, да
S>Может вы просто не умеете его готовить?
Здравствуйте, Marty, Вы писали:
S>>Может вы просто не умеете его готовить?
M>Возможно. Научи, как правильно
Может вы покажите как у вас получается через жопу и с большим количеством писанины, чтобы читатели форума могли подсказать как улучшить ситуацию? Или признать вашу правоту.
А то без кода обсуждать можно разве что ваши дурные привычки к функциям на много сотен строк.
Здравствуйте, Marty, Вы писали:
L>>std::visit решает все озвученные вопросы без необходимости изобретать велосипеды, которые я поскипал. M>Через жопу и с кучей писанины, да
Можно и через жопу. И даже с кучей писанины. В плюсах вообще можно всё.
Но зачем?
Здравствуйте, Marty, Вы писали:
L>>std::visit решает все озвученные вопросы без необходимости изобретать велосипеды, которые я поскипал.
M>Через жопу и с кучей писанины, да
R> std::visit([](auto&& t) {
R> std::cout << "Тут лежит " << t << std::endl;
R> }, v);
R>
R>А как бы ты хотел чтоб это выглядело? Можешь примерчик набросать?
Как-то так:
int func(MyVariant v)
{
auto kind = getKind(v);
if (kind==Kind::A)
{
doSomething(get<Kind::A>(v));
// doSomething(get(kind, v)); // или даже так
}
else if (kind==Kind::B || kind==Kind::C)
{
log << "Error: " << enum_serialize(kind) << " not allowed here\n";
return -1; // error - B or C not allowed here
}
else
{
return 0; // OK
}
//...
}
Здравствуйте, Marty, Вы писали:
M>Захотелось: M>1) поиметь функцию типа std::index (которой на самом деле вроде нет), которая для variant'а вызывает его index() и кастит к моему enum — что тут лучше придумать? Или есть что-то такое, просто я не в курсе? M>2) аналог std::get. Кстати, я что-то всегда вызываю std::get, но, по идее, тут должен работать просто get через ADL, и я могу написать свою пачку перегрузок get в том же NS, где и variant, и всё будет работать просто через вызов get, так? M>3) holds_alternative, которая принимает variantKind и variant, и возвращает bool — тут по идее, так же как с get M>4) get_if — ну это уже на базе остального делается, вроде
По-моему, во всех этих вариантах писанины будет существенно больше, чем при использовании std::visit. Для каждого типа варианта нужно написать энум, потом скастить к этому энуму индекс, потом этот энум запихнуть в какой-то switch и в конечном итоге, скорее всего, вызвать для каждого случая какую-то функцию. Ты же не будешь писать пласты кода прямо внутри switch-а.
А через std::get твоя задача (УЗНАТЬ, что лежит в вариарианте) вообще не решается. Рассчитано на то, что ты сам знаешь, что лежит в варианте и вызываешь std::get с правильным индексом или типом, в противном случае получишь исключение.
Третий и четвёртый варианты — это проверить, а не узнать.
В общем, осваивай std::variant, и твоя жизнь сразу упростится.
--
Справедливость выше закона. А человечность выше справедливости.
Здравствуйте, rg45, Вы писали:
R>По-моему, во всех этих вариантах писанины будет существенно больше, чем при использовании std::visit. Для каждого типа варианта нужно написать энум, потом скастить к этому энуму индекс,
Генератор кода
R>потом этот энум запихнуть в какой-то switch и в конечном итоге, скорее всего, вызвать для каждого случая какую-то функцию. Ты же не будешь писать пласты кода прямо внутри switch-а.
Или не вызвать, а выйти из текущей
R>А через std::get твоя задача (УЗНАТЬ, что лежит в вариарианте) вообще не решается. Рассчитано на то, что ты сам знаешь, что лежит в варианте и вызываешь std::get с правильным индексом или типом, в противном случае получишь исключение.
ну да, для узнать это get_if или holds_alternative
R>Третий и четвёртый варианты — это проверить, а не узнать.
R>В общем, осваивай std::variant, и твоя жизнь сразу упростится.
Я как-то осваивал std::variant, пиша (пися? писая?) тулзу с использованием LLVM. Мягко говоря, осталось впечатление, что это полный п надо бы как-то попроще всё это
А как мне выйти из функции, которая вызывает std::visit, по какой-нибудь альтернативе?
Ещё бесит, что в visit значение варианта передаётся после обработчика. Почему нельзя было его первым аргументом? Оно за портянкой лямбды теряется совсем
Здравствуйте, rg45, Вы писали:
R>В общем, осваивай std::variant, и твоя жизнь сразу упростится.
Или вот вот такой пример. Есть variant с парой десятков альтернатив. У половины альтернатив есть атрибут name, у других нет. Я хочу функцию, которая возвращает name, если он есть, или пустую строку, если его нет. Чтобы выше не парится, выписывая везде std::visit для получения этого атрибута.
auto kind = getKind(v);
name = getName(kind, v);
Как мне такое сделать?
Я пока портяночно написал, но вот думаю, как бы можно было бы это лучше сделать.
int func(MyVariant v)
{
return std::visit([]<typename T>(const T& t) {
if constexpr (std::same_as<T, A>)
{
doSomething(t);
}
else if constexpr (std::same_as<T, B> or std::same_as<T, C>)
{
std::cout << "Error: B or C not allowed here\n";
return -1;
}
return 0; // OK
}, v);
}
И это не единственный, и не лучший, кстати, вариант использования — тут на перегрузках можно реально по красоте всё сделать.
И я привёл законченный работающий пример, а тебе ещё нужно наколбасить энумов к своим вариантам. В итоге нифига не проще будет, а будет реально куча.
--
Справедливость выше закона. А человечность выше справедливости.
Так это только благодаря тебе она начинается, потому что ты if-ы используешь. А так-то вообще такие штуки на перегрузках делаются. И перегрузки можно делать по-разному. Можно, лямбды использовать, можно собственные функционалы. Можно через композицию, можно через монолиты. И здесь очень востребованы оказываются концепцы и констрейнты. И код реально выглядит красиво и профессионально, не что что твои if-ы, с энумами.
--
Справедливость выше закона. А человечность выше справедливости.
