emplace.cpp 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. #include <catch2/catch.hpp>
  2. #include <tl/expected.hpp>
  3. #include <memory>
  4. #include <vector>
  5. #include <tuple>
  6. namespace {
  7. struct takes_init_and_variadic {
  8. std::vector<int> v;
  9. std::tuple<int, int> t;
  10. template <class... Args>
  11. takes_init_and_variadic(std::initializer_list<int> l, Args &&... args)
  12. : v(l), t(std::forward<Args>(args)...) {}
  13. };
  14. }
  15. TEST_CASE("Emplace", "[emplace]") {
  16. {
  17. tl::expected<std::unique_ptr<int>,int> e;
  18. e.emplace(new int{42});
  19. REQUIRE(e);
  20. REQUIRE(**e == 42);
  21. }
  22. {
  23. tl::expected<std::vector<int>,int> e;
  24. e.emplace({0,1});
  25. REQUIRE(e);
  26. REQUIRE((*e)[0] == 0);
  27. REQUIRE((*e)[1] == 1);
  28. }
  29. {
  30. tl::expected<std::tuple<int,int>,int> e;
  31. e.emplace(2,3);
  32. REQUIRE(e);
  33. REQUIRE(std::get<0>(*e) == 2);
  34. REQUIRE(std::get<1>(*e) == 3);
  35. }
  36. {
  37. tl::expected<takes_init_and_variadic,int> e = tl::make_unexpected(0);
  38. e.emplace({0,1}, 2, 3);
  39. REQUIRE(e);
  40. REQUIRE(e->v[0] == 0);
  41. REQUIRE(e->v[1] == 1);
  42. REQUIRE(std::get<0>(e->t) == 2);
  43. REQUIRE(std::get<1>(e->t) == 3);
  44. }
  45. }