passenger 6.0.19 → 6.0.21

data/src/cxx_supportlib/vendor-modified/boost/asio/buffer.hpp

@@ -2,7 +2,7 @@
 // buffer.hpp
 // ~~~~~~~~~~
 //
-// Copyright (c) 2003-2022 Christopher M. Kohlhoff (chris at kohlhoff dot com)
+// Copyright (c) 2003-2024 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)
@@ -49,21 +49,6 @@
 # include <boost/asio/detail/functional.hpp>
 #endif // BOOST_ASIO_ENABLE_BUFFER_DEBUGGING
 
-#if defined(BOOST_ASIO_HAS_BOOST_WORKAROUND)
-# include <boost/detail/workaround.hpp>
-# if !defined(__clang__)
-#  if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x582))
-#   define BOOST_ASIO_ENABLE_ARRAY_BUFFER_WORKAROUND
-#  endif // BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x582))
-# elif BOOST_WORKAROUND(__SUNPRO_CC, BOOST_TESTED_AT(0x590))
-#  define BOOST_ASIO_ENABLE_ARRAY_BUFFER_WORKAROUND
-# endif // BOOST_WORKAROUND(__SUNPRO_CC, BOOST_TESTED_AT(0x590))
-#endif // defined(BOOST_ASIO_HAS_BOOST_WORKAROUND)
-
-#if defined(BOOST_ASIO_ENABLE_ARRAY_BUFFER_WORKAROUND)
-# include <boost/asio/detail/type_traits.hpp>
-#endif // defined(BOOST_ASIO_ENABLE_ARRAY_BUFFER_WORKAROUND)
-
 #include <boost/asio/detail/push_options.hpp>
 
 namespace boost {
@@ -95,14 +80,14 @@ class mutable_buffer
 {
 public:
   /// Construct an empty buffer.
-  mutable_buffer() BOOST_ASIO_NOEXCEPT
+  mutable_buffer() noexcept
     : data_(0),
       size_(0)
   {
   }
 
   /// Construct a buffer to represent a given memory range.
-  mutable_buffer(void* data, std::size_t size) BOOST_ASIO_NOEXCEPT
+  mutable_buffer(void* data, std::size_t size) noexcept
     : data_(data),
       size_(size)
   {
@@ -124,7 +109,7 @@ public:
 #endif // BOOST_ASIO_ENABLE_BUFFER_DEBUGGING
 
   /// Get a pointer to the beginning of the memory range.
-  void* data() const BOOST_ASIO_NOEXCEPT
+  void* data() const noexcept
   {
 #if defined(BOOST_ASIO_ENABLE_BUFFER_DEBUGGING)
     if (size_ && debug_check_)
@@ -134,13 +119,13 @@ public:
   }
 
   /// Get the size of the memory range.
-  std::size_t size() const BOOST_ASIO_NOEXCEPT
+  std::size_t size() const noexcept
   {
     return size_;
   }
 
   /// Move the start of the buffer by the specified number of bytes.
-  mutable_buffer& operator+=(std::size_t n) BOOST_ASIO_NOEXCEPT
+  mutable_buffer& operator+=(std::size_t n) noexcept
   {
     std::size_t offset = n < size_ ? n : size_;
     data_ = static_cast<char*>(data_) + offset;
@@ -172,7 +157,7 @@ public:
   typedef const mutable_buffer* const_iterator;
 
   /// Construct to represent a given memory range.
-  mutable_buffers_1(void* data, std::size_t size) BOOST_ASIO_NOEXCEPT
+  mutable_buffers_1(void* data, std::size_t size) noexcept
     : mutable_buffer(data, size)
   {
   }
@@ -186,19 +171,19 @@ public:
 #endif // BOOST_ASIO_ENABLE_BUFFER_DEBUGGING
 
   /// Construct to represent a single modifiable buffer.
-  explicit mutable_buffers_1(const mutable_buffer& b) BOOST_ASIO_NOEXCEPT
+  explicit mutable_buffers_1(const mutable_buffer& b) noexcept
     : mutable_buffer(b)
   {
   }
 
   /// Get a random-access iterator to the first element.
-  const_iterator begin() const BOOST_ASIO_NOEXCEPT
+  const_iterator begin() const noexcept
   {
     return this;
   }
 
   /// Get a random-access iterator for one past the last element.
-  const_iterator end() const BOOST_ASIO_NOEXCEPT
+  const_iterator end() const noexcept
   {
     return begin() + 1;
   }
@@ -229,21 +214,21 @@ class const_buffer
 {
 public:
   /// Construct an empty buffer.
-  const_buffer() BOOST_ASIO_NOEXCEPT
+  const_buffer() noexcept
     : data_(0),
       size_(0)
   {
   }
 
   /// Construct a buffer to represent a given memory range.
-  const_buffer(const void* data, std::size_t size) BOOST_ASIO_NOEXCEPT
+  const_buffer(const void* data, std::size_t size) noexcept
     : data_(data),
       size_(size)
   {
   }
 
   /// Construct a non-modifiable buffer from a modifiable one.
-  const_buffer(const mutable_buffer& b) BOOST_ASIO_NOEXCEPT
+  const_buffer(const mutable_buffer& b) noexcept
     : data_(b.data()),
       size_(b.size())
 #if defined(BOOST_ASIO_ENABLE_BUFFER_DEBUGGING)
@@ -268,7 +253,7 @@ public:
 #endif // BOOST_ASIO_ENABLE_BUFFER_DEBUGGING
 
   /// Get a pointer to the beginning of the memory range.
-  const void* data() const BOOST_ASIO_NOEXCEPT
+  const void* data() const noexcept
   {
 #if defined(BOOST_ASIO_ENABLE_BUFFER_DEBUGGING)
     if (size_ && debug_check_)
@@ -278,13 +263,13 @@ public:
   }
 
   /// Get the size of the memory range.
-  std::size_t size() const BOOST_ASIO_NOEXCEPT
+  std::size_t size() const noexcept
   {
     return size_;
   }
 
   /// Move the start of the buffer by the specified number of bytes.
-  const_buffer& operator+=(std::size_t n) BOOST_ASIO_NOEXCEPT
+  const_buffer& operator+=(std::size_t n) noexcept
   {
     std::size_t offset = n < size_ ? n : size_;
     data_ = static_cast<const char*>(data_) + offset;
@@ -316,7 +301,7 @@ public:
   typedef const const_buffer* const_iterator;
 
   /// Construct to represent a given memory range.
-  const_buffers_1(const void* data, std::size_t size) BOOST_ASIO_NOEXCEPT
+  const_buffers_1(const void* data, std::size_t size) noexcept
     : const_buffer(data, size)
   {
   }
@@ -330,19 +315,19 @@ public:
 #endif // BOOST_ASIO_ENABLE_BUFFER_DEBUGGING
 
   /// Construct to represent a single non-modifiable buffer.
-  explicit const_buffers_1(const const_buffer& b) BOOST_ASIO_NOEXCEPT
+  explicit const_buffers_1(const const_buffer& b) noexcept
     : const_buffer(b)
   {
   }
 
   /// Get a random-access iterator to the first element.
-  const_iterator begin() const BOOST_ASIO_NOEXCEPT
+  const_iterator begin() const noexcept
   {
     return this;
   }
 
   /// Get a random-access iterator for one past the last element.
-  const_iterator end() const BOOST_ASIO_NOEXCEPT
+  const_iterator end() const noexcept
   {
     return begin() + 1;
   }
@@ -363,13 +348,13 @@ public:
   typedef const mutable_buffer* const_iterator;
 
   /// Get a random-access iterator to the first element.
-  const_iterator begin() const BOOST_ASIO_NOEXCEPT
+  const_iterator begin() const noexcept
   {
     return &buf_;
   }
 
   /// Get a random-access iterator for one past the last element.
-  const_iterator end() const BOOST_ASIO_NOEXCEPT
+  const_iterator end() const noexcept
   {
     return &buf_;
   }
@@ -388,9 +373,9 @@ private:
 /// Get an iterator to the first element in a buffer sequence.
 template <typename MutableBuffer>
 inline const mutable_buffer* buffer_sequence_begin(const MutableBuffer& b,
-    typename constraint<
+    constraint_t<
       is_convertible<const MutableBuffer*, const mutable_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
+    > = 0) noexcept
 {
   return static_cast<const mutable_buffer*>(detail::addressof(b));
 }
@@ -398,22 +383,20 @@ inline const mutable_buffer* buffer_sequence_begin(const MutableBuffer& b,
 /// Get an iterator to the first element in a buffer sequence.
 template <typename ConstBuffer>
 inline const const_buffer* buffer_sequence_begin(const ConstBuffer& b,
-    typename constraint<
+    constraint_t<
       is_convertible<const ConstBuffer*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
+    > = 0) noexcept
 {
   return static_cast<const const_buffer*>(detail::addressof(b));
 }
 
-#if defined(BOOST_ASIO_HAS_DECLTYPE) || defined(GENERATING_DOCUMENTATION)
-
 /// Get an iterator to the first element in a buffer sequence.
 template <typename C>
 inline auto buffer_sequence_begin(C& c,
-    typename constraint<
+    constraint_t<
       !is_convertible<const C*, const mutable_buffer*>::value
         && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT -> decltype(c.begin())
+    > = 0) noexcept -> decltype(c.begin())
 {
   return c.begin();
 }
@@ -421,38 +404,14 @@ inline auto buffer_sequence_begin(C& c,
 /// Get an iterator to the first element in a buffer sequence.
 template <typename C>
 inline auto buffer_sequence_begin(const C& c,
-    typename constraint<
-      !is_convertible<const C*, const mutable_buffer*>::value
-        && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT -> decltype(c.begin())
-{
-  return c.begin();
-}
-
-#else // defined(BOOST_ASIO_HAS_DECLTYPE) || defined(GENERATING_DOCUMENTATION)
-
-template <typename C>
-inline typename C::iterator buffer_sequence_begin(C& c,
-    typename constraint<
-      !is_convertible<const C*, const mutable_buffer*>::value
-        && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
-{
-  return c.begin();
-}
-
-template <typename C>
-inline typename C::const_iterator buffer_sequence_begin(const C& c,
-    typename constraint<
+    constraint_t<
       !is_convertible<const C*, const mutable_buffer*>::value
         && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
+    > = 0) noexcept -> decltype(c.begin())
 {
   return c.begin();
 }
 
-#endif // defined(BOOST_ASIO_HAS_DECLTYPE) || defined(GENERATING_DOCUMENTATION)
-
 /*@}*/
 
 /** @defgroup buffer_sequence_end boost::asio::buffer_sequence_end
@@ -465,9 +424,9 @@ inline typename C::const_iterator buffer_sequence_begin(const C& c,
 /// Get an iterator to one past the end element in a buffer sequence.
 template <typename MutableBuffer>
 inline const mutable_buffer* buffer_sequence_end(const MutableBuffer& b,
-    typename constraint<
+    constraint_t<
       is_convertible<const MutableBuffer*, const mutable_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
+    > = 0) noexcept
 {
   return static_cast<const mutable_buffer*>(detail::addressof(b)) + 1;
 }
@@ -475,22 +434,20 @@ inline const mutable_buffer* buffer_sequence_end(const MutableBuffer& b,
 /// Get an iterator to one past the end element in a buffer sequence.
 template <typename ConstBuffer>
 inline const const_buffer* buffer_sequence_end(const ConstBuffer& b,
-    typename constraint<
+    constraint_t<
       is_convertible<const ConstBuffer*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
+    > = 0) noexcept
 {
   return static_cast<const const_buffer*>(detail::addressof(b)) + 1;
 }
 
-#if defined(BOOST_ASIO_HAS_DECLTYPE) || defined(GENERATING_DOCUMENTATION)
-
 /// Get an iterator to one past the end element in a buffer sequence.
 template <typename C>
 inline auto buffer_sequence_end(C& c,
-    typename constraint<
+    constraint_t<
       !is_convertible<const C*, const mutable_buffer*>::value
         && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT -> decltype(c.end())
+    > = 0) noexcept -> decltype(c.end())
 {
   return c.end();
 }
@@ -498,38 +455,14 @@ inline auto buffer_sequence_end(C& c,
 /// Get an iterator to one past the end element in a buffer sequence.
 template <typename C>
 inline auto buffer_sequence_end(const C& c,
-    typename constraint<
-      !is_convertible<const C*, const mutable_buffer*>::value
-        && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT -> decltype(c.end())
-{
-  return c.end();
-}
-
-#else // defined(BOOST_ASIO_HAS_DECLTYPE) || defined(GENERATING_DOCUMENTATION)
-
-template <typename C>
-inline typename C::iterator buffer_sequence_end(C& c,
-    typename constraint<
+    constraint_t<
       !is_convertible<const C*, const mutable_buffer*>::value
         && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
+    > = 0) noexcept -> decltype(c.end())
 {
   return c.end();
 }
 
-template <typename C>
-inline typename C::const_iterator buffer_sequence_end(const C& c,
-    typename constraint<
-      !is_convertible<const C*, const mutable_buffer*>::value
-        && !is_convertible<const C*, const const_buffer*>::value
-    >::type = 0) BOOST_ASIO_NOEXCEPT
-{
-  return c.end();
-}
-
-#endif // defined(BOOST_ASIO_HAS_DECLTYPE) || defined(GENERATING_DOCUMENTATION)
-
 /*@}*/
 
 namespace detail {
@@ -541,25 +474,25 @@ struct multiple_buffers {};
 // Helper trait to detect single buffers.
 template <typename BufferSequence>
 struct buffer_sequence_cardinality :
-  conditional<
+  conditional_t<
     is_same<BufferSequence, mutable_buffer>::value
 #if !defined(BOOST_ASIO_NO_DEPRECATED)
       || is_same<BufferSequence, mutable_buffers_1>::value
       || is_same<BufferSequence, const_buffers_1>::value
 #endif // !defined(BOOST_ASIO_NO_DEPRECATED)
       || is_same<BufferSequence, const_buffer>::value,
-    one_buffer, multiple_buffers>::type {};
+    one_buffer, multiple_buffers> {};
 
 template <typename Iterator>
 inline std::size_t buffer_size(one_buffer,
-    Iterator begin, Iterator) BOOST_ASIO_NOEXCEPT
+    Iterator begin, Iterator) noexcept
 {
   return const_buffer(*begin).size();
 }
 
 template <typename Iterator>
 inline std::size_t buffer_size(multiple_buffers,
-    Iterator begin, Iterator end) BOOST_ASIO_NOEXCEPT
+    Iterator begin, Iterator end) noexcept
 {
   std::size_t total_buffer_size = 0;
 
@@ -594,7 +527,7 @@ inline std::size_t buffer_size(multiple_buffers,
  * ConstBufferSequence or @c MutableBufferSequence type requirements.
  */
 template <typename BufferSequence>
-inline std::size_t buffer_size(const BufferSequence& b) BOOST_ASIO_NOEXCEPT
+inline std::size_t buffer_size(const BufferSequence& b) noexcept
 {
   return detail::buffer_size(
       detail::buffer_sequence_cardinality<BufferSequence>(),
@@ -629,14 +562,14 @@ inline std::size_t buffer_size(const BufferSequence& b) BOOST_ASIO_NOEXCEPT
 
 /// Cast a non-modifiable buffer to a specified pointer to POD type.
 template <typename PointerToPodType>
-inline PointerToPodType buffer_cast(const mutable_buffer& b) BOOST_ASIO_NOEXCEPT
+inline PointerToPodType buffer_cast(const mutable_buffer& b) noexcept
 {
   return static_cast<PointerToPodType>(b.data());
 }
 
 /// Cast a non-modifiable buffer to a specified pointer to POD type.
 template <typename PointerToPodType>
-inline PointerToPodType buffer_cast(const const_buffer& b) BOOST_ASIO_NOEXCEPT
+inline PointerToPodType buffer_cast(const const_buffer& b) noexcept
 {
   return static_cast<PointerToPodType>(b.data());
 }
@@ -650,7 +583,7 @@ inline PointerToPodType buffer_cast(const const_buffer& b) BOOST_ASIO_NOEXCEPT
  * @relates mutable_buffer
  */
 inline mutable_buffer operator+(const mutable_buffer& b,
-    std::size_t n) BOOST_ASIO_NOEXCEPT
+    std::size_t n) noexcept
 {
   std::size_t offset = n < b.size() ? n : b.size();
   char* new_data = static_cast<char*>(b.data()) + offset;
@@ -667,7 +600,7 @@ inline mutable_buffer operator+(const mutable_buffer& b,
  * @relates mutable_buffer
  */
 inline mutable_buffer operator+(std::size_t n,
-    const mutable_buffer& b) BOOST_ASIO_NOEXCEPT
+    const mutable_buffer& b) noexcept
 {
   return b + n;
 }
@@ -677,7 +610,7 @@ inline mutable_buffer operator+(std::size_t n,
  * @relates const_buffer
  */
 inline const_buffer operator+(const const_buffer& b,
-    std::size_t n) BOOST_ASIO_NOEXCEPT
+    std::size_t n) noexcept
 {
   std::size_t offset = n < b.size() ? n : b.size();
   const char* new_data = static_cast<const char*>(b.data()) + offset;
@@ -694,7 +627,7 @@ inline const_buffer operator+(const const_buffer& b,
  * @relates const_buffer
  */
 inline const_buffer operator+(std::size_t n,
-    const const_buffer& b) BOOST_ASIO_NOEXCEPT
+    const const_buffer& b) noexcept
 {
   return b + n;
 }
@@ -893,6 +826,25 @@ private:
  * bufs2.push_back(boost::asio::buffer(d2));
  * bufs2.push_back(boost::asio::buffer(d3));
  * bytes_transferred = sock.send(bufs2); @endcode
+ *
+ * @par Buffer Literals
+ *
+ * The `_buf` literal suffix, defined in namespace
+ * <tt>boost::asio::buffer_literals</tt>, may be used to create @c const_buffer
+ * objects from string, binary integer, and hexadecimal integer literals.
+ * For example:
+ *
+ * @code
+ * using namespace boost::asio::buffer_literals;
+ *
+ * boost::asio::const_buffer b1 = "hello"_buf;
+ * boost::asio::const_buffer b2 = 0xdeadbeef_buf;
+ * boost::asio::const_buffer b3 = 0x0123456789abcdef0123456789abcdef_buf;
+ * boost::asio::const_buffer b4 = 0b1010101011001100_buf; @endcode
+ *
+ * Note that the memory associated with a buffer literal is valid for the
+ * lifetime of the program. This means that the buffer can be safely used with
+ * asynchronous operations.
  */
 /*@{*/
 
@@ -909,7 +861,7 @@ private:
  * @returns <tt>mutable_buffer(b)</tt>.
  */
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
-    const mutable_buffer& b) BOOST_ASIO_NOEXCEPT
+    const mutable_buffer& b) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(b);
 }
@@ -923,7 +875,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  */
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     const mutable_buffer& b,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(
       mutable_buffer(b.data(),
@@ -940,7 +892,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  * @returns <tt>const_buffer(b)</tt>.
  */
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    const const_buffer& b) BOOST_ASIO_NOEXCEPT
+    const const_buffer& b) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(b);
 }
@@ -954,7 +906,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const const_buffer& b,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(b.data(),
       b.size() < max_size_in_bytes
@@ -970,7 +922,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  * @returns <tt>mutable_buffer(data, size_in_bytes)</tt>.
  */
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
-    void* data, std::size_t size_in_bytes) BOOST_ASIO_NOEXCEPT
+    void* data, std::size_t size_in_bytes) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data, size_in_bytes);
 }
@@ -980,7 +932,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  * @returns <tt>const_buffer(data, size_in_bytes)</tt>.
  */
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    const void* data, std::size_t size_in_bytes) BOOST_ASIO_NOEXCEPT
+    const void* data, std::size_t size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data, size_in_bytes);
 }
@@ -994,11 +946,11 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
-    PodType (&data)[N]) BOOST_ASIO_NOEXCEPT
+    PodType (&data)[N]) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data, N * sizeof(PodType));
 }
- 
+
 /// Create a new modifiable buffer that represents the given POD array.
 /**
  * @returns A mutable_buffer value equivalent to:
@@ -1009,13 +961,13 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     PodType (&data)[N],
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data,
       N * sizeof(PodType) < max_size_in_bytes
       ? N * sizeof(PodType) : max_size_in_bytes);
 }
- 
+
 /// Create a new non-modifiable buffer that represents the given POD array.
 /**
  * @returns A const_buffer value equivalent to:
@@ -1025,7 +977,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    const PodType (&data)[N]) BOOST_ASIO_NOEXCEPT
+    const PodType (&data)[N]) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data, N * sizeof(PodType));
 }
@@ -1040,85 +992,13 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const PodType (&data)[N],
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data,
       N * sizeof(PodType) < max_size_in_bytes
       ? N * sizeof(PodType) : max_size_in_bytes);
 }
 
-#if defined(BOOST_ASIO_ENABLE_ARRAY_BUFFER_WORKAROUND)
-
-// Borland C++ and Sun Studio think the overloads:
-//
-//   unspecified buffer(boost::array<PodType, N>& array ...);
-//
-// and
-//
-//   unspecified buffer(boost::array<const PodType, N>& array ...);
-//
-// are ambiguous. This will be worked around by using a buffer_types traits
-// class that contains typedefs for the appropriate buffer and container
-// classes, based on whether PodType is const or non-const.
-
-namespace detail {
-
-template <bool IsConst>
-struct buffer_types_base;
-
-template <>
-struct buffer_types_base<false>
-{
-  typedef mutable_buffer buffer_type;
-  typedef BOOST_ASIO_MUTABLE_BUFFER container_type;
-};
-
-template <>
-struct buffer_types_base<true>
-{
-  typedef const_buffer buffer_type;
-  typedef BOOST_ASIO_CONST_BUFFER container_type;
-};
-
-template <typename PodType>
-struct buffer_types
-  : public buffer_types_base<is_const<PodType>::value>
-{
-};
-
-} // namespace detail
-
-template <typename PodType, std::size_t N>
-BOOST_ASIO_NODISCARD inline
-typename detail::buffer_types<PodType>::container_type
-buffer(boost::array<PodType, N>& data) BOOST_ASIO_NOEXCEPT
-{
-  typedef typename boost::asio::detail::buffer_types<PodType>::buffer_type
-    buffer_type;
-  typedef typename boost::asio::detail::buffer_types<PodType>::container_type
-    container_type;
-  return container_type(
-      buffer_type(data.c_array(), data.size() * sizeof(PodType)));
-}
-
-template <typename PodType, std::size_t N>
-BOOST_ASIO_NODISCARD inline
-typename detail::buffer_types<PodType>::container_type
-buffer(boost::array<PodType, N>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
-{
-  typedef typename boost::asio::detail::buffer_types<PodType>::buffer_type
-    buffer_type;
-  typedef typename boost::asio::detail::buffer_types<PodType>::container_type
-    container_type;
-  return container_type(
-      buffer_type(data.c_array(),
-        data.size() * sizeof(PodType) < max_size_in_bytes
-        ? data.size() * sizeof(PodType) : max_size_in_bytes));
-}
-
-#else // defined(BOOST_ASIO_ENABLE_ARRAY_BUFFER_WORKAROUND)
-
 /// Create a new modifiable buffer that represents the given POD array.
 /**
  * @returns A mutable_buffer value equivalent to:
@@ -1128,7 +1008,7 @@ buffer(boost::array<PodType, N>& data,
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
-    boost::array<PodType, N>& data) BOOST_ASIO_NOEXCEPT
+    boost::array<PodType, N>& data) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(
       data.c_array(), data.size() * sizeof(PodType));
@@ -1144,7 +1024,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     boost::array<PodType, N>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data.c_array(),
       data.size() * sizeof(PodType) < max_size_in_bytes
@@ -1160,7 +1040,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    boost::array<const PodType, N>& data) BOOST_ASIO_NOEXCEPT
+    boost::array<const PodType, N>& data) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(), data.size() * sizeof(PodType));
 }
@@ -1175,15 +1055,13 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     boost::array<const PodType, N>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(),
       data.size() * sizeof(PodType) < max_size_in_bytes
       ? data.size() * sizeof(PodType) : max_size_in_bytes);
 }
 
-#endif // defined(BOOST_ASIO_ENABLE_ARRAY_BUFFER_WORKAROUND)
-
 /// Create a new non-modifiable buffer that represents the given POD array.
 /**
  * @returns A const_buffer value equivalent to:
@@ -1193,7 +1071,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    const boost::array<PodType, N>& data) BOOST_ASIO_NOEXCEPT
+    const boost::array<PodType, N>& data) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(), data.size() * sizeof(PodType));
 }
@@ -1208,15 +1086,13 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const boost::array<PodType, N>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(),
       data.size() * sizeof(PodType) < max_size_in_bytes
       ? data.size() * sizeof(PodType) : max_size_in_bytes);
 }
 
-#if defined(BOOST_ASIO_HAS_STD_ARRAY) || defined(GENERATING_DOCUMENTATION)
-
 /// Create a new modifiable buffer that represents the given POD array.
 /**
  * @returns A mutable_buffer value equivalent to:
@@ -1226,7 +1102,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
-    std::array<PodType, N>& data) BOOST_ASIO_NOEXCEPT
+    std::array<PodType, N>& data) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data.data(), data.size() * sizeof(PodType));
 }
@@ -1241,7 +1117,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     std::array<PodType, N>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data.data(),
       data.size() * sizeof(PodType) < max_size_in_bytes
@@ -1257,7 +1133,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    std::array<const PodType, N>& data) BOOST_ASIO_NOEXCEPT
+    std::array<const PodType, N>& data) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(), data.size() * sizeof(PodType));
 }
@@ -1272,7 +1148,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     std::array<const PodType, N>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(),
       data.size() * sizeof(PodType) < max_size_in_bytes
@@ -1288,7 +1164,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    const std::array<PodType, N>& data) BOOST_ASIO_NOEXCEPT
+    const std::array<PodType, N>& data) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(), data.size() * sizeof(PodType));
 }
@@ -1303,15 +1179,13 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename PodType, std::size_t N>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const std::array<PodType, N>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(),
       data.size() * sizeof(PodType) < max_size_in_bytes
       ? data.size() * sizeof(PodType) : max_size_in_bytes);
 }
 
-#endif // defined(BOOST_ASIO_HAS_STD_ARRAY) || defined(GENERATING_DOCUMENTATION)
-
 /// Create a new modifiable buffer that represents the given POD vector.
 /**
  * @returns A mutable_buffer value equivalent to:
@@ -1324,7 +1198,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 template <typename PodType, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
-    std::vector<PodType, Allocator>& data) BOOST_ASIO_NOEXCEPT
+    std::vector<PodType, Allocator>& data) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(
       data.size() ? &data[0] : 0, data.size() * sizeof(PodType)
@@ -1349,7 +1223,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
 template <typename PodType, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     std::vector<PodType, Allocator>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data.size() ? &data[0] : 0,
       data.size() * sizeof(PodType) < max_size_in_bytes
@@ -1374,7 +1248,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  */
 template <typename PodType, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    const std::vector<PodType, Allocator>& data) BOOST_ASIO_NOEXCEPT
+    const std::vector<PodType, Allocator>& data) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(
       data.size() ? &data[0] : 0, data.size() * sizeof(PodType)
@@ -1399,7 +1273,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename PodType, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const std::vector<PodType, Allocator>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.size() ? &data[0] : 0,
       data.size() * sizeof(PodType) < max_size_in_bytes
@@ -1422,7 +1296,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 template <typename Elem, typename Traits, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
-    std::basic_string<Elem, Traits, Allocator>& data) BOOST_ASIO_NOEXCEPT
+    std::basic_string<Elem, Traits, Allocator>& data) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data.size() ? &data[0] : 0,
       data.size() * sizeof(Elem)
@@ -1447,7 +1321,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
 template <typename Elem, typename Traits, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     std::basic_string<Elem, Traits, Allocator>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(data.size() ? &data[0] : 0,
       data.size() * sizeof(Elem) < max_size_in_bytes
@@ -1469,7 +1343,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
  */
 template <typename Elem, typename Traits, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    const std::basic_string<Elem, Traits, Allocator>& data) BOOST_ASIO_NOEXCEPT
+    const std::basic_string<Elem, Traits, Allocator>& data) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(), data.size() * sizeof(Elem)
 #if defined(BOOST_ASIO_ENABLE_BUFFER_DEBUGGING)
@@ -1493,7 +1367,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename Elem, typename Traits, typename Allocator>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const std::basic_string<Elem, Traits, Allocator>& data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.data(),
       data.size() * sizeof(Elem) < max_size_in_bytes
@@ -1516,7 +1390,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
  */
 template <typename Elem, typename Traits>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
-    basic_string_view<Elem, Traits> data) BOOST_ASIO_NOEXCEPT
+    basic_string_view<Elem, Traits> data) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.size() ? &data[0] : 0,
       data.size() * sizeof(Elem)
@@ -1538,7 +1412,7 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename Elem, typename Traits>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     basic_string_view<Elem, Traits> data,
-    std::size_t max_size_in_bytes) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size_in_bytes) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(data.size() ? &data[0] : 0,
       data.size() * sizeof(Elem) < max_size_in_bytes
@@ -1564,18 +1438,26 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename T>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     T& data,
-    typename constraint<
+    constraint_t<
       is_contiguous_iterator<typename T::iterator>::value,
       defaulted_constraint
-    >::type = defaulted_constraint(),
-    typename constraint<
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, const_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, mutable_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
       !is_const<
-        typename remove_reference<
+        remove_reference_t<
           typename std::iterator_traits<typename T::iterator>::reference
-        >::type
+        >
       >::value,
       defaulted_constraint
-    >::type = defaulted_constraint()) BOOST_ASIO_NOEXCEPT
+    > = defaulted_constraint()) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(
       data.size() ? detail::to_address(data.begin()) : 0,
@@ -1594,18 +1476,26 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
 template <typename T>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
     T& data, std::size_t max_size_in_bytes,
-    typename constraint<
+    constraint_t<
       is_contiguous_iterator<typename T::iterator>::value,
       defaulted_constraint
-    >::type = defaulted_constraint(),
-    typename constraint<
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, const_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, mutable_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
       !is_const<
-        typename remove_reference<
+        remove_reference_t<
           typename std::iterator_traits<typename T::iterator>::reference
-        >::type
+        >
       >::value,
       defaulted_constraint
-    >::type = defaulted_constraint()) BOOST_ASIO_NOEXCEPT
+    > = defaulted_constraint()) noexcept
 {
   return BOOST_ASIO_MUTABLE_BUFFER(
       data.size() ? detail::to_address(data.begin()) : 0,
@@ -1623,18 +1513,26 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_MUTABLE_BUFFER buffer(
 template <typename T>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     T& data,
-    typename constraint<
+    constraint_t<
       is_contiguous_iterator<typename T::iterator>::value,
       defaulted_constraint
-    >::type = defaulted_constraint(),
-    typename constraint<
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, const_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, mutable_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
       is_const<
-        typename remove_reference<
+        remove_reference_t<
           typename std::iterator_traits<typename T::iterator>::reference
-        >::type
+        >
       >::value,
       defaulted_constraint
-    >::type = defaulted_constraint()) BOOST_ASIO_NOEXCEPT
+    > = defaulted_constraint()) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(
       data.size() ? detail::to_address(data.begin()) : 0,
@@ -1653,18 +1551,26 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename T>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     T& data, std::size_t max_size_in_bytes,
-    typename constraint<
+    constraint_t<
       is_contiguous_iterator<typename T::iterator>::value,
       defaulted_constraint
-    >::type = defaulted_constraint(),
-    typename constraint<
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, const_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, mutable_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
       is_const<
-        typename remove_reference<
+        remove_reference_t<
           typename std::iterator_traits<typename T::iterator>::reference
-        >::type
+        >
       >::value,
       defaulted_constraint
-    >::type = defaulted_constraint()) BOOST_ASIO_NOEXCEPT
+    > = defaulted_constraint()) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(
       data.size() ? detail::to_address(data.begin()) : 0,
@@ -1682,10 +1588,18 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename T>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const T& data,
-    typename constraint<
+    constraint_t<
       is_contiguous_iterator<typename T::const_iterator>::value,
       defaulted_constraint
-    >::type = defaulted_constraint()) BOOST_ASIO_NOEXCEPT
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, const_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, mutable_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint()) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(
       data.size() ? detail::to_address(data.begin()) : 0,
@@ -1704,10 +1618,18 @@ BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
 template <typename T>
 BOOST_ASIO_NODISCARD inline BOOST_ASIO_CONST_BUFFER buffer(
     const T& data, std::size_t max_size_in_bytes,
-    typename constraint<
+    constraint_t<
       is_contiguous_iterator<typename T::const_iterator>::value,
       defaulted_constraint
-    >::type = defaulted_constraint()) BOOST_ASIO_NOEXCEPT
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, const_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint(),
+    constraint_t<
+      !is_convertible<T, mutable_buffer>::value,
+      defaulted_constraint
+    > = defaulted_constraint()) noexcept
 {
   return BOOST_ASIO_CONST_BUFFER(
       data.size() ? detail::to_address(data.begin()) : 0,
@@ -1747,7 +1669,7 @@ public:
    */
   explicit dynamic_string_buffer(std::basic_string<Elem, Traits, Allocator>& s,
       std::size_t maximum_size =
-        (std::numeric_limits<std::size_t>::max)()) BOOST_ASIO_NOEXCEPT
+        (std::numeric_limits<std::size_t>::max)()) noexcept
     : string_(s),
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
       size_((std::numeric_limits<std::size_t>::max)()),
@@ -1757,7 +1679,7 @@ public:
   }
 
   /// @b DynamicBuffer_v2: Copy construct a dynamic buffer.
-  dynamic_string_buffer(const dynamic_string_buffer& other) BOOST_ASIO_NOEXCEPT
+  dynamic_string_buffer(const dynamic_string_buffer& other) noexcept
     : string_(other.string_),
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
       size_(other.size_),
@@ -1766,9 +1688,8 @@ public:
   {
   }
 
-#if defined(BOOST_ASIO_HAS_MOVE) || defined(GENERATING_DOCUMENTATION)
   /// Move construct a dynamic buffer.
-  dynamic_string_buffer(dynamic_string_buffer&& other) BOOST_ASIO_NOEXCEPT
+  dynamic_string_buffer(dynamic_string_buffer&& other) noexcept
     : string_(other.string_),
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
       size_(other.size_),
@@ -1776,7 +1697,6 @@ public:
       max_size_(other.max_size_)
   {
   }
-#endif // defined(BOOST_ASIO_HAS_MOVE) || defined(GENERATING_DOCUMENTATION)
 
   /// @b DynamicBuffer_v1: Get the size of the input sequence.
   /// @b DynamicBuffer_v2: Get the current size of the underlying memory.
@@ -1785,7 +1705,7 @@ public:
    * @b DynamicBuffer_v2: The current size of the underlying string if less than
    * max_size(). Otherwise returns max_size().
    */
-  std::size_t size() const BOOST_ASIO_NOEXCEPT
+  std::size_t size() const noexcept
   {
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
     if (size_ != (std::numeric_limits<std::size_t>::max)())
@@ -1798,7 +1718,7 @@ public:
   /**
    * @returns The allowed maximum size of the underlying memory.
    */
-  std::size_t max_size() const BOOST_ASIO_NOEXCEPT
+  std::size_t max_size() const noexcept
   {
     return max_size_;
   }
@@ -1809,7 +1729,7 @@ public:
    * @returns The current capacity of the underlying string if less than
    * max_size(). Otherwise returns max_size().
    */
-  std::size_t capacity() const BOOST_ASIO_NOEXCEPT
+  std::size_t capacity() const noexcept
   {
     return (std::min)(string_.capacity(), max_size());
   }
@@ -1825,7 +1745,7 @@ public:
    * @note The returned object is invalidated by any @c dynamic_string_buffer
    * or @c basic_string member function that resizes or erases the string.
    */
-  const_buffers_type data() const BOOST_ASIO_NOEXCEPT
+  const_buffers_type data() const noexcept
   {
     return const_buffers_type(boost::asio::buffer(string_, size_));
   }
@@ -1846,7 +1766,7 @@ public:
    * @note The returned object is invalidated by any @c dynamic_string_buffer
    * or @c basic_string member function that resizes or erases the string.
    */
-  mutable_buffers_type data(std::size_t pos, std::size_t n) BOOST_ASIO_NOEXCEPT
+  mutable_buffers_type data(std::size_t pos, std::size_t n) noexcept
   {
     return mutable_buffers_type(boost::asio::buffer(
           boost::asio::buffer(string_, max_size_) + pos, n));
@@ -1865,7 +1785,7 @@ public:
    * or @c basic_string member function that resizes or erases the string.
    */
   const_buffers_type data(std::size_t pos,
-      std::size_t n) const BOOST_ASIO_NOEXCEPT
+      std::size_t n) const noexcept
   {
     return const_buffers_type(boost::asio::buffer(
           boost::asio::buffer(string_, max_size_) + pos, n));
@@ -2015,7 +1935,7 @@ public:
    */
   explicit dynamic_vector_buffer(std::vector<Elem, Allocator>& v,
       std::size_t maximum_size =
-        (std::numeric_limits<std::size_t>::max)()) BOOST_ASIO_NOEXCEPT
+        (std::numeric_limits<std::size_t>::max)()) noexcept
     : vector_(v),
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
       size_((std::numeric_limits<std::size_t>::max)()),
@@ -2025,7 +1945,7 @@ public:
   }
 
   /// @b DynamicBuffer_v2: Copy construct a dynamic buffer.
-  dynamic_vector_buffer(const dynamic_vector_buffer& other) BOOST_ASIO_NOEXCEPT
+  dynamic_vector_buffer(const dynamic_vector_buffer& other) noexcept
     : vector_(other.vector_),
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
       size_(other.size_),
@@ -2034,9 +1954,8 @@ public:
   {
   }
 
-#if defined(BOOST_ASIO_HAS_MOVE) || defined(GENERATING_DOCUMENTATION)
   /// Move construct a dynamic buffer.
-  dynamic_vector_buffer(dynamic_vector_buffer&& other) BOOST_ASIO_NOEXCEPT
+  dynamic_vector_buffer(dynamic_vector_buffer&& other) noexcept
     : vector_(other.vector_),
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
       size_(other.size_),
@@ -2044,7 +1963,6 @@ public:
       max_size_(other.max_size_)
   {
   }
-#endif // defined(BOOST_ASIO_HAS_MOVE) || defined(GENERATING_DOCUMENTATION)
 
   /// @b DynamicBuffer_v1: Get the size of the input sequence.
   /// @b DynamicBuffer_v2: Get the current size of the underlying memory.
@@ -2053,7 +1971,7 @@ public:
    * @b DynamicBuffer_v2: The current size of the underlying vector if less than
    * max_size(). Otherwise returns max_size().
    */
-  std::size_t size() const BOOST_ASIO_NOEXCEPT
+  std::size_t size() const noexcept
   {
 #if !defined(BOOST_ASIO_NO_DYNAMIC_BUFFER_V1)
     if (size_ != (std::numeric_limits<std::size_t>::max)())
@@ -2068,7 +1986,7 @@ public:
    * of the input sequence and output sequence. @b DynamicBuffer_v2: The allowed
    * maximum size of the underlying memory.
    */
-  std::size_t max_size() const BOOST_ASIO_NOEXCEPT
+  std::size_t max_size() const noexcept
   {
     return max_size_;
   }
@@ -2081,7 +1999,7 @@ public:
    * The current capacity of the underlying vector if less than max_size().
    * Otherwise returns max_size().
    */
-  std::size_t capacity() const BOOST_ASIO_NOEXCEPT
+  std::size_t capacity() const noexcept
   {
     return (std::min)(vector_.capacity(), max_size());
   }
@@ -2098,7 +2016,7 @@ public:
    * or @c vector member function that modifies the input sequence or output
    * sequence.
    */
-  const_buffers_type data() const BOOST_ASIO_NOEXCEPT
+  const_buffers_type data() const noexcept
   {
     return const_buffers_type(boost::asio::buffer(vector_, size_));
   }
@@ -2119,7 +2037,7 @@ public:
    * @note The returned object is invalidated by any @c dynamic_vector_buffer
    * or @c vector member function that resizes or erases the vector.
    */
-  mutable_buffers_type data(std::size_t pos, std::size_t n) BOOST_ASIO_NOEXCEPT
+  mutable_buffers_type data(std::size_t pos, std::size_t n) noexcept
   {
     return mutable_buffers_type(boost::asio::buffer(
           boost::asio::buffer(vector_, max_size_) + pos, n));
@@ -2138,7 +2056,7 @@ public:
    * or @c vector member function that resizes or erases the vector.
    */
   const_buffers_type data(std::size_t pos,
-      std::size_t n) const BOOST_ASIO_NOEXCEPT
+      std::size_t n) const noexcept
   {
     return const_buffers_type(boost::asio::buffer(
           boost::asio::buffer(vector_, max_size_) + pos, n));
@@ -2275,7 +2193,7 @@ private:
 template <typename Elem, typename Traits, typename Allocator>
 BOOST_ASIO_NODISCARD inline
 dynamic_string_buffer<Elem, Traits, Allocator> dynamic_buffer(
-    std::basic_string<Elem, Traits, Allocator>& data) BOOST_ASIO_NOEXCEPT
+    std::basic_string<Elem, Traits, Allocator>& data) noexcept
 {
   return dynamic_string_buffer<Elem, Traits, Allocator>(data);
 }
@@ -2289,7 +2207,7 @@ template <typename Elem, typename Traits, typename Allocator>
 BOOST_ASIO_NODISCARD inline
 dynamic_string_buffer<Elem, Traits, Allocator> dynamic_buffer(
     std::basic_string<Elem, Traits, Allocator>& data,
-    std::size_t max_size) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size) noexcept
 {
   return dynamic_string_buffer<Elem, Traits, Allocator>(data, max_size);
 }
@@ -2301,7 +2219,7 @@ dynamic_string_buffer<Elem, Traits, Allocator> dynamic_buffer(
 template <typename Elem, typename Allocator>
 BOOST_ASIO_NODISCARD inline
 dynamic_vector_buffer<Elem, Allocator> dynamic_buffer(
-    std::vector<Elem, Allocator>& data) BOOST_ASIO_NOEXCEPT
+    std::vector<Elem, Allocator>& data) noexcept
 {
   return dynamic_vector_buffer<Elem, Allocator>(data);
 }
@@ -2314,7 +2232,7 @@ template <typename Elem, typename Allocator>
 BOOST_ASIO_NODISCARD inline
 dynamic_vector_buffer<Elem, Allocator> dynamic_buffer(
     std::vector<Elem, Allocator>& data,
-    std::size_t max_size) BOOST_ASIO_NOEXCEPT
+    std::size_t max_size) noexcept
 {
   return dynamic_vector_buffer<Elem, Allocator>(data, max_size);
 }
@@ -2366,7 +2284,7 @@ inline std::size_t buffer_copy_1(const mutable_buffer& target,
 template <typename TargetIterator, typename SourceIterator>
 inline std::size_t buffer_copy(one_buffer, one_buffer,
     TargetIterator target_begin, TargetIterator,
-    SourceIterator source_begin, SourceIterator) BOOST_ASIO_NOEXCEPT
+    SourceIterator source_begin, SourceIterator) noexcept
 {
   return (buffer_copy_1)(*target_begin, *source_begin);
 }
@@ -2375,7 +2293,7 @@ template <typename TargetIterator, typename SourceIterator>
 inline std::size_t buffer_copy(one_buffer, one_buffer,
     TargetIterator target_begin, TargetIterator,
     SourceIterator source_begin, SourceIterator,
-    std::size_t max_bytes_to_copy) BOOST_ASIO_NOEXCEPT
+    std::size_t max_bytes_to_copy) noexcept
 {
   return (buffer_copy_1)(*target_begin,
       boost::asio::buffer(*source_begin, max_bytes_to_copy));
@@ -2386,7 +2304,7 @@ std::size_t buffer_copy(one_buffer, multiple_buffers,
     TargetIterator target_begin, TargetIterator,
     SourceIterator source_begin, SourceIterator source_end,
     std::size_t max_bytes_to_copy
-      = (std::numeric_limits<std::size_t>::max)()) BOOST_ASIO_NOEXCEPT
+      = (std::numeric_limits<std::size_t>::max)()) noexcept
 {
   std::size_t total_bytes_copied = 0;
   SourceIterator source_iter = source_begin;
@@ -2409,7 +2327,7 @@ std::size_t buffer_copy(multiple_buffers, one_buffer,
     TargetIterator target_begin, TargetIterator target_end,
     SourceIterator source_begin, SourceIterator,
     std::size_t max_bytes_to_copy
-      = (std::numeric_limits<std::size_t>::max)()) BOOST_ASIO_NOEXCEPT
+      = (std::numeric_limits<std::size_t>::max)()) noexcept
 {
   std::size_t total_bytes_copied = 0;
   TargetIterator target_iter = target_begin;
@@ -2430,7 +2348,7 @@ std::size_t buffer_copy(multiple_buffers, one_buffer,
 template <typename TargetIterator, typename SourceIterator>
 std::size_t buffer_copy(multiple_buffers, multiple_buffers,
     TargetIterator target_begin, TargetIterator target_end,
-    SourceIterator source_begin, SourceIterator source_end) BOOST_ASIO_NOEXCEPT
+    SourceIterator source_begin, SourceIterator source_end) noexcept
 {
   std::size_t total_bytes_copied = 0;
 
@@ -2475,7 +2393,7 @@ template <typename TargetIterator, typename SourceIterator>
 std::size_t buffer_copy(multiple_buffers, multiple_buffers,
     TargetIterator target_begin, TargetIterator target_end,
     SourceIterator source_begin, SourceIterator source_end,
-    std::size_t max_bytes_to_copy) BOOST_ASIO_NOEXCEPT
+    std::size_t max_bytes_to_copy) noexcept
 {
   std::size_t total_bytes_copied = 0;
 
@@ -2542,7 +2460,7 @@ std::size_t buffer_copy(multiple_buffers, multiple_buffers,
  */
 template <typename MutableBufferSequence, typename ConstBufferSequence>
 inline std::size_t buffer_copy(const MutableBufferSequence& target,
-    const ConstBufferSequence& source) BOOST_ASIO_NOEXCEPT
+    const ConstBufferSequence& source) noexcept
 {
   return detail::buffer_copy(
       detail::buffer_sequence_cardinality<MutableBufferSequence>(),
@@ -2580,7 +2498,7 @@ inline std::size_t buffer_copy(const MutableBufferSequence& target,
 template <typename MutableBufferSequence, typename ConstBufferSequence>
 inline std::size_t buffer_copy(const MutableBufferSequence& target,
     const ConstBufferSequence& source,
-    std::size_t max_bytes_to_copy) BOOST_ASIO_NOEXCEPT
+    std::size_t max_bytes_to_copy) noexcept
 {
   return detail::buffer_copy(
       detail::buffer_sequence_cardinality<MutableBufferSequence>(),
@@ -2672,6 +2590,163 @@ struct is_dynamic_buffer
 {
 };
 
+namespace buffer_literals {
+namespace detail {
+
+template <char... Chars>
+struct chars {};
+
+template <unsigned char... Bytes>
+struct bytes {};
+
+// Literal processor that converts binary literals to an array of bytes.
+
+template <typename Bytes, char... Chars>
+struct bin_literal;
+
+template <unsigned char... Bytes>
+struct bin_literal<bytes<Bytes...>>
+{
+  static const std::size_t size = sizeof...(Bytes);
+  static const unsigned char data[sizeof...(Bytes)];
+};
+
+template <unsigned char... Bytes>
+const unsigned char bin_literal<bytes<Bytes...>>::data[sizeof...(Bytes)]
+  = { Bytes... };
+
+template <unsigned char... Bytes, char Bit7, char Bit6, char Bit5,
+    char Bit4, char Bit3, char Bit2, char Bit1, char Bit0, char... Chars>
+struct bin_literal<bytes<Bytes...>, Bit7, Bit6,
+    Bit5, Bit4, Bit3, Bit2, Bit1, Bit0, Chars...> :
+  bin_literal<
+    bytes<Bytes...,
+      static_cast<unsigned char>(
+      (Bit7 == '1' ? 0x80 : 0) |
+        (Bit6 == '1' ? 0x40 : 0) |
+        (Bit5 == '1' ? 0x20 : 0) |
+        (Bit4 == '1' ? 0x10 : 0) |
+        (Bit3 == '1' ? 0x08 : 0) |
+        (Bit2 == '1' ? 0x04 : 0) |
+        (Bit1 == '1' ? 0x02 : 0) |
+        (Bit0 == '1' ? 0x01 : 0))
+    >, Chars...> {};
+
+template <unsigned char... Bytes, char... Chars>
+struct bin_literal<bytes<Bytes...>, Chars...>
+{
+  static_assert(sizeof...(Chars) == 0,
+      "number of digits in a binary buffer literal must be a multiple of 8");
+
+  static const std::size_t size = 0;
+  static const unsigned char data[1];
+};
+
+template <unsigned char... Bytes, char... Chars>
+const unsigned char bin_literal<bytes<Bytes...>, Chars...>::data[1] = {};
+
+// Literal processor that converts hexadecimal literals to an array of bytes.
+
+template <typename Bytes, char... Chars>
+struct hex_literal;
+
+template <unsigned char... Bytes>
+struct hex_literal<bytes<Bytes...>>
+{
+  static const std::size_t size = sizeof...(Bytes);
+  static const unsigned char data[sizeof...(Bytes)];
+};
+
+template <unsigned char... Bytes>
+const unsigned char hex_literal<bytes<Bytes...>>::data[sizeof...(Bytes)]
+  = { Bytes... };
+
+template <unsigned char... Bytes, char Hi, char Lo, char... Chars>
+struct hex_literal<bytes<Bytes...>, Hi, Lo, Chars...> :
+  hex_literal<
+    bytes<Bytes...,
+      static_cast<unsigned char>(
+        Lo >= 'A' && Lo <= 'F' ? Lo - 'A' + 10 :
+          (Lo >= 'a' && Lo <= 'f' ? Lo - 'a' + 10 : Lo - '0')) |
+      ((static_cast<unsigned char>(
+        Hi >= 'A' && Hi <= 'F' ? Hi - 'A' + 10 :
+          (Hi >= 'a' && Hi <= 'f' ? Hi - 'a' + 10 : Hi - '0'))) << 4)
+    >, Chars...> {};
+
+template <unsigned char... Bytes, char Char>
+struct hex_literal<bytes<Bytes...>, Char>
+{
+  static_assert(!Char,
+      "a hexadecimal buffer literal must have an even number of digits");
+
+  static const std::size_t size = 0;
+  static const unsigned char data[1];
+};
+
+template <unsigned char... Bytes, char Char>
+const unsigned char hex_literal<bytes<Bytes...>, Char>::data[1] = {};
+
+// Helper template that removes digit separators and then passes the cleaned
+// variadic pack of characters to the literal processor.
+
+template <template <typename, char...> class Literal,
+    typename Clean, char... Raw>
+struct remove_separators;
+
+template <template <typename, char...> class Literal,
+    char... Clean, char... Raw>
+struct remove_separators<Literal, chars<Clean...>, '\'', Raw...> :
+  remove_separators<Literal, chars<Clean...>, Raw...> {};
+
+template <template <typename, char...> class Literal,
+    char... Clean, char C, char... Raw>
+struct remove_separators<Literal, chars<Clean...>, C, Raw...> :
+  remove_separators<Literal, chars<Clean..., C>, Raw...> {};
+
+template <template <typename, char...> class Literal, char... Clean>
+struct remove_separators<Literal, chars<Clean...>> :
+  Literal<bytes<>, Clean...> {};
+
+// Helper template to determine the literal type based on the prefix.
+
+template <char... Chars>
+struct literal;
+
+template <char... Chars>
+struct literal<'0', 'b', Chars...> :
+  remove_separators<bin_literal, chars<>, Chars...>{};
+
+template <char... Chars>
+struct literal<'0', 'B', Chars...> :
+  remove_separators<bin_literal, chars<>, Chars...>{};
+
+template <char... Chars>
+struct literal<'0', 'x', Chars...> :
+  remove_separators<hex_literal, chars<>, Chars...>{};
+
+template <char... Chars>
+struct literal<'0', 'X', Chars...> :
+  remove_separators<hex_literal, chars<>, Chars...>{};
+
+} // namespace detail
+
+/// Literal operator for creating const_buffer objects from string literals.
+inline BOOST_ASIO_CONST_BUFFER operator"" _buf(const char* data, std::size_t n)
+{
+  return BOOST_ASIO_CONST_BUFFER(data, n);
+}
+
+/// Literal operator for creating const_buffer objects from unbounded binary or
+/// hexadecimal integer literals.
+template <char... Chars>
+inline BOOST_ASIO_CONST_BUFFER operator"" _buf()
+{
+  return BOOST_ASIO_CONST_BUFFER(
+      +detail::literal<Chars...>::data,
+      detail::literal<Chars...>::size);
+}
+
+} // namespace buffer_literals
 } // namespace asio
 } // namespace boost