resource: default destructor

This commit is contained in:
Michele Caini
2024-05-21 10:21:58 +02:00
parent 16b05ad8a0
commit ab532af047
2 changed files with 6 additions and 0 deletions

View File

@@ -211,6 +211,9 @@ public:
resource_cache(resource_cache &&other, const allocator_type &allocator)
: pool{std::piecewise_construct, std::forward_as_tuple(std::move(other.pool.first()), allocator), std::forward_as_tuple(std::move(other.pool.second()))} {}
/*! @brief Default destructor. */
~resource_cache() noexcept = default;
/**
* @brief Default copy assignment operator.
* @return This cache.

View File

@@ -77,6 +77,9 @@ public:
resource(resource<Other> &&other) noexcept
: value{std::move(other.value)} {}
/*! @brief Default destructor. */
~resource() noexcept = default;
/**
* @brief Default copy assignment operator.
* @return This resource handle.