Execution context requirements (실행 컨텍스트 요구사항) 유형 X가 execution_context에서 공개적이고 명확하게 파생된 경우 ExecutionContext 요구사항을 충족하고, 아래 나열된 추가 요구사항도 충족한다. 아래 표에서 x는 유형 X의 값을 나타낸다. 표 14. ExecutionContext 요구사항 표현식 반환 유형 assertion/note (에러 검출/참고) pre/post-condition (사전/사후 조건) X::executor_type 유형은 Executor 요구사항을 충족한다. x.~X() 실행 컨텍스트와 연결된 실행기(executor) 개체를 통해 제출된 실행되지 않은 모든 함수 개체를 삭제한다. x.get_executor() X::executo..
Executor requirements (실행기 요구 사항) 표준 실행기 (Standard executors) executor-of-impl을 기술(설명)-전용 개념으로 둔다. template concept executor-of-impl = invocable && constructible_from && move_constructible && copy_constructible && is_nothrow_copy_constructible_v && equality_comparable /* nothrow */ && requires(const E& e, F&& f) { execution::execute(e, (F&&)f); }; 그런 다음 executor와 executor_of 개념은 다음과 같이 정의된다: tem..
awaitable 코-루틴이나 비동기식 작업의 반환 유형이다. template class awaitable [Executor] 유 형 이 름 설 명 executor_type 코-루틴에 사용될 실행기(executor) 유형. value_type 대기중인 값의 유형. 멤버 함수 이 름 설 명 awaitable [constructor] 기본 생성자 — 이동 생성자 valid awaitable이 향후 결과를 참조하는지 확인한다. ~awaitable [destructor] 소멸자 요구 사항 일반 헤더 : boost/asio/awaitable.hpp 편의 헤더 : boost/asio.hpp Boost.Asio 홈
Handlers (핸들러) 핸들러는 MoveConstructible 유형(C++Std [moveconstructible])의 요구 사항을 충족해야 한다. 아래 표에서, X는 핸들러 클래스, h는 X의 값, p는 유형 void*로 할당된 메모리 블럭의 포인터, s는 할당된 메모리 블럭의 크기, 그리고 f는 인수가 없는 함수 개체를 나타낸다. 표 18. Handler requirements(핸들러 요구 사항) 표현식 반환 유형 assertion/note (에러 검출/참고) pre/post-conditions(사전/사후 조건) using boost::asio::asio_handler_allocate; asio_handler_allocate(s, &h); void* 크기가 s인 메모리 블록에 대한 포인터를 반환..
Completion handler requirements (완료 핸들러 요구 사항) 완료 핸들러는 handler에 대한 요구 사항을 충족해야 한다. 완료 핸들러 클래스의 값 h는 표현식 h()에서 올바르게 작동해야 한다. 예 제 완료 핸들러로 사용할 수 있는 함수: void completion_handler() { ... } 완료 핸들러 함수 개체: struct completion_handler { ... void operator()() { ... } ... }; 완료 핸들러로 람다(lambda): my_io_service.post( []() { ... }); 완료 핸들러로 std::bind()를 사용하여 적용된 static이 아닌 클래스 멤버 함수: void my_class::completion_han..
