libs/asio/doc/requirements/ConvertibleToConstBuffer.qbk

   1 [/
   2  / Copyright (c) 2003-2017 Christopher M. Kohlhoff (chris at kohlhoff dot com)
   3  /
   4  / Distributed under the Boost Software License, Version 1.0. (See accompanying
   5  / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   6  /]
   7
   8 [section:ConvertibleToConstBuffer Convertible to const buffer requirements]
   9
  10 A type that meets the requirements for convertibility to a const buffer must
  11 meet the requirements of `CopyConstructible` types (C++ Std, 20.1.3), and the
  12 requirements of `Assignable` types (C++ Std, 23.1).
  13
  14 In the table below, `X` denotes a class meeting the requirements for
  15 convertibility to a const buffer, `a` and `b` denote values of type `X`, and
  16 `u`, `v` and `w` denote identifiers.
  17
  18 [table ConvertibleToConstBuffer requirements
  19   [[expression][postcondition]]
  20   [
  21     [``
  22       const_buffer u(a);
  23       const_buffer v(a);
  24     ``]
  25     [``
  26       buffer_cast<const void*>(u) == buffer_cast<const void*>(v)
  27         && buffer_size(u) == buffer_size(v)
  28     ``]
  29   ]
  30   [
  31     [``
  32       const_buffer u(a);
  33       const_buffer v = a;
  34     ``]
  35     [``
  36       buffer_cast<const void*>(u) == buffer_cast<const void*>(v)
  37         && buffer_size(u) == buffer_size(v)
  38     ``]
  39   ]
  40   [
  41     [``
  42       const_buffer u(a);
  43       const_buffer v; v = a;
  44     ``]
  45     [``
  46       buffer_cast<const void*>(u) == buffer_cast<const void*>(v)
  47         && buffer_size(u) == buffer_size(v)
  48     ``]
  49   ]
  50   [
  51     [``
  52       const_buffer u(a);
  53       const X& v = a;
  54       const_buffer w(v);
  55     ``]
  56     [``
  57       buffer_cast<const void*>(u) == buffer_cast<const void*>(w)
  58         && buffer_size(u) == buffer_size(w)
  59     ``]
  60   ]
  61   [
  62     [``
  63       const_buffer u(a);
  64       X v(a);
  65       const_buffer w(v);
  66     ``]
  67     [``
  68       buffer_cast<const void*>(u) == buffer_cast<const void*>(w)
  69         && buffer_size(u) == buffer_size(w)
  70     ``]
  71   ]
  72   [
  73     [``
  74       const_buffer u(a);
  75       X v = a;
  76       const_buffer w(v);
  77     ``]
  78     [``
  79       buffer_cast<const void*>(u) == buffer_cast<const void*>(w)
  80         && buffer_size(u) == buffer_size(w)
  81     ``]
  82   ]
  83   [
  84     [``
  85       const_buffer u(a);
  86       X v(b); v = a;
  87       const_buffer w(v);
  88     ``]
  89     [``
  90       buffer_cast<const void*>(u) == buffer_cast<const void*>(w)
  91         && buffer_size(u) == buffer_size(w)
  92     ``]
  93   ]
  94 ]
  95
  96 [endsect]