Boost.Asio 색인 - require

require

개념 유지 속성을 개체에 적용하는 사용자-정의 지점이다..

constexpr unspecified require = unspecified;

require 이름은 사용자-정의 지점 개체를 나타낸다. E와 P0, 그리고 여기서 Pn...은 N개의 하위표현식(여기서 N은 0 이상이고, 유형 T = decay_t<decltype(E)> 그리고 Prop0 = decay_t<decltype(P0)>)을 나타내는 일부 표현식에 대한 표현식 boost::asio::require(E, P0, Pn...)는 다음 표현식과 같다:

• is_applicable_property_v<T, Prop0> && Prop0::is_requirable가 true 값을 가진 올바른 형식의 상수식이 아니면, boost::asio::require(E, P0, Pn...)는 잘못된 형식이다.
• 그렇지 않으면, N == 0 이고 표현식 Prop0::template static_query_v<T> == Prop0::value() 인 경우 E는 값이 true인 올바른 형식의 상수식이다.
• 그렇지 않으면, N == 0 이고 표현식 (E).require(P0)가 유효한 표현식이면, (E).require(P0)이다.
• 그렇지 않으면, N == 0 이고 표현식 require(E, P0)가 유효한 표현식(require 사용자-정의 지점 개체의 선언을 포함하지 않은 컨텍스트에서 오버로드 확인이 수행된)이면, require(E, P0)이다.
• 그렇지 않으면, N > 0 이고 표현식 boost::asio::require(boost::asio::require(E, P0), Pn...)가 올바른 표현식이면, boost::asio::require(boost::asio::require(E, P0), Pn...)이다.
• 그렇지 않으면, boost::asio::require(E, P0, Pn...)는 잘못된 형식이다.

요구 사항

일반 헤더: boost/asio/require.hpp
편의 헤더: boost/asio.hpp

Boost.Asio 홈