Boost: вектор распределения с любым

Обновить Это ответ, предполагающий вектор и boost::any против boost::variant, Если вы можете использовать tuple<> см мой другой ответ

Вы закончите тем, что жестко закодируете потенциальные типы так или иначе.

С вариантом, вы можете сгруппировать и скрыть сложности с помощью посетителя:

struct invoke_member_foo : boost::static_visitor<double>
{
template <typename Obj, typename... Args>
double operator()(Obj o, Args const&... a) const {
return o.foo(a...);
}
};

Это может быть применено к вашему варианту как

boost::apply_visitor(invoke_member_foo(), my_variant);

С любой надстройкой вы бы делали переключение с клавиатуры скучным и ручным способом:

if (auto dist1 = boost::any_cast<distribution1_t>(&my_any))
dist1->foo();
else if (auto dist2 = boost::any_cast<distribution2_t>(&my_any))
dist2->foo();
else if (auto dist3 = boost::any_cast<distribution3_t>(&my_any))
dist3->foo();

ИМО это явно уступает в обслуживании, например

• Вы не можете легко расширить список типов с типом элемента, который достаточно похож, чтобы удовлетворить ту же концепцию и иметь его поддержку — вам нужно будет вручную добавлять случаи в переключатель типа (а если нет — вы ‘ Не повезло, ошибки нет, и у вас будут (тихие) ошибки. С variant вы просто получите ошибку компиляции, когда ваш посетитель не обрабатывает ваш тип.

• эта работа ^ (переключение типов) дублируется для каждой операции, которую вы хотите реализовать по всем направлениям. Конечно, вы можете реализовать переключение типов один раз и предоставить фактическую реализацию как функтор, но в тот момент вы уже реализовали точный эквивалент из static_visitor как я показал для варианта, за исключением гораздо менее эффективной реализации.

• boost::any может содержать только те значения, которые CopyConstructible, Увеличение variant может даже содержать ссылки (например, boost::variant<dist1_t&, dist2_t&>) и имеет (некоторую) поддержку семантики перемещения

Короче, boost::any заранее обдумывает время, но все, что он делает — это переносит работу на колл-сайты.

Положительным моментом является то, что я хочу поделиться с вами идиомой, которая мне нравится, которая делает посетителей доступными в виде обычных бесплатных функций. Давайте перепишем ваш any_cdf функция для варианта:

namespace detail
{
template <typename T> struct var_cdf_visitor : boost::static_visitor<T> {
template <typename Dist>
T operator()(Dist& dist, T& x) const { return boost::math::cdf(dist, x); }
};
}

template<class T> T var_cdf(VarDist<T> a, T &x)
{
static detail::var_cdf_visitor<T> vis;
return boost::apply_visitor(
boost::bind(vis, ::_1, boost::ref(x)),
a);
}

Полноценную программу можно найти Жить на Колиру

Демо-листинг

#include <boost/bind.hpp>
#include <boost/math/distributions.hpp>
#include <boost/variant.hpp>
#include <iostream>
#include <limits>
#include <vector>

namespace detail
{
template <typename T> struct var_cdf_visitor : boost::static_visitor<T> {
template <typename Dist>
T operator()(Dist const& dist, T const& x) const { return boost::math::cdf(dist, x); }
};
}

template<class T, typename... Dist> T var_cdf(boost::variant<Dist...> const& a, T const& x) {
return boost::apply_visitor(boost::bind(detail::var_cdf_visitor<T>(), ::_1, x), a);
}

int main()
{
namespace bm = boost::math;
typedef std::vector<boost::variant<bm::normal, bm::students_t> > Vec;

Vec vec { bm::normal(), bm::students_t(1) };

//evaluation point and return value
double x = 1.96;

for (auto& dist : vec)
std::cout << var_cdf(dist,x) << std::endl;
}

На самом деле, хотя я использовал немного c ++ 11, это можно сделать еще лучше, используя некоторые функции c ++ 1y (если они есть у вашего компилятора).

И, наконец, вы можете сделать работу и для c ++ 03; это просто потребовало бы больше времени, чем я в настоящее время должен бросить в это.