Line data    Source code

       1              : #pragma once
       2              : 
       3              : #include "BLEAPI.hpp"
       4              : 
       5              : #include <cassert>
       6              : #include <functional>
       7              : #include <utility>
       8              : 
       9              : #include <AH/Error/Error.hpp>
      10              : 
      11              : BEGIN_CS_NAMESPACE
      12              : 
      13              : struct BLEDataGenerator::Iface {
      14           15 :     virtual ~Iface() = default;
      15              :     virtual BLEDataView next() = 0;
      16              :     virtual Iface *move_into(void *storage) noexcept = 0;
      17              : 
      18              :     Iface(const Iface &) = delete;
      19              :     Iface &operator=(const Iface &) = delete;
      20              : 
      21              :   protected:
      22           15 :     Iface() = default;
      23            0 :     Iface(Iface &&) = default;
      24              : };
      25              : 
      26              : template <class T>
      27              : struct BLEDataGenerator::Impl : Iface {
      28              :     T inst;
      29              :     template <class... Args>
      30           15 :     Impl(Args &&...args) : inst {std::forward<Args>(args)...} {}
      31              : #if __cplusplus >= 201703L
      32           30 :     BLEDataView next() override { return std::invoke(inst); }
      33              : #else
      34              :     BLEDataView next() override { return inst(); }
      35              : #endif
      36            0 :     Iface *move_into(void *storage) noexcept override {
      37            0 :         return new (storage) Impl {std::move(*this)};
      38              :     }
      39              : };
      40              : 
      41           30 : inline BLEDataView BLEDataGenerator::operator()() {
      42           30 :     assert(instance);
      43           30 :     return instance->next();
      44              : }
      45              : 
      46           15 : inline void BLEDataGenerator::clear() {
      47              : #if __cplusplus >= 201402
      48           15 :     if (auto *inst = std::exchange(instance, nullptr))
      49           15 :         inst->~Iface();
      50              : #else
      51              :     if (instance)
      52              :         instance->~Iface();
      53              :     instance = nullptr;
      54              : #endif
      55           15 : }
      56              : 
      57              : template <class T, class... Args>
      58           15 : BLEDataGenerator::BLEDataGenerator(compat::in_place_type_t<T>, Args &&...args) {
      59              :     static_assert(sizeof(Impl<T>) <= sizeof(storage), "");
      60              :     static_assert(alignof(Impl<T>) <= alignof(buffer_align_t), "");
      61           15 :     instance = new (storage) Impl<T> {std::forward<Args>(args)...};
      62           15 : }
      63              : 
      64              : template <class T>
      65           15 : BLEDataGenerator::BLEDataGenerator(compat::in_place_t, T &&t)
      66              :     : BLEDataGenerator(
      67              :           compat::in_place_type<typename compat::remove_cvref<T>::type>,
      68           15 :           std::forward<T>(t)) {}
      69              : 
      70              : inline BLEDataGenerator::BLEDataGenerator(BLEDataGenerator &&other) noexcept {
      71              :     if (other.instance) {
      72              :         this->instance = other.instance->move_into(this->storage);
      73              :         other.clear();
      74              :     }
      75              : }
      76              : 
      77              : inline BLEDataGenerator &
      78              : BLEDataGenerator::operator=(BLEDataGenerator &&other) noexcept {
      79              :     clear();
      80              :     if (other.instance) {
      81              :         this->instance = other.instance->move_into(this->storage);
      82              :         other.clear();
      83              :     }
      84              :     return *this;
      85              : }
      86              : 
      87              : END_CS_NAMESPACE