Line data    Source code

       1             : //
       2             : // Copyright (c) 2019 Vinnie Falco (vinnie.falco@gmail.com)
       3             : // Copyright (c) 2022 Alan de Freitas (alandefreitas@gmail.com)
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0. (See accompanying
       6             : // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
       7             : //
       8             : // Official repository: https://github.com/boostorg/url
       9             : //
      10             : 
      11             : #ifndef BOOST_URL_URL_HPP
      12             : #define BOOST_URL_URL_HPP
      13             : 
      14             : #include <boost/url/detail/config.hpp>
      15             : #include <boost/url/url_base.hpp>
      16             : #include <boost/assert.hpp>
      17             : #include <utility>
      18             : 
      19             : namespace boost {
      20             : namespace urls {
      21             : 
      22             : /** A modifiable container for a URL.
      23             : 
      24             :     This container owns a url, represented
      25             :     by a null-terminated character buffer
      26             :     which is managed by performing dymamic
      27             :     memory allocations as needed.
      28             :     The contents may be inspected and modified,
      29             :     and the implementation maintains a useful
      30             :     invariant: changes to the url always
      31             :     leave it in a valid state.
      32             : 
      33             :     @par Exception Safety
      34             : 
      35             :     @li Functions marked `noexcept` provide the
      36             :     no-throw guarantee, otherwise:
      37             : 
      38             :     @li Functions which throw offer the strong
      39             :     exception safety guarantee.
      40             : 
      41             :     @par BNF
      42             :     @code
      43             :     URI-reference = URI / relative-ref
      44             : 
      45             :     URI           = scheme ":" hier-part [ "?" query ] [ "#" fragment ]
      46             : 
      47             :     relative-ref  = relative-part [ "?" query ] [ "#" fragment ]
      48             : 
      49             :     absolute-URI  = scheme ":" hier-part [ "?" query ]
      50             :     @endcode
      51             : 
      52             :     @par Specification
      53             :     @li <a href="https://tools.ietf.org/html/rfc3986"
      54             :         >Uniform Resource Identifier (URI): Generic Syntax (rfc3986)</a>
      55             : 
      56             :     @see
      57             :         @ref parse_absolute_uri,
      58             :         @ref parse_relative_ref,
      59             :         @ref parse_uri,
      60             :         @ref parse_uri_reference,
      61             :         @ref resolve.
      62             : */
      63        1088 : class BOOST_URL_DECL url
      64             :     : public url_base
      65             : {
      66             :     friend std::hash<url>;
      67             : 
      68             :     using url_view_base::digest;
      69             : 
      70             : public:
      71             :     //--------------------------------------------
      72             :     //
      73             :     // Special Members
      74             :     //
      75             :     //--------------------------------------------
      76             : 
      77             :     /** Destructor
      78             : 
      79             :         Any params, segments, iterators, or
      80             :         views which reference this object are
      81             :         invalidated. The underlying character
      82             :         buffer is destroyed, invalidating all
      83             :         references to it.
      84             :     */
      85             :     virtual ~url();
      86             : 
      87             :     /** Constructor
      88             : 
      89             :         Default constructed urls contain
      90             :         a zero-length string. This matches
      91             :         the grammar for a relative-ref with
      92             :         an empty path and no query or
      93             :         fragment.
      94             : 
      95             :         @par Example
      96             :         @code
      97             :         url u;
      98             :         @endcode
      99             : 
     100             :         @par Postconditions
     101             :         @code
     102             :         this->empty() == true
     103             :         @endcode
     104             : 
     105             :         @par Complexity
     106             :         Constant.
     107             : 
     108             :         @par Exception Safety
     109             :         Throws nothing.
     110             : 
     111             :         @par BNF
     112             :         @code
     113             :         relative-ref  = relative-part [ "?" query ] [ "#" fragment ]
     114             :         @endcode
     115             : 
     116             :         @par Specification
     117             :         <a href="https://datatracker.ietf.org/doc/html/rfc3986#section-4.2"
     118             :             >4.2. Relative Reference (rfc3986)</a>
     119             :     */
     120             :     url() noexcept;
     121             : 
     122             :     /** Constructor
     123             : 
     124             :         This function constructs a URL from
     125             :         the string `s`, which must contain a
     126             :         valid <em>URI</em> or <em>relative-ref</em>
     127             :         or else an exception is thrown.
     128             :         The new url retains ownership by
     129             :         allocating a copy of the passed string.
     130             : 
     131             :         @par Example
     132             :         @code
     133             :         url u( "https://www.example.com" );
     134             :         @endcode
     135             : 
     136             :         @par Effects
     137             :         @code
     138             :         return url( parse_uri_reference( s ).value() );
     139             :         @endcode
     140             : 
     141             :         @par Postconditions
     142             :         @code
     143             :         this->buffer().data() != s.data()
     144             :         @endcode
     145             : 
     146             :         @par Complexity
     147             :         Linear in `s.size()`.
     148             : 
     149             :         @par Exception Safety
     150             :         Calls to allocate may throw.
     151             :         Exceptions thrown on invalid input.
     152             : 
     153             :         @throw system_error
     154             :         The input does not contain a valid url.
     155             : 
     156             :         @param s The string to parse.
     157             : 
     158             :         @par BNF
     159             :         @code
     160             :         URI           = scheme ":" hier-part [ "?" query ] [ "#" fragment ]
     161             : 
     162             :         relative-ref  = relative-part [ "?" query ] [ "#" fragment ]
     163             :         @endcode
     164             : 
     165             :         @par Specification
     166             :         @li <a href="https://datatracker.ietf.org/doc/html/rfc3986#section-4.1"
     167             :             >4.1. URI Reference</a>
     168             :     */
     169             :     explicit
     170             :     url(core::string_view s);
     171             : 
     172             :     /** Constructor
     173             : 
     174             :         The contents of `u` are transferred
     175             :         to the newly constructed object,
     176             :         which includes the underlying
     177             :         character buffer.
     178             :         After construction, the moved-from
     179             :         object is as if default constructed.
     180             : 
     181             :         @par Postconditions
     182             :         @code
     183             :         u.empty() == true
     184             :         @endcode
     185             : 
     186             :         @par Complexity
     187             :         Constant.
     188             : 
     189             :         @par Exception Safety
     190             :         Throws nothing.
     191             : 
     192             :         @param u The url to move from.
     193             :     */
     194             :     url(url&& u) noexcept;
     195             : 
     196             :     /** Constructor
     197             : 
     198             :         The newly constructed object
     199             :         contains a copy of `u`.
     200             : 
     201             :         @par Postconditions
     202             :         @code
     203             :         this->buffer() == u.buffer() && this->buffer().data() != u.buffer().data()
     204             :         @endcode
     205             : 
     206             :         @par Complexity
     207             :         Linear in `u.size()`.
     208             : 
     209             :         @par Exception Safety
     210             :         Strong guarantee.
     211             :         Calls to allocate may throw.
     212             : 
     213             :         @throw std::length_error `u.size() > max_size()`.
     214             : 
     215             :         @param u The url to copy.
     216             :     */
     217        2938 :     url(url_view_base const& u)
     218        2938 :     {
     219        2938 :         copy(u);
     220        2938 :     }
     221             : 
     222             :     /** Constructor
     223             : 
     224             :         The newly constructed object
     225             :         contains a copy of `u`.
     226             : 
     227             :         @par Postconditions
     228             :         @code
     229             :         this->buffer() == u.buffer() && this->buffer().data() != u.buffer().data()
     230             :         @endcode
     231             : 
     232             :         @par Complexity
     233             :         Linear in `u.size()`.
     234             : 
     235             :         @par Exception Safety
     236             :         Strong guarantee.
     237             :         Calls to allocate may throw.
     238             : 
     239             :         @throw std::length_error `u.size() > max_size()`.
     240             : 
     241             :         @param u The url to copy.
     242             :     */
     243         257 :     url(url const& u)
     244         257 :         : url(static_cast<
     245         257 :             url_view_base const&>(u))
     246             :     {
     247         257 :     }
     248             : 
     249             :     /** Assignment
     250             : 
     251             :         The contents of `u` are transferred to
     252             :         `this`, including the underlying
     253             :         character buffer. The previous contents
     254             :         of `this` are destroyed.
     255             :         After assignment, the moved-from
     256             :         object is as if default constructed.
     257             : 
     258             :         @par Postconditions
     259             :         @code
     260             :         u.empty() == true
     261             :         @endcode
     262             : 
     263             :         @par Complexity
     264             :         Constant.
     265             : 
     266             :         @par Exception Safety
     267             :         Throws nothing.
     268             : 
     269             :         @param u The url to assign from.
     270             :     */
     271             :     url&
     272             :     operator=(url&& u) noexcept;
     273             : 
     274             :     /** Assignment
     275             : 
     276             :         The contents of `u` are copied and
     277             :         the previous contents of `this` are
     278             :         destroyed.
     279             :         Capacity is preserved, or increases.
     280             : 
     281             :         @par Postconditions
     282             :         @code
     283             :         this->buffer() == u.buffer() && this->buffer().data() != u.buffer().data()
     284             :         @endcode
     285             : 
     286             :         @par Complexity
     287             :         Linear in `u.size()`.
     288             : 
     289             :         @par Exception Safety
     290             :         Strong guarantee.
     291             :         Calls to allocate may throw.
     292             : 
     293             :         @throw std::length_error `u.size() > max_size()`.
     294             : 
     295             :         @param u The url to copy.
     296             :     */
     297             :     url&
     298          99 :     operator=(
     299             :         url_view_base const& u)
     300             :     {
     301          99 :         copy(u);
     302          99 :         return *this;
     303             :     }
     304             : 
     305             :     /** Assignment
     306             : 
     307             :         The contents of `u` are copied and
     308             :         the previous contents of `this` are
     309             :         destroyed.
     310             :         Capacity is preserved, or increases.
     311             : 
     312             :         @par Postconditions
     313             :         @code
     314             :         this->buffer() == u.buffer() && this->buffer().data() != u.buffer().data()
     315             :         @endcode
     316             : 
     317             :         @par Complexity
     318             :         Linear in `u.size()`.
     319             : 
     320             :         @par Exception Safety
     321             :         Strong guarantee.
     322             :         Calls to allocate may throw.
     323             : 
     324             :         @param u The url to copy.
     325             :     */
     326             :     url&
     327           1 :     operator=(url const& u)
     328             :     {
     329             :         return (*this)=static_cast<
     330           1 :             url_view_base const&>(u);
     331             :     }
     332             : 
     333             :     //--------------------------------------------
     334             : 
     335             :     /** Swap the contents.
     336             : 
     337             :         Exchanges the contents of this url with another
     338             :         url. All views, iterators and references remain valid.
     339             : 
     340             :         If `this == &other`, this function call has no effect.
     341             : 
     342             :         @par Example
     343             :         @code
     344             :         url u1( "https://www.example.com" );
     345             :         url u2( "https://www.boost.org" );
     346             :         u1.swap(u2);
     347             :         assert(u1 == "https://www.boost.org" );
     348             :         assert(u2 == "https://www.example.com" );
     349             :         @endcode
     350             : 
     351             :         @par Complexity
     352             :         Constant
     353             : 
     354             :         @par Exception Safety
     355             :         Throws nothing.
     356             : 
     357             :         @param other The object to swap with
     358             : 
     359             :     */
     360             :     void
     361             :     swap(url& other) noexcept;
     362             : 
     363             :     /** Swap
     364             : 
     365             :         Exchanges the contents of `v0` with another `v1`.
     366             :         All views, iterators and references remain
     367             :         valid.
     368             : 
     369             :         If `&v0 == &v1`, this function call has no effect.
     370             : 
     371             :         @par Example
     372             :         @code
     373             :         url u1( "https://www.example.com" );
     374             :         url u2( "https://www.boost.org" );
     375             :         std::swap(u1, u2);
     376             :         assert(u1 == "https://www.boost.org" );
     377             :         assert(u2 == "https://www.example.com" );
     378             :         @endcode
     379             : 
     380             :         @par Effects
     381             :         @code
     382             :         v0.swap( v1 );
     383             :         @endcode
     384             : 
     385             :         @par Complexity
     386             :         Constant
     387             : 
     388             :         @par Exception Safety
     389             :         Throws nothing
     390             : 
     391             :         @param v0, v1 The objects to swap
     392             : 
     393             :         @see
     394             :             @ref url::swap
     395             :     */
     396             :     friend
     397             :     void
     398           2 :     swap(url& v0, url& v1) noexcept
     399             :     {
     400           2 :         v0.swap(v1);
     401           2 :     }
     402             : 
     403             :     //--------------------------------------------
     404             :     //
     405             :     // fluent api
     406             :     //
     407             : 
     408             :     /// @copydoc url_base::set_scheme
     409          51 :     url& set_scheme(core::string_view s) { url_base::set_scheme(s); return *this; }
     410             :     /// @copydoc url_base::set_scheme_id
     411          11 :     url& set_scheme_id(urls::scheme id) { url_base::set_scheme_id(id); return *this; }
     412             :     /// @copydoc url_base::remove_scheme
     413          21 :     url& remove_scheme() { url_base::remove_scheme(); return *this; }
     414             : 
     415             :     /// @copydoc url_base::set_encoded_authority
     416          41 :     url& set_encoded_authority(pct_string_view s) { url_base::set_encoded_authority(s); return *this; }
     417             :     /// @copydoc url_base::remove_authority
     418          43 :     url& remove_authority() { url_base::remove_authority(); return *this; }
     419             : 
     420             :     /// @copydoc url_base::set_userinfo
     421          45 :     url& set_userinfo(core::string_view s) { url_base::set_userinfo(s); return *this; }
     422             :     /// @copydoc url_base::set_encoded_userinfo
     423          51 :     url& set_encoded_userinfo(pct_string_view s) { url_base::set_encoded_userinfo(s); return *this; }
     424             :     /// @copydoc url_base::remove_userinfo
     425          22 :     url& remove_userinfo() noexcept { url_base::remove_userinfo(); return *this; }
     426             :     /// @copydoc url_base::set_user
     427           1 :     url& set_user(core::string_view s) { url_base::set_user(s); return *this; }
     428             :     /// @copydoc url_base::set_encoded_user
     429          17 :     url& set_encoded_user(pct_string_view s) { url_base::set_encoded_user(s); return *this; }
     430             :     /// @copydoc url_base::set_password
     431          35 :     url& set_password(core::string_view s) { url_base::set_password(s); return *this; }
     432             :     /// @copydoc url_base::set_encoded_password
     433          38 :     url& set_encoded_password(pct_string_view s) { url_base::set_encoded_password(s); return *this; }
     434             :     /// @copydoc url_base::remove_password
     435          19 :     url& remove_password() noexcept { url_base::remove_password(); return *this; }
     436             : 
     437             :     /// @copydoc url_base::set_host
     438          12 :     url& set_host(core::string_view s) { url_base::set_host(s); return *this; }
     439             :     /// @copydoc url_base::set_encoded_host
     440         114 :     url& set_encoded_host(pct_string_view s) { url_base::set_encoded_host(s); return *this; }
     441             :     /// @copydoc url_base::set_host_address
     442           9 :     url& set_host_address(core::string_view s) { url_base::set_host_address(s); return *this; }
     443             :     /// @copydoc url_base::set_encoded_host_address
     444           7 :     url& set_encoded_host_address(pct_string_view s) { url_base::set_encoded_host_address(s); return *this; }
     445             :     /// @copydoc url_base::set_host_ipv4
     446           4 :     url& set_host_ipv4(ipv4_address const& addr) { url_base::set_host_ipv4(addr); return *this; }
     447             :     /// @copydoc url_base::set_host_ipv6
     448           2 :     url& set_host_ipv6(ipv6_address const& addr) { url_base::set_host_ipv6(addr); return *this; }
     449             :     /// @copydoc url_base::set_host_ipvfuture
     450           3 :     url& set_host_ipvfuture(core::string_view s) { url_base::set_host_ipvfuture(s); return *this; }
     451             :     /// @copydoc url_base::set_host_name
     452           4 :     url& set_host_name(core::string_view s) { url_base::set_host_name(s); return *this; }
     453             :     /// @copydoc url_base::set_encoded_host_name
     454           4 :     url& set_encoded_host_name(pct_string_view s) { url_base::set_encoded_host_name(s); return *this; }
     455             :     /// @copydoc url_base::set_port_number
     456          23 :     url& set_port_number(std::uint16_t n) { url_base::set_port_number(n); return *this; }
     457             :     /// @copydoc url_base::set_port
     458          89 :     url& set_port(core::string_view s) { url_base::set_port(s); return *this; }
     459             :     /// @copydoc url_base::remove_port
     460          25 :     url& remove_port() noexcept { url_base::remove_port(); return *this; }
     461             : 
     462             :     /// @copydoc url_base::set_path_absolute
     463             :     //bool set_path_absolute(bool absolute);
     464             :     /// @copydoc url_base::set_path
     465          23 :     url& set_path(core::string_view s) { url_base::set_path(s); return *this; }
     466             :     /// @copydoc url_base::set_encoded_path
     467          57 :     url& set_encoded_path(pct_string_view s) { url_base::set_encoded_path(s); return *this; }
     468             : 
     469             :     /// @copydoc url_base::set_query
     470           9 :     url& set_query(core::string_view s) { url_base::set_query(s); return *this; }
     471             :     /// @copydoc url_base::set_encoded_query
     472          18 :     url& set_encoded_query(pct_string_view s) { url_base::set_encoded_query(s); return *this; }
     473             :     /// @copydoc url_base::set_params
     474           1 :     url& set_params(std::initializer_list<param_view> ps) { url_base::set_params(ps); return *this; }
     475             :     /// @copydoc url_base::set_encoded_params
     476           1 :     url& set_encoded_params(std::initializer_list< param_pct_view > ps) { url_base::set_encoded_params(ps); return *this; }
     477             :     /// @copydoc url_base::remove_query
     478           6 :     url& remove_query() noexcept { url_base::remove_query(); return *this; }
     479             : 
     480             :     /// @copydoc url_base::remove_fragment
     481           4 :     url& remove_fragment() noexcept { url_base::remove_fragment(); return *this; }
     482             :     /// @copydoc url_base::set_fragment
     483           5 :     url& set_fragment(core::string_view s) { url_base::set_fragment(s); return *this; }
     484             :     /// @copydoc url_base::set_encoded_fragment
     485          21 :     url& set_encoded_fragment(pct_string_view s) { url_base::set_encoded_fragment(s); return *this; }
     486             : 
     487             :     /// @copydoc url_base::remove_origin
     488          14 :     url& remove_origin() { url_base::remove_origin(); return *this; }
     489             : 
     490             :     /// @copydoc url_base::normalize
     491          36 :     url& normalize() { url_base::normalize(); return *this; }
     492             :     /// @copydoc url_base::normalize_scheme
     493           2 :     url& normalize_scheme() { url_base::normalize_scheme(); return *this; }
     494             :     /// @copydoc url_base::normalize_authority
     495         347 :     url& normalize_authority() { url_base::normalize_authority(); return *this; }
     496             :     /// @copydoc url_base::normalize_path
     497         367 :     url& normalize_path() { url_base::normalize_path(); return *this; }
     498             :     /// @copydoc url_base::normalize_query
     499             :     url& normalize_query() { url_base::normalize_query(); return *this; }
     500             :     /// @copydoc url_base::normalize_fragment
     501             :     url& normalize_fragment() { url_base::normalize_fragment(); return *this; }
     502             : 
     503             :     //--------------------------------------------
     504             : 
     505             : private:
     506             :     char* allocate(std::size_t);
     507             :     void deallocate(char* s);
     508             : 
     509             :     void clear_impl() noexcept override;
     510             :     void reserve_impl(std::size_t, op_t&) override;
     511             :     void cleanup(op_t&) override;
     512             : };
     513             : 
     514             : } // urls
     515             : } // boost
     516             : 
     517             : //------------------------------------------------
     518             : 
     519             : // std::hash specialization
     520             : #ifndef BOOST_URL_DOCS
     521             : namespace std {
     522             : template<>
     523             : struct hash< ::boost::urls::url >
     524             : {
     525             :     hash() = default;
     526             :     hash(hash const&) = default;
     527             :     hash& operator=(hash const&) = default;
     528             : 
     529             :     explicit
     530             :     hash(std::size_t salt) noexcept
     531             :         : salt_(salt)
     532             :     {
     533             :     }
     534             : 
     535             :     std::size_t
     536             :     operator()(::boost::urls::url const& u) const noexcept
     537             :     {
     538             :         return u.digest(salt_);
     539             :     }
     540             : 
     541             : private:
     542             :     std::size_t salt_ = 0;
     543             : };
     544             : } // std
     545             : #endif
     546             : 
     547             : #endif