mirror of
https://github.com/zhenyan121/Cubed.git
synced 2026-08-08 17:57:02 +08:00
* build: add asio library * feat(dev_panel): add Asio to about table * refactor(gameplay): split Chunk into server/client variants and add networking * feat(gameplay): add Session class and UUID generation utility * feat(network): integrate protobuf for player sync and session management Add Protobuf dependency, define proto messages for player requests, positions, and chunk data. Refactor Session to use strand and async write. Implement player join/exit and position sync in ServerWorld. * refactor(proto): restructure protobuf definitions and update build system * feat(protocol): add packet serialization and login handling Introduce packet header and ID mapping for protobuf messages. Refactor session and server_world to use new packet wrapper. Fix missing semicolons in proto files. * refactor(packet): serialize directly into packet buffer with ByteSizeLong * feat(world): add player-based chunk loading and UUID support Restructure world generation to trigger chunk loading based on player movement. Replace player name with UUID for identification. Implement chunk request/response protocol. Improve thread management for gen thread. * feat(server): add block change packet handling and increase reserved threads * refactor(server): enhance thread safety and session management * fix(session): catch std::exception in read_loop and log error * fix(network-server): stop accept loop on shutdown flag * fix(gameplay): correct unknown error log condition and missing chunk pos update * feat(client): add client-side chunk, player, world and network classes * feat(client-chunk): add greedy meshing, receive_chunk, and biome field * feat(client_player): add name constructor param, remove chunk transition * feat(gameplay): integrate network client and thread-safe player pos * feat(gameplay): add block change sync and coordinate utils * refactor(server): replace Chunk with ServerChunk * refactor(gameplay): split world into client and server Remove monolithic World, Player, Chunk classes. Introduce ClientWorld, ServerWorld, ClientPlayer, and related networked components. Add Abseil dependency for logging and checks. Rename old files to pre_remove_* and update all includes and references accordingly. * feat(gameplay): add time sync and network improvements * fix: correct neighbor block indexing and add time update support * feat(gameplay): optimize chunk request with player chunk tracking Add `update_player_chunk()` method to `ClientPlayer` that triggers a chunk request when the player moves more than 2 chunks away from the last recorded chunk. Introduce an atomic `m_requesting_chunk` flag in `ClientWorld` to prevent concurrent requests. Rename `m_player_chunk_pos` to `m_last_chunk_pos` for clarity. * refactor(client_world): split pending queue into data and upload queues * feat(client): add center-based chunk loading priority * feat(app): add client/server CLI arguments and init guards * feat(multiplayer): add rendering of other players as colored cubes * feat(gameplay): add thread pool for asynchronous chunk data processing * feat(gameplay): add player logout and disconnect handling * fix(dev_panel): add protobuf to about table libraries * build: add ZLIB dependency * refactor(packet): replace zlib with zstd compression and restructure header Increase header length to 12 bytes, add CompressType and PacketHeader struct, and implement decode_packet_header. Update CMake to find zstd and link against it, adding Findzstd module. * refactor(network): extract packet header decoding into function * feat(packet): implement zstd compression and refactor packet decoding * perf(gameplay): optimize protobuf message allocation with Arena and limit thread pool size Switch to Arena allocation for protobuf messages to reduce heap allocations. Pass ChunkDataRsp by value to enable move semantics. Cap thread pool size to hardware concurrency with max 4 threads. * refactor(gameplay): use steady clock and sleep_until for tick loop timing * refactor(gameplay): rename remote player types and add interpolation * refactor(server_world): use thread pool for chunk request handling * refactor(packet): replace if-constexpr chain with explicit template specializations Refactor `get_packet_id()` by removing the if-constexpr chain and instead providing explicit specializations for each packet type. This simplifies the primary template (which now only contains a static assertion) and improves compile-time dispatch clarity. The `always_false` helper is no longer needed in the primary template. * feat(gameplay): add packet to clear all chunks on server rebuild Add new packet S2C_ClearAllChunks (ID 3005) to notify clients when the server rebuilds its world. Clients respond by clearing their chunk cache and requesting fresh chunks. Shift UPDATE_TIME packet ID to 3006 to accommodate. * feat(dev_panel): split world tab; add chunk request logging and fix flag reset * feat(tools): add RecentQueue to replace std::deque in server_world * feat(gameplay): add task ID to chunk requests to discard stale responses * refactor(block): move block source to gameplay directory * feat(toml): add shared TOML utilities and handle ip.toml * feat: add player name configuration and rename config file - Add --player command-line argument and 'player' field in Arguments struct - Rename ip.toml to server.toml and corresponding internal variable to 'server' - Fix block.cpp source path in CMakeLists.txt * build(cmake): modularize build configuration * fix: build fail on windows * refactor(renderer): rename Logger level enum value DEBUG to L_DEBUG * refactor(world): rework chunk state machine and player chunk tracking Introduce ChunkState enum and ChunkEntity struct to manage chunk lifecycle. Store chunks as shared_ptr to avoid move operations during generation. Add clear_unused_chunks to remove chunks not referenced by any player. Implement deferred chunk request queue for safe processing after generation completes. Update player chunk set during required chunk computation. Improve thread safety with mutexes on chunk and player maps. Fix m_gening flag not reset after generation and add assertions for correctness. Change need_gen to require a player UUID, removing std::optional. Add chunk_size query method for debugging. * fix(server): ensure chunk is ready before sending or setting block * refactor(server_world): separate gen and net thread pools Introduce a second thread pool for network operations and a `ThreadPoolKind` enum to distinguish between gen and net pools. Rename `pool_threads()` to `gen_pool_threads()`, add `change_pool_threads()` overload that accepts the pool kind, and update the dev panel to use the gen pool. Adjust logging and initialization to handle both pools. * feat(client_world): implement server exit acknowledgment with timeout * feat(gameplay): implement server stop and client exit handling Add server_stop flag to LogoutRsp protocol. Modify client_world to check for server stop or own logout to set exit flag. Add ServerWorld::stop() to broadcast stop and cleanly shut down. Refactor chunk ownership to unique_ptr. Remove name parameter from get_look_block_pos. * fix(app): correct port validation and remove redundant TOML helper * fix: address unused parameter warnings and missing port assignment * refactor(gameplay): remove old pre_remove chunk, player, and world files * refactor(server): replace chunk set with flat_hash_set and add ref count - Replace std::unordered_set with absl::flat_hash_set for chunk position sets. - Add ref_count field to ChunkEntity and implement update_ref_count(). - Remove clear_unused_chunks() and use ref counting for chunk lifetime. - Add get_chunk_pos_set() accessors to ServerPlayer. * fix(client-world): delay chunk request to wait for server central chunk generation * refactor(gameplay): migrate chunk storage to tbb::concurrent_hash_map * refactor(server_world): replace future-based chunk generation with queue Remove `std::future` per-chunk tracking and poll_finished_chunks(). Instead, generation tasks push completed chunks to a concurrent queue consumed during update. This eliminates wait_all_chunk_tasks() and simplifies synchronization. * refactor(client_world): use concurrent data structures for chunk management Replace std::shared_mutex and std::unordered_set with tbb::concurrent_hash_map for chunk storage, tbb::concurrent_queue for pending uploads, and absl::flat_hash_set for player chunk positions. This improves thread safety and reduces locking overhead. Refactor receive_chunk and request_chunk to work with the new concurrent model. * build(windows): add Nvidia and AMD GPU high performance exports * fix(ci): update header file pattern in clang-format check * style(clang-format): comment out AlignPPAndNotPP option * chore: enable AlignPPAndNotPP in clang-format and pin clang version in CI * ci(workflow): update format check to use LLVM 22 * ci(format-check): install clang-format-22 * perf(world): cull distant players from updates and rendering Add distance2 utility function. On client, skip rendering other players if distance squared exceeds rendering distance. On server, only send player position and block change updates to players in relevant chunks. * refactor(math_tools): convert free functions to inline in header * refactor(dev_panel): remove seed editing and server rebuild world, move client rebuild - Remove text editing for perlin seed and filter function - Remove ServerWorld::rebuild_world() method and its atomic flag - Move 'Rebuild World' button to client world tab - Remove unused perlin_noise_input_buffer * fix(server_world): floor block position coordinates in handle_block_change * refactor(gameplay): pass new_chunks vector as parameter instead of member variable * perf(client): improve chunk rendering performance with snapshots and threaded generation * feat(tools): add PriorityThreadPool with priority scheduling Implement PriorityThreadPool supporting task priorities and FIFO ordering for same priority. Update ClientWorld to use the new pool with explicit priority for chunk operations. Fix ThreadPool stop logic with atomic exchange and remove unnecessary lambda capture. * feat(networking): add priority and sequence ordering to packet send queues * feat(server-world): use priority thread pool for chunk generation Introduce PriorityThreadPool to process chunk generation tasks with priorities based on their distance from the player. Closer chunks receive higher priority, improving responsiveness. * refactor(client): extract AABB creation and add collision check on block place Make ClientPlayer::get_aabb and ClientWorld::get_block_aabb static. Change player size to static constexpr M_SIZE. Use shared_mutex for concurrent reads of other players. Check for collision with other players before placing a block. * feat(build): add build-time version system via CMake configure_file * ci(release): add release build workflow for windows
825 lines
23 KiB
C++
825 lines
23 KiB
C++
//
|
|
// any_completion_handler.hpp
|
|
// ~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
//
|
|
// Copyright (c) 2003-2026 Christopher M. Kohlhoff (chris at kohlhoff 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)
|
|
//
|
|
|
|
#ifndef ASIO_ANY_COMPLETION_HANDLER_HPP
|
|
#define ASIO_ANY_COMPLETION_HANDLER_HPP
|
|
|
|
#include "asio/detail/config.hpp"
|
|
#include <cstring>
|
|
#include <functional>
|
|
#include <memory>
|
|
#include <utility>
|
|
#include "asio/any_completion_executor.hpp"
|
|
#include "asio/any_io_executor.hpp"
|
|
#include "asio/associated_allocator.hpp"
|
|
#include "asio/associated_cancellation_slot.hpp"
|
|
#include "asio/associated_executor.hpp"
|
|
#include "asio/associated_immediate_executor.hpp"
|
|
#include "asio/cancellation_state.hpp"
|
|
#include "asio/recycling_allocator.hpp"
|
|
|
|
#include "asio/detail/push_options.hpp"
|
|
|
|
namespace asio {
|
|
ASIO_INLINE_NAMESPACE_BEGIN
|
|
namespace detail {
|
|
|
|
class any_completion_handler_impl_base
|
|
{
|
|
public:
|
|
template <typename S>
|
|
explicit any_completion_handler_impl_base(S&& slot)
|
|
: cancel_state_(static_cast<S&&>(slot), enable_total_cancellation())
|
|
{
|
|
}
|
|
|
|
cancellation_slot get_cancellation_slot() const noexcept
|
|
{
|
|
return cancel_state_.slot();
|
|
}
|
|
|
|
private:
|
|
cancellation_state cancel_state_;
|
|
};
|
|
|
|
template <typename Handler>
|
|
class any_completion_handler_impl :
|
|
public any_completion_handler_impl_base
|
|
{
|
|
public:
|
|
template <typename S, typename H>
|
|
any_completion_handler_impl(S&& slot, H&& h)
|
|
: any_completion_handler_impl_base(static_cast<S&&>(slot)),
|
|
handler_(static_cast<H&&>(h))
|
|
{
|
|
}
|
|
|
|
struct uninit_deleter
|
|
{
|
|
typename std::allocator_traits<
|
|
associated_allocator_t<Handler,
|
|
asio::recycling_allocator<void>>>::template
|
|
rebind_alloc<any_completion_handler_impl> alloc;
|
|
|
|
void operator()(any_completion_handler_impl* ptr)
|
|
{
|
|
std::allocator_traits<decltype(alloc)>::deallocate(alloc, ptr, 1);
|
|
}
|
|
};
|
|
|
|
struct deleter
|
|
{
|
|
typename std::allocator_traits<
|
|
associated_allocator_t<Handler,
|
|
asio::recycling_allocator<void>>>::template
|
|
rebind_alloc<any_completion_handler_impl> alloc;
|
|
|
|
void operator()(any_completion_handler_impl* ptr)
|
|
{
|
|
std::allocator_traits<decltype(alloc)>::destroy(alloc, ptr);
|
|
std::allocator_traits<decltype(alloc)>::deallocate(alloc, ptr, 1);
|
|
}
|
|
};
|
|
|
|
template <typename S, typename H>
|
|
static any_completion_handler_impl* create(S&& slot, H&& h)
|
|
{
|
|
uninit_deleter d{
|
|
(get_associated_allocator)(h,
|
|
asio::recycling_allocator<void>())};
|
|
|
|
std::unique_ptr<any_completion_handler_impl, uninit_deleter> uninit_ptr(
|
|
std::allocator_traits<decltype(d.alloc)>::allocate(d.alloc, 1), d);
|
|
|
|
any_completion_handler_impl* ptr =
|
|
new (uninit_ptr.get()) any_completion_handler_impl(
|
|
static_cast<S&&>(slot), static_cast<H&&>(h));
|
|
|
|
uninit_ptr.release();
|
|
return ptr;
|
|
}
|
|
|
|
void destroy()
|
|
{
|
|
deleter d{
|
|
(get_associated_allocator)(handler_,
|
|
asio::recycling_allocator<void>())};
|
|
|
|
d(this);
|
|
}
|
|
|
|
any_completion_executor executor(
|
|
const any_completion_executor& candidate) const noexcept
|
|
{
|
|
return any_completion_executor(std::nothrow,
|
|
(get_associated_executor)(handler_, candidate));
|
|
}
|
|
|
|
any_completion_executor immediate_executor(
|
|
const any_io_executor& candidate) const noexcept
|
|
{
|
|
return any_completion_executor(std::nothrow,
|
|
(get_associated_immediate_executor)(handler_, candidate));
|
|
}
|
|
|
|
void* allocate(std::size_t size, std::size_t align_size) const
|
|
{
|
|
typename std::allocator_traits<
|
|
associated_allocator_t<Handler,
|
|
asio::recycling_allocator<void>>>::template
|
|
rebind_alloc<unsigned char> alloc(
|
|
(get_associated_allocator)(handler_,
|
|
asio::recycling_allocator<void>()));
|
|
|
|
std::size_t space = size + align_size - 1;
|
|
unsigned char* base =
|
|
std::allocator_traits<decltype(alloc)>::allocate(
|
|
alloc, space + sizeof(std::ptrdiff_t));
|
|
|
|
void* p = base;
|
|
if (detail::align(align_size, size, p, space))
|
|
{
|
|
std::ptrdiff_t off = static_cast<unsigned char*>(p) - base;
|
|
std::memcpy(static_cast<unsigned char*>(p) + size, &off, sizeof(off));
|
|
return p;
|
|
}
|
|
|
|
std::bad_alloc ex;
|
|
asio::detail::throw_exception(ex);
|
|
return nullptr;
|
|
}
|
|
|
|
void deallocate(void* p, std::size_t size, std::size_t align) const
|
|
{
|
|
if (p)
|
|
{
|
|
typename std::allocator_traits<
|
|
associated_allocator_t<Handler,
|
|
asio::recycling_allocator<void>>>::template
|
|
rebind_alloc<unsigned char> alloc(
|
|
(get_associated_allocator)(handler_,
|
|
asio::recycling_allocator<void>()));
|
|
|
|
std::ptrdiff_t off;
|
|
std::memcpy(&off, static_cast<unsigned char*>(p) + size, sizeof(off));
|
|
unsigned char* base = static_cast<unsigned char*>(p) - off;
|
|
|
|
std::allocator_traits<decltype(alloc)>::deallocate(
|
|
alloc, base, size + align -1 + sizeof(std::ptrdiff_t));
|
|
}
|
|
}
|
|
|
|
template <typename... Args>
|
|
void call(Args&&... args)
|
|
{
|
|
deleter d{
|
|
(get_associated_allocator)(handler_,
|
|
asio::recycling_allocator<void>())};
|
|
|
|
std::unique_ptr<any_completion_handler_impl, deleter> ptr(this, d);
|
|
Handler handler(static_cast<Handler&&>(handler_));
|
|
ptr.reset();
|
|
|
|
static_cast<Handler&&>(handler)(
|
|
static_cast<Args&&>(args)...);
|
|
}
|
|
|
|
private:
|
|
Handler handler_;
|
|
};
|
|
|
|
template <typename Signature>
|
|
class any_completion_handler_call_fn;
|
|
|
|
template <typename R, typename... Args>
|
|
class any_completion_handler_call_fn<R(Args...)>
|
|
{
|
|
public:
|
|
using type = void(*)(any_completion_handler_impl_base*, Args...);
|
|
|
|
constexpr any_completion_handler_call_fn(type fn)
|
|
: call_fn_(fn)
|
|
{
|
|
}
|
|
|
|
void call(any_completion_handler_impl_base* impl, Args... args) const
|
|
{
|
|
call_fn_(impl, static_cast<Args&&>(args)...);
|
|
}
|
|
|
|
template <typename Handler>
|
|
static void impl(any_completion_handler_impl_base* impl, Args... args)
|
|
{
|
|
static_cast<any_completion_handler_impl<Handler>*>(impl)->call(
|
|
static_cast<Args&&>(args)...);
|
|
}
|
|
|
|
private:
|
|
type call_fn_;
|
|
};
|
|
|
|
template <typename... Signatures>
|
|
class any_completion_handler_call_fns;
|
|
|
|
template <typename Signature>
|
|
class any_completion_handler_call_fns<Signature> :
|
|
public any_completion_handler_call_fn<Signature>
|
|
{
|
|
public:
|
|
using any_completion_handler_call_fn<
|
|
Signature>::any_completion_handler_call_fn;
|
|
using any_completion_handler_call_fn<Signature>::call;
|
|
};
|
|
|
|
template <typename Signature, typename... Signatures>
|
|
class any_completion_handler_call_fns<Signature, Signatures...> :
|
|
public any_completion_handler_call_fn<Signature>,
|
|
public any_completion_handler_call_fns<Signatures...>
|
|
{
|
|
public:
|
|
template <typename CallFn, typename... CallFns>
|
|
constexpr any_completion_handler_call_fns(CallFn fn, CallFns... fns)
|
|
: any_completion_handler_call_fn<Signature>(fn),
|
|
any_completion_handler_call_fns<Signatures...>(fns...)
|
|
{
|
|
}
|
|
|
|
using any_completion_handler_call_fn<Signature>::call;
|
|
using any_completion_handler_call_fns<Signatures...>::call;
|
|
};
|
|
|
|
class any_completion_handler_destroy_fn
|
|
{
|
|
public:
|
|
using type = void(*)(any_completion_handler_impl_base*);
|
|
|
|
constexpr any_completion_handler_destroy_fn(type fn)
|
|
: destroy_fn_(fn)
|
|
{
|
|
}
|
|
|
|
void destroy(any_completion_handler_impl_base* impl) const
|
|
{
|
|
destroy_fn_(impl);
|
|
}
|
|
|
|
template <typename Handler>
|
|
static void impl(any_completion_handler_impl_base* impl)
|
|
{
|
|
static_cast<any_completion_handler_impl<Handler>*>(impl)->destroy();
|
|
}
|
|
|
|
private:
|
|
type destroy_fn_;
|
|
};
|
|
|
|
class any_completion_handler_executor_fn
|
|
{
|
|
public:
|
|
using type = any_completion_executor(*)(
|
|
any_completion_handler_impl_base*, const any_completion_executor&);
|
|
|
|
constexpr any_completion_handler_executor_fn(type fn)
|
|
: executor_fn_(fn)
|
|
{
|
|
}
|
|
|
|
any_completion_executor executor(any_completion_handler_impl_base* impl,
|
|
const any_completion_executor& candidate) const
|
|
{
|
|
return executor_fn_(impl, candidate);
|
|
}
|
|
|
|
template <typename Handler>
|
|
static any_completion_executor impl(any_completion_handler_impl_base* impl,
|
|
const any_completion_executor& candidate)
|
|
{
|
|
return static_cast<any_completion_handler_impl<Handler>*>(impl)->executor(
|
|
candidate);
|
|
}
|
|
|
|
private:
|
|
type executor_fn_;
|
|
};
|
|
|
|
class any_completion_handler_immediate_executor_fn
|
|
{
|
|
public:
|
|
using type = any_completion_executor(*)(
|
|
any_completion_handler_impl_base*, const any_io_executor&);
|
|
|
|
constexpr any_completion_handler_immediate_executor_fn(type fn)
|
|
: immediate_executor_fn_(fn)
|
|
{
|
|
}
|
|
|
|
any_completion_executor immediate_executor(
|
|
any_completion_handler_impl_base* impl,
|
|
const any_io_executor& candidate) const
|
|
{
|
|
return immediate_executor_fn_(impl, candidate);
|
|
}
|
|
|
|
template <typename Handler>
|
|
static any_completion_executor impl(any_completion_handler_impl_base* impl,
|
|
const any_io_executor& candidate)
|
|
{
|
|
return static_cast<any_completion_handler_impl<Handler>*>(
|
|
impl)->immediate_executor(candidate);
|
|
}
|
|
|
|
private:
|
|
type immediate_executor_fn_;
|
|
};
|
|
|
|
class any_completion_handler_allocate_fn
|
|
{
|
|
public:
|
|
using type = void*(*)(any_completion_handler_impl_base*,
|
|
std::size_t, std::size_t);
|
|
|
|
constexpr any_completion_handler_allocate_fn(type fn)
|
|
: allocate_fn_(fn)
|
|
{
|
|
}
|
|
|
|
void* allocate(any_completion_handler_impl_base* impl,
|
|
std::size_t size, std::size_t align) const
|
|
{
|
|
return allocate_fn_(impl, size, align);
|
|
}
|
|
|
|
template <typename Handler>
|
|
static void* impl(any_completion_handler_impl_base* impl,
|
|
std::size_t size, std::size_t align)
|
|
{
|
|
return static_cast<any_completion_handler_impl<Handler>*>(impl)->allocate(
|
|
size, align);
|
|
}
|
|
|
|
private:
|
|
type allocate_fn_;
|
|
};
|
|
|
|
class any_completion_handler_deallocate_fn
|
|
{
|
|
public:
|
|
using type = void(*)(any_completion_handler_impl_base*,
|
|
void*, std::size_t, std::size_t);
|
|
|
|
constexpr any_completion_handler_deallocate_fn(type fn)
|
|
: deallocate_fn_(fn)
|
|
{
|
|
}
|
|
|
|
void deallocate(any_completion_handler_impl_base* impl,
|
|
void* p, std::size_t size, std::size_t align) const
|
|
{
|
|
deallocate_fn_(impl, p, size, align);
|
|
}
|
|
|
|
template <typename Handler>
|
|
static void impl(any_completion_handler_impl_base* impl,
|
|
void* p, std::size_t size, std::size_t align)
|
|
{
|
|
static_cast<any_completion_handler_impl<Handler>*>(impl)->deallocate(
|
|
p, size, align);
|
|
}
|
|
|
|
private:
|
|
type deallocate_fn_;
|
|
};
|
|
|
|
template <typename... Signatures>
|
|
class any_completion_handler_fn_table
|
|
: private any_completion_handler_destroy_fn,
|
|
private any_completion_handler_executor_fn,
|
|
private any_completion_handler_immediate_executor_fn,
|
|
private any_completion_handler_allocate_fn,
|
|
private any_completion_handler_deallocate_fn,
|
|
private any_completion_handler_call_fns<Signatures...>
|
|
{
|
|
public:
|
|
template <typename... CallFns>
|
|
constexpr any_completion_handler_fn_table(
|
|
any_completion_handler_destroy_fn::type destroy_fn,
|
|
any_completion_handler_executor_fn::type executor_fn,
|
|
any_completion_handler_immediate_executor_fn::type immediate_executor_fn,
|
|
any_completion_handler_allocate_fn::type allocate_fn,
|
|
any_completion_handler_deallocate_fn::type deallocate_fn,
|
|
CallFns... call_fns)
|
|
: any_completion_handler_destroy_fn(destroy_fn),
|
|
any_completion_handler_executor_fn(executor_fn),
|
|
any_completion_handler_immediate_executor_fn(immediate_executor_fn),
|
|
any_completion_handler_allocate_fn(allocate_fn),
|
|
any_completion_handler_deallocate_fn(deallocate_fn),
|
|
any_completion_handler_call_fns<Signatures...>(call_fns...)
|
|
{
|
|
}
|
|
|
|
using any_completion_handler_destroy_fn::destroy;
|
|
using any_completion_handler_executor_fn::executor;
|
|
using any_completion_handler_immediate_executor_fn::immediate_executor;
|
|
using any_completion_handler_allocate_fn::allocate;
|
|
using any_completion_handler_deallocate_fn::deallocate;
|
|
using any_completion_handler_call_fns<Signatures...>::call;
|
|
};
|
|
|
|
template <typename Handler, typename... Signatures>
|
|
struct any_completion_handler_fn_table_instance
|
|
{
|
|
static constexpr any_completion_handler_fn_table<Signatures...>
|
|
value = any_completion_handler_fn_table<Signatures...>(
|
|
&any_completion_handler_destroy_fn::impl<Handler>,
|
|
&any_completion_handler_executor_fn::impl<Handler>,
|
|
&any_completion_handler_immediate_executor_fn::impl<Handler>,
|
|
&any_completion_handler_allocate_fn::impl<Handler>,
|
|
&any_completion_handler_deallocate_fn::impl<Handler>,
|
|
&any_completion_handler_call_fn<Signatures>::template impl<Handler>...);
|
|
};
|
|
|
|
template <typename Handler, typename... Signatures>
|
|
constexpr any_completion_handler_fn_table<Signatures...>
|
|
any_completion_handler_fn_table_instance<Handler, Signatures...>::value;
|
|
|
|
} // namespace detail
|
|
|
|
template <typename... Signatures>
|
|
class any_completion_handler;
|
|
|
|
/// An allocator type that forwards memory allocation operations through an
|
|
/// instance of @c any_completion_handler.
|
|
template <typename T, typename... Signatures>
|
|
class any_completion_handler_allocator
|
|
{
|
|
private:
|
|
template <typename...>
|
|
friend class any_completion_handler;
|
|
|
|
template <typename, typename...>
|
|
friend class any_completion_handler_allocator;
|
|
|
|
const detail::any_completion_handler_fn_table<Signatures...>* fn_table_;
|
|
detail::any_completion_handler_impl_base* impl_;
|
|
|
|
constexpr any_completion_handler_allocator(int,
|
|
const any_completion_handler<Signatures...>& h) noexcept
|
|
: fn_table_(h.fn_table_),
|
|
impl_(h.impl_)
|
|
{
|
|
}
|
|
|
|
public:
|
|
/// The type of objects that may be allocated by the allocator.
|
|
typedef T value_type;
|
|
|
|
/// Rebinds an allocator to another value type.
|
|
template <typename U>
|
|
struct rebind
|
|
{
|
|
/// Specifies the type of the rebound allocator.
|
|
typedef any_completion_handler_allocator<U, Signatures...> other;
|
|
};
|
|
|
|
/// Construct from another @c any_completion_handler_allocator.
|
|
template <typename U>
|
|
constexpr any_completion_handler_allocator(
|
|
const any_completion_handler_allocator<U, Signatures...>& a)
|
|
noexcept
|
|
: fn_table_(a.fn_table_),
|
|
impl_(a.impl_)
|
|
{
|
|
}
|
|
|
|
/// Equality operator.
|
|
constexpr bool operator==(
|
|
const any_completion_handler_allocator& other) const noexcept
|
|
{
|
|
return fn_table_ == other.fn_table_ && impl_ == other.impl_;
|
|
}
|
|
|
|
/// Inequality operator.
|
|
constexpr bool operator!=(
|
|
const any_completion_handler_allocator& other) const noexcept
|
|
{
|
|
return fn_table_ != other.fn_table_ || impl_ != other.impl_;
|
|
}
|
|
|
|
/// Allocate space for @c n objects of the allocator's value type.
|
|
T* allocate(std::size_t n) const
|
|
{
|
|
if (fn_table_)
|
|
{
|
|
return static_cast<T*>(
|
|
fn_table_->allocate(
|
|
impl_, sizeof(T) * n, alignof(T)));
|
|
}
|
|
std::bad_alloc ex;
|
|
asio::detail::throw_exception(ex);
|
|
return nullptr;
|
|
}
|
|
|
|
/// Deallocate space for @c n objects of the allocator's value type.
|
|
void deallocate(T* p, std::size_t n) const
|
|
{
|
|
fn_table_->deallocate(impl_, p, sizeof(T) * n, alignof(T));
|
|
}
|
|
};
|
|
|
|
/// A protoco-allocator type that may be rebound to obtain an allocator that
|
|
/// forwards memory allocation operations through an instance of
|
|
/// @c any_completion_handler.
|
|
template <typename... Signatures>
|
|
class any_completion_handler_allocator<void, Signatures...>
|
|
{
|
|
private:
|
|
template <typename...>
|
|
friend class any_completion_handler;
|
|
|
|
template <typename, typename...>
|
|
friend class any_completion_handler_allocator;
|
|
|
|
const detail::any_completion_handler_fn_table<Signatures...>* fn_table_;
|
|
detail::any_completion_handler_impl_base* impl_;
|
|
|
|
constexpr any_completion_handler_allocator(int,
|
|
const any_completion_handler<Signatures...>& h) noexcept
|
|
: fn_table_(h.fn_table_),
|
|
impl_(h.impl_)
|
|
{
|
|
}
|
|
|
|
public:
|
|
/// @c void as no objects can be allocated through a proto-allocator.
|
|
typedef void value_type;
|
|
|
|
/// Rebinds an allocator to another value type.
|
|
template <typename U>
|
|
struct rebind
|
|
{
|
|
/// Specifies the type of the rebound allocator.
|
|
typedef any_completion_handler_allocator<U, Signatures...> other;
|
|
};
|
|
|
|
/// Construct from another @c any_completion_handler_allocator.
|
|
template <typename U>
|
|
constexpr any_completion_handler_allocator(
|
|
const any_completion_handler_allocator<U, Signatures...>& a)
|
|
noexcept
|
|
: fn_table_(a.fn_table_),
|
|
impl_(a.impl_)
|
|
{
|
|
}
|
|
|
|
/// Equality operator.
|
|
constexpr bool operator==(
|
|
const any_completion_handler_allocator& other) const noexcept
|
|
{
|
|
return fn_table_ == other.fn_table_ && impl_ == other.impl_;
|
|
}
|
|
|
|
/// Inequality operator.
|
|
constexpr bool operator!=(
|
|
const any_completion_handler_allocator& other) const noexcept
|
|
{
|
|
return fn_table_ != other.fn_table_ || impl_ != other.impl_;
|
|
}
|
|
};
|
|
|
|
/// Polymorphic wrapper for completion handlers.
|
|
/**
|
|
* The @c any_completion_handler class template is a polymorphic wrapper for
|
|
* completion handlers that propagates the associated executor, associated
|
|
* allocator, and associated cancellation slot through a type-erasing interface.
|
|
*
|
|
* When using @c any_completion_handler, specify one or more completion
|
|
* signatures as template parameters. These will dictate the arguments that may
|
|
* be passed to the handler through the polymorphic interface.
|
|
*
|
|
* Typical uses for @c any_completion_handler include:
|
|
*
|
|
* @li Separate compilation of asynchronous operation implementations.
|
|
*
|
|
* @li Enabling interoperability between asynchronous operations and virtual
|
|
* functions.
|
|
*/
|
|
template <typename... Signatures>
|
|
class any_completion_handler
|
|
{
|
|
#if !defined(GENERATING_DOCUMENTATION)
|
|
private:
|
|
template <typename, typename...>
|
|
friend class any_completion_handler_allocator;
|
|
|
|
template <typename, typename>
|
|
friend struct associated_executor;
|
|
|
|
template <typename, typename>
|
|
friend struct associated_immediate_executor;
|
|
|
|
const detail::any_completion_handler_fn_table<Signatures...>* fn_table_;
|
|
detail::any_completion_handler_impl_base* impl_;
|
|
#endif // !defined(GENERATING_DOCUMENTATION)
|
|
|
|
public:
|
|
/// The associated allocator type.
|
|
using allocator_type = any_completion_handler_allocator<void, Signatures...>;
|
|
|
|
/// The associated cancellation slot type.
|
|
using cancellation_slot_type = cancellation_slot;
|
|
|
|
/// Construct an @c any_completion_handler in an empty state, without a target
|
|
/// object.
|
|
constexpr any_completion_handler()
|
|
: fn_table_(nullptr),
|
|
impl_(nullptr)
|
|
{
|
|
}
|
|
|
|
/// Construct an @c any_completion_handler in an empty state, without a target
|
|
/// object.
|
|
constexpr any_completion_handler(nullptr_t)
|
|
: fn_table_(nullptr),
|
|
impl_(nullptr)
|
|
{
|
|
}
|
|
|
|
/// Construct an @c any_completion_handler to contain the specified target.
|
|
template <typename H, typename Handler = decay_t<H>>
|
|
any_completion_handler(H&& h,
|
|
constraint_t<
|
|
!is_same<decay_t<H>, any_completion_handler>::value
|
|
> = 0)
|
|
: fn_table_(
|
|
&detail::any_completion_handler_fn_table_instance<
|
|
Handler, Signatures...>::value),
|
|
impl_(detail::any_completion_handler_impl<Handler>::create(
|
|
(get_associated_cancellation_slot)(h), static_cast<H&&>(h)))
|
|
{
|
|
}
|
|
|
|
/// Move-construct an @c any_completion_handler from another.
|
|
/**
|
|
* After the operation, the moved-from object @c other has no target.
|
|
*/
|
|
any_completion_handler(any_completion_handler&& other) noexcept
|
|
: fn_table_(other.fn_table_),
|
|
impl_(other.impl_)
|
|
{
|
|
other.fn_table_ = nullptr;
|
|
other.impl_ = nullptr;
|
|
}
|
|
|
|
/// Move-assign an @c any_completion_handler from another.
|
|
/**
|
|
* After the operation, the moved-from object @c other has no target.
|
|
*/
|
|
any_completion_handler& operator=(
|
|
any_completion_handler&& other) noexcept
|
|
{
|
|
any_completion_handler(
|
|
static_cast<any_completion_handler&&>(other)).swap(*this);
|
|
return *this;
|
|
}
|
|
|
|
/// Assignment operator that sets the polymorphic wrapper to the empty state.
|
|
any_completion_handler& operator=(nullptr_t) noexcept
|
|
{
|
|
any_completion_handler().swap(*this);
|
|
return *this;
|
|
}
|
|
|
|
/// Destructor.
|
|
~any_completion_handler()
|
|
{
|
|
if (impl_)
|
|
fn_table_->destroy(impl_);
|
|
}
|
|
|
|
/// Test if the polymorphic wrapper is empty.
|
|
constexpr explicit operator bool() const noexcept
|
|
{
|
|
return impl_ != nullptr;
|
|
}
|
|
|
|
/// Test if the polymorphic wrapper is non-empty.
|
|
constexpr bool operator!() const noexcept
|
|
{
|
|
return impl_ == nullptr;
|
|
}
|
|
|
|
/// Swap the content of an @c any_completion_handler with another.
|
|
void swap(any_completion_handler& other) noexcept
|
|
{
|
|
std::swap(fn_table_, other.fn_table_);
|
|
std::swap(impl_, other.impl_);
|
|
}
|
|
|
|
/// Get the associated allocator.
|
|
allocator_type get_allocator() const noexcept
|
|
{
|
|
return allocator_type(0, *this);
|
|
}
|
|
|
|
/// Get the associated cancellation slot.
|
|
cancellation_slot_type get_cancellation_slot() const noexcept
|
|
{
|
|
return impl_ ? impl_->get_cancellation_slot() : cancellation_slot_type();
|
|
}
|
|
|
|
/// Function call operator.
|
|
/**
|
|
* Invokes target completion handler with the supplied arguments.
|
|
*
|
|
* This function may only be called once, as the target handler is moved from.
|
|
* The polymorphic wrapper is left in an empty state.
|
|
*
|
|
* Throws @c std::bad_function_call if the polymorphic wrapper is empty.
|
|
*/
|
|
template <typename... Args>
|
|
auto operator()(Args&&... args)
|
|
-> decltype(fn_table_->call(impl_, static_cast<Args&&>(args)...))
|
|
{
|
|
if (detail::any_completion_handler_impl_base* impl = impl_)
|
|
{
|
|
impl_ = nullptr;
|
|
return fn_table_->call(impl, static_cast<Args&&>(args)...);
|
|
}
|
|
std::bad_function_call ex;
|
|
asio::detail::throw_exception(ex);
|
|
}
|
|
|
|
/// Equality operator.
|
|
friend constexpr bool operator==(
|
|
const any_completion_handler& a, nullptr_t) noexcept
|
|
{
|
|
return a.impl_ == nullptr;
|
|
}
|
|
|
|
/// Equality operator.
|
|
friend constexpr bool operator==(
|
|
nullptr_t, const any_completion_handler& b) noexcept
|
|
{
|
|
return nullptr == b.impl_;
|
|
}
|
|
|
|
/// Inequality operator.
|
|
friend constexpr bool operator!=(
|
|
const any_completion_handler& a, nullptr_t) noexcept
|
|
{
|
|
return a.impl_ != nullptr;
|
|
}
|
|
|
|
/// Inequality operator.
|
|
friend constexpr bool operator!=(
|
|
nullptr_t, const any_completion_handler& b) noexcept
|
|
{
|
|
return nullptr != b.impl_;
|
|
}
|
|
};
|
|
|
|
template <typename... Signatures, typename Candidate>
|
|
struct associated_executor<any_completion_handler<Signatures...>, Candidate>
|
|
{
|
|
using type = any_completion_executor;
|
|
|
|
static type get(const any_completion_handler<Signatures...>& handler,
|
|
const Candidate& candidate = Candidate()) noexcept
|
|
{
|
|
any_completion_executor any_candidate(std::nothrow, candidate);
|
|
return handler.fn_table_
|
|
? handler.fn_table_->executor(handler.impl_, any_candidate)
|
|
: any_candidate;
|
|
}
|
|
};
|
|
|
|
template <typename... Signatures, typename Candidate>
|
|
struct associated_immediate_executor<
|
|
any_completion_handler<Signatures...>, Candidate>
|
|
{
|
|
using type = any_completion_executor;
|
|
|
|
static type get(const any_completion_handler<Signatures...>& handler,
|
|
const Candidate& candidate = Candidate()) noexcept
|
|
{
|
|
any_io_executor any_candidate(std::nothrow, candidate);
|
|
return handler.fn_table_
|
|
? handler.fn_table_->immediate_executor(handler.impl_, any_candidate)
|
|
: any_candidate;
|
|
}
|
|
};
|
|
|
|
ASIO_INLINE_NAMESPACE_END
|
|
} // namespace asio
|
|
|
|
#include "asio/detail/pop_options.hpp"
|
|
|
|
#endif // ASIO_ANY_COMPLETION_HANDLER_HPP
|