AS
у меня функция возвращает объект, который можно скастовать к нужному типу
Size: a a a
2020 July 02
AS
это всё статически делается
AS
но проблем нет, всё известно на момент компиляции
NP
Посоветуйте, пожалуйста. Есть функция-фабрика, которая конструирует шаблонный класс. Проблема в том, что шаблонные параметры определяется в рантайме, они заранее не известны, и даже их (параметров) число может различаться. Функция может сконструировать нужный класс, но не может вернуть, потому что не известен возвращаемый тип на этапе компиляции. Есть какой-то приём для такой ситуации?
передавай в
factory шаблонный функтор, которому при вызове можно будет скормить созданный объектNP
или для частного случая
std::variant, как тут уже и посоветовали, ещё можно std::anyA
передавай в
factory шаблонный функтор, которому при вызове можно будет скормить созданный объектНе вижу, как это решает задачу, ведь чтобы передать его в фабрику, я тоже должен указать его конкретный тип. Что фабрика может сделать - это вызвать чей-то чужой шаблнный метод, сейчас подумаю.
АК
Мда, совсем не вяжется статический полиморфизм с динамическим
вяжется, просто надо вовремя стирать тип
АК
процесс восстановления всегда настраивается в тот момент, когда ты стираешь
АК
начни с того, как именно ты планируешь использовать значение, возвращаемое
factoryАК
обычно вдумчивое осознавание факта, что в любой точке программы известен конкретный статический тип любого объекта, приводит к решению проблемы
NP
Не вижу, как это решает задачу, ведь чтобы передать его в фабрику, я тоже должен указать его конкретный тип. Что фабрика может сделать - это вызвать чей-то чужой шаблнный метод, сейчас подумаю.
template<typename... Ts>
class A {};
template<typename F>
void factory(F&& consumer)
{
if (runtime_condition_1())
return (void)std::forward<F>(consumer)(A<int, float>{});
else if (runtime_condition_2())
return (void)std::forward<F>(consumer)(A<std::string>{});
return (void)std::forward<F>(consumer)(A<void>{});
}
struct ConsumerExample
{
template<typename... Ts>
void operator()(A<Ts...>&& obj)
{
}
};
NP
вот что я имел в виду
VF
Посоветуйте, пожалуйста. Есть функция-фабрика, которая конструирует шаблонный класс. Проблема в том, что шаблонные параметры определяется в рантайме, они заранее не известны, и даже их (параметров) число может различаться. Функция может сконструировать нужный класс, но не может вернуть, потому что не известен возвращаемый тип на этапе компиляции. Есть какой-то приём для такой ситуации?
Попробуйте тут посмотреть
https://github.com/farmovit/heterogeneous_factory
https://github.com/farmovit/heterogeneous_factory
m
вот что я имел в виду
Я думаю можно было просто сказать "паттерн visitor".
NP
начни с того, как именно ты планируешь использовать значение, возвращаемое
factoryа вот тут я согласен, какой смысл возвращать что то, с чем потом неизвестно как работать
АК
template<typename... Ts>
class A {};
template<typename F>
void factory(F&& consumer)
{
if (runtime_condition_1())
return (void)std::forward<F>(consumer)(A<int, float>{});
else if (runtime_condition_2())
return (void)std::forward<F>(consumer)(A<std::string>{});
return (void)std::forward<F>(consumer)(A<void>{});
}
struct ConsumerExample
{
template<typename... Ts>
void operator()(A<Ts...>&& obj)
{
}
};
шикарное решение :)
NP
Я думаю можно было просто сказать "паттерн visitor".
ну да)
AS
это классическая проблема в type_erasure