АК
Ну вот, вполне без сеттера для index живётся
ну с таким же аргументом можно выпилить
std::visitSize: a a a
2020 April 23
АК
а разве не нужно typename для шаблонных лямбд указывать перед тем как тип передавать?
хз, куда ты здесь собрался typename пихать, здесь нет зависимого контекста
RM
хз, куда ты здесь собрался typename пихать, здесь нет зависимого контекста
А весь код где можно глянуть?
АК
А весь код где можно глянуть?
в моём приватном репозитории
/¯
ну с таким же аргументом можно выпилить
std::visitТак а visit при чём?
Если вдруг зачем-то используешь сеттер index в variant (предположим, он существует), то ты должен тут же сконструировтать объект соответсвеющего типа
Если вдруг зачем-то используешь сеттер index в variant (предположим, он существует), то ты должен тут же сконструировтать объект соответсвеющего типа
/¯
Но если все равно объект нужного типа конструирешь, то тогда зачем сеттер index? variant сам ему нужный проставит
АК
Так а visit при чём?
Если вдруг зачем-то используешь сеттер index в variant (предположим, он существует), то ты должен тут же сконструировтать объект соответсвеющего типа
Если вдруг зачем-то используешь сеттер index в variant (предположим, он существует), то ты должен тут же сконструировтать объект соответсвеющего типа
притом, что с такими же костылями можно и аналог visit сделать, но ты же не считаешь, что он лишний.
вот и тут - нужен аналог visit, но который не по варианту отдаёт тебе индекс (в виде типа), а по индексу даёт возможность создать тип.
что-то вида
вот и тут - нужен аналог visit, но который не по варианту отдаёт тебе индекс (в виде типа), а по индексу даёт возможность создать тип.
что-то вида
std::variant<Ts...> visit<std::size_t>(factory_that_returns_one_of_Ts)/¯
притом, что с такими же костылями можно и аналог visit сделать, но ты же не считаешь, что он лишний.
вот и тут - нужен аналог visit, но который не по варианту отдаёт тебе индекс (в виде типа), а по индексу даёт возможность создать тип.
что-то вида
вот и тут - нужен аналог visit, но который не по варианту отдаёт тебе индекс (в виде типа), а по индексу даёт возможность создать тип.
что-то вида
std::variant<Ts...> visit<std::size_t>(factory_that_returns_one_of_Ts)Стоп, visit использует index только на чтение, о каком аналоге тогда речь, если мы про сеттер?
АК
Стоп, visit использует index только на чтение, о каком аналоге тогда речь, если мы про сеттер?
Ладно, сначала.
другая ситуация - по рантайм
std::visit позволяет по рантайм size_t index = index() получить T& и с ним что-то сделать (принимая визитор)другая ситуация - по рантайм
size_t index вызвать визитор, который умеет возвращать любой T и сконструировать из него variantBH
Эх, Серега, ты же не был таким, с Тиллем связался и испортился что ли?
Тиль норм
RM
Тиль норм
А ты еще кто? В первый раз тебя вижу
/¯
Ладно, сначала.
другая ситуация - по рантайм
std::visit позволяет по рантайм size_t index = index() получить T& и с ним что-то сделать (принимая визитор)другая ситуация - по рантайм
size_t index вызвать визитор, который умеет возвращать любой T и сконструировать из него variantДа, для второй ситуации нужно уметь:
1. В рантайме маппить runtime index на один шаблонный коллбек, соответствующий index-позиции в списке типов
И сеттер для этого не нужен
1. В рантайме маппить runtime index на один шаблонный коллбек, соответствующий index-позиции в списке типов
И сеттер для этого не нужен
АК
Да, для второй ситуации нужно уметь:
1. В рантайме маппить runtime index на один шаблонный коллбек, соответствующий index-позиции в списке типов
И сеттер для этого не нужен
1. В рантайме маппить runtime index на один шаблонный коллбек, соответствующий index-позиции в списке типов
И сеттер для этого не нужен
"сеттер" - это образно, конечно
BH
А ты еще кто? В первый раз тебя вижу
Мы ж уже выяснили
/¯
"сеттер" - это образно, конечно
А я именно про нечто вроде set_index, мутирующее только его, без остальной части variant
АК
но если мы живём в теоретическом мире, где всё default constructible, то конечно всё решалось бы
v.set_index(i)АК
А я именно про нечто вроде set_index, мутирующее только его, без остальной части variant
не, я подразумевал и смену самого значения (вместе с индексом)
RM
Ладно, сначала.
другая ситуация - по рантайм
std::visit позволяет по рантайм size_t index = index() получить T& и с ним что-то сделать (принимая визитор)другая ситуация - по рантайм
size_t index вызвать визитор, который умеет возвращать любой T и сконструировать из него variantРазве это не создает больше сложности для std::visit?
АК
Разве это не создает больше сложности для std::visit?
у меня нет конкретных предложений, как это корректнее и удобнее всего реализовать, я лишь предъявил некоторые хотелки
АК
просто несимметрично получается