Re: [boost] [Optional] Monadic bind

22 Jun 2015

      2015-06-22 16:17 GMT+02:00 Tobias Loew :
...
Sorry for that,
I've made in implementation with free functions which compiles on VS 2012:
#include 
#include 
template
auto bind(const boost::optional<T>& optional, B&& binder)
    -> typename std::decay::type
{
    if(optional)
    {
        return std::bind(binder, *optional)();
    }
    else
    {
        return boost::none;
    }
}
template
auto map(const boost::optional<T>& optional, B&& binder)
    -> boost::optional::type>
{
    if(optional)
    {
        return std::bind(binder, *optional)();
    }
    else
    {
        return boost::none;
    }
}
void foo()
{
    struct A {
        int i;
    };
    boost::optional<A> opt_a;
auto opt_i = map(opt_a, &A::i);
    assert(!opt_i);
A a = {42};
    opt_a = a;
auto opt_i2 = map(opt_a, &A::i);
    assert(*opt_i2 == 42);
}
Would you find the following an acceptable solution?

```
#include 
#include 
#include 

template 
auto map2(const boost::optional<T>& o, F f)
  -> boost::optional
{
  if (o) return f(*o);
  else   return boost::none;
}

void foo()
{
    struct A {  int i; };
    boost::optional<A> opt_a;

    auto opt_i = map2(opt_a, boost::bind(&A::i, _1));
    assert(!opt_i);

    A a = {42};
    opt_a = a;

    auto opt_i2 = map2(opt_a, boost::bind(&A::i, _1));
    assert(opt_i2);
    assert(*opt_i2 == 42);
}

int main()
{
    foo();
}
```

It requires of you to type a bit more, but at the same time it is more
flexible: you can type any free function on T, including a lambda.

Regards,
&rzej

Re: [boost] [Optional] Monadic bind

Andrzej Krzemienski