hof/test/returns.cpp

#include <fit/returns.hpp>
#include "test.hpp"

#if !defined (__GNUC__) || defined (__clang__)
struct add_1
{
    int a;
    add_1() : a(1) {}
    
    FIT_RETURNS_CLASS(add_1);
    
    template<class T>
    auto operator()(T x) const 
    FIT_RETURNS(x+FIT_CONST_THIS->a);
};

FIT_TEST_CASE()
{
    FIT_TEST_CHECK(3 == add_1()(2));   
}
#endif
// TODO: check noexcept
struct id
{
    template<class T>
    constexpr auto operator()(T x) const FIT_RETURNS
    (x);
};

FIT_TEST_CASE()
{
    FIT_TEST_CHECK(id{}(3) == 3);
    FIT_STATIC_TEST_CHECK(id{}(3) == 3);
}

struct void_ {};
constexpr void_ no_op() { return void_{}; }

struct id_comma
{
    template<class T>
    constexpr auto operator()(T&& x) const FIT_RETURNS
    (no_op(), fit::forward<T>(x));
};

FIT_TEST_CASE()
{
    FIT_TEST_CHECK(id_comma{}(3) == 3);
    FIT_STATIC_TEST_CHECK(id_comma{}(3) == 3);
}