Question

fmap函数的返回类型不会自动推断为正确的Option

类型

有人可以帮忙吗？

#include <iostream>
#include <memory>

template<class T>
class Option{
public:
    Option() : value_(nullptr){
    }
    Option(T const& value) : value_(std::move(value)){

    }
    Option(T&& value) : value_(std::make_shared<T>(std::move(value))){

    }
    Option(Option const&) = default;
    Option(Option&&) = default;
    Option& operator = (Option const&) = default;
    Option& operator = (Option&&) = default;

    template<class U>
    auto fmap(std::function<U ( T const& ) > func) -> Option<decltype( func(std::declval<T>() ) )>{
        return Option<U>(func(*value_));
    }

    template<class U>
    Option<U> operator >>= (std::function<Option<U> ( T const& ) > func){
        if(value_ == nullptr)
            return Option<U>();
        return func(value_);
    }

    static Option<T> Unit(T const& value){
        return Option<T>(value);
    }

    static Option<T> Unit(T&& value){
        return Option<T>(std::move(value));
    }
private:
    std::shared_ptr<T> value_;
};

int main(int argc, const char * argv[])
{


    Option<int> o(55);
    auto f = [](int const& i){
        return i + 1;
    };
    auto result = o.fmap<int>(f);


    return 0;
}

Answer 1

#include <iostream>
#include <memory>

template<class T>
class Option{
public:
    Option() : value_(nullptr){
    }
    Option(T const& value) : value_(std::move(value)){

    }
    Option(T&& value) : value_(std::make_shared<T>(std::move(value))){

    }
    Option(Option const&) = default;
    Option(Option&&) = default;
    Option& operator = (Option const&) = default;
    Option& operator = (Option&&) = default;

    template<class Function>
    auto fmap(Function func) -> Option<decltype(func( std::declval<T>() ))>{
        return Option<decltype(func( std::declval<T>() ))>(func(*value_));
    }

    template<class Function>
    auto operator >>= (Function func) -> decltype(func( std::declval<T>() )){
        if(value_ == nullptr)
            return decltype(func( std::declval<T>() ))();
        return func(*value_);
    }

    void foreach(std::function<void ( T const& ) > func){
        return func(*value_);
    }

    static Option<T> Unit(T const& value){
        return Option<T>(value);
    }

    static Option<T> Unit(T&& value){
        return Option<T>(std::move(value));
    }
private:
    std::shared_ptr<T> value_;
};

int main(int argc, const char * argv[])
{


    Option<int> o(55);
    auto f = [](int const& i){
        return i + 1;
    };

    auto result = o.fmap(f);

    auto tresult = result >>= [](int const& v){
        return Option<int>::Unit(v * 2);
    };

    tresult.foreach([](int const& i){
        std::cout << i << std::endl;
    });

    return 0;
}

C ++返回类型扣除失败

1 个答案: