Function replace_substring

Source/Utils/json.hpp:12349–12359

! @brief replace all occurrences of a substring by another string @param[in,out] s the string to manipulate; changed so that all occurrences of @a f are replaced with @a t @param[in] f the substring to replace with @a t @param[in] t the string to replace @a f @pre The search string @a f must not be empty. **This preconditi

        @since version 2.0.0
        */
        static void replace_substring(std::string& s, const std::string& f,
            const std::string& t)
        {
            JSON_ASSERT(!f.empty());
            for (auto pos = s.find(f);                // find first occurrence of f
                pos != std::string::npos;         // make sure f was found
                s.replace(pos, f.size(), t),      // replace with t, and
                pos = s.find(f, pos + t.size()))  // find next occurrence of f
            {
            }
        }

        /// escape "~" to "~0" and "/" to "~1"
        static std::string escape(std::string s)