regressions.cpp

//  Copyright 2015-2020 Denis Blank <denis.blank at outlook dot com>
//     Distributed under the Boost Software License, Version 1.0
//       (See accompanying file LICENSE_1_0.txt or copy at
//             http://www.boost.org/LICENSE_1_0.txt)

#include <memory>
#include <string>
#include <vector>

#include "function2-test.hpp"

struct stateful_callable {
  std::string test;

  void operator()() {
  }
};

/// Iterator dereference (nullptr) crash in Visual Studio
///
/// This was caused through an issue with the allocated pointer swap on move
TEST(regression_tests, move_iterator_dereference_nullptr) {
  std::string test = "hey";
  fu2::function<void()> fn = stateful_callable{std::move(test)};

  auto fn2 = std::move(fn);
  (void)fn2;
}

int function_issue_7_regression(int& i) {
  return i;
}

/// The following code does not compile on
/// MSVC version 19.12.25830.2 (Visual Studio 2017 15.5.1):
///
/// https://github.com/Naios/function2/issues/7
TEST(regression_tests, reference_parameters_issue_7) {
  fu2::function<int(int&)> f = function_issue_7_regression;
  int i = 4384674;
  ASSERT_EQ(f(i), 4384674);
}

struct scalar_member {
  explicit scalar_member(int num) : num_(num) {
  }
  int num_;
};

/// https://github.com/Naios/function2/issues/10
TEST(regression_tests, scalar_members_issue_10) {
  scalar_member const obj(4384674);

  fu2::function<int(scalar_member const&)> fn = &scalar_member::num_;
  ASSERT_EQ(fn(obj), 4384674);
}

TEST(regression_tests, size_match_layout) {
  fu2::function<void() const> fn;

  ASSERT_EQ(sizeof(fn), fu2::detail::object_size::value);
}

struct trash_obj {
  int raw[3];

  int operator()() {
    return 12345;
  }
};

template <typename T>
struct no_allocate_allocator {
  using value_type = T;
  using size_type = size_t;
  using pointer = value_type*;
  using const_pointer = const value_type*;

  no_allocate_allocator() = default;
  template <typename O>
  no_allocate_allocator(no_allocate_allocator<O>) {
  }

  template <typename M>
  struct rebind {
    typedef no_allocate_allocator<M> other;
  };

  pointer allocate(size_type, void const* = nullptr) {
    EXPECT_TRUE(false);
    return nullptr;
  }

  void deallocate(pointer, size_type) {
    FAIL();
  }
};

TEST(regression_tests, can_take_capacity_obj) {
  fu2::function_base<true, true, fu2::capacity_can_hold<trash_obj>, false, true,
                     int()>
      fn;

  fn.assign(trash_obj{}, no_allocate_allocator<trash_obj>{});

  ASSERT_EQ(fn(), 12345);
}

static int call(fu2::function_view<int()> fun) {
  return fun();
}

// https://github.com/Naios/function2/issues/13
TEST(regression_tests, can_convert_nonowning_noncopyable_view) {
  fu2::unique_function<int()> fun = []() mutable { return 12345; };
  int result = call(fun);
  ASSERT_EQ(result, 12345);
}
TEST(regression_tests, can_assign_nonowning_noncopyable_view) {
  fu2::unique_function<int()> fun = []() mutable { return 12345; };
  fu2::function_view<int()> fv;
  fv = fun;
  int result = fv();
  ASSERT_EQ(result, 12345);
}

static fu2::unique_function<void()> issue_14_create() {
  // remove the commented dummy capture to be compilable
  fu2::unique_function<void()> func =
      [i = std::vector<std::vector<std::unique_ptr<int>>>{}
       // ,dummy = std::unique_ptr<int>()
  ]() {
        // ...
      };

  return std::move(func);
}

// https://github.com/Naios/function2/issues/14
TEST(regression_tests, issue_14) {
  issue_14_create()();
}

struct no_strong_except {
  no_strong_except() = default;
  ~no_strong_except() noexcept(false) {
  }
  no_strong_except(no_strong_except&&) noexcept(false) {
  }
  no_strong_except& operator=(no_strong_except&&) noexcept(false) {
    return *this;
  }

  int operator()() const {
    return 23383;
  }
};

static_assert(!std::is_nothrow_move_constructible<no_strong_except>::value, "");
static_assert(!std::is_nothrow_destructible<no_strong_except>::value, "");

// https://github.com/Naios/function2/issues/20
TEST(regression_tests, can_take_no_strong_except) {
  fu2::function_base<true, false, fu2::capacity_none, true, false, int()> fn;

  fn = no_strong_except{};

  ASSERT_EQ(fn(), 23383);
}

// https://github.com/Naios/function2/issues/23
TEST(regression_tests, can_be_stored_in_vector) {
  using fun_t = fu2::unique_function<int(int)>;

  std::vector<fun_t> v;
  v.reserve(1);
  fun_t f{[](int i) { return 2 * i; }};
  fun_t f2{[](int i) { return 2 * i; }};
  v.emplace_back(std::move(f));
  v.emplace_back(std::move(f2));

  auto const res = v[0](7);
  ASSERT_EQ(res, 14);
}

TEST(regression_tests, unique_non_copyable) {
  using fun_t = fu2::unique_function<int(int)>;
  ASSERT_FALSE(std::is_copy_assignable<fun_t>::value);
  ASSERT_FALSE(std::is_copy_constructible<fun_t>::value);
}

// https://github.com/Naios/function2/issues/21
TEST(regression_tests, can_bind_const_view) {
  auto const callable = [] { return 5; };

  fu2::function_view<int() const> view(callable);

  ASSERT_EQ(view(), 5);
}

// https://github.com/Naios/function2/issues/48
// -Waddress warning generated for non-capturing lambdas on gcc <= 9.2 #48
TEST(regression_tests, no_address_warning_in_constexpr_lambda) {
  using fun_t = fu2::function<int()>;
  fun_t f([] { return 3836474; });

  ASSERT_EQ(f(), 3836474);
}

struct custom_falsy_invocable {
  operator bool() const {
    return false;
  }
  int operator()() const {
    return 0;
  }
};

TEST(regression_tests, custom_falsy_invocable) {
  fu2::function<int()> f(custom_falsy_invocable{});

#if defined(FU2_HAS_LIMITED_EMPTY_PROPAGATION) ||                              \
    defined(FU2_HAS_NO_EMPTY_PROPAGATION)
  ASSERT_TRUE(static_cast<bool>(f));
#else
  ASSERT_FALSE(static_cast<bool>(f));
#endif
}

namespace issue_35 {
class ref_obj {
public:
  ref_obj() = default;
  ref_obj(ref_obj const&) = delete;
  ref_obj(ref_obj&&) = default;
  ref_obj& operator=(ref_obj&&) = default;
  ref_obj& operator=(ref_obj const&) = delete;

  int data() const {
    return data_;
  }

private:
  int data_{8373827};
};

ref_obj& ref_obj_getter() {
  static ref_obj some;
  return some;
}
} // namespace issue_35

ALL_LEFT_TYPED_TEST_CASE(AllReferenceRetConstructTests)

// https://github.com/Naios/function2/issues/35
TYPED_TEST(AllReferenceRetConstructTests, reference_returns_not_buildable) {
  using namespace issue_35;

  typename TestFixture::template left_t<ref_obj&()> left(&ref_obj_getter);
  ref_obj& ref = left();
  ASSERT_EQ(ref.data(), 8373827);
}