Method write_characters

Source/Utils/json.hpp:12657–12660

            JSON_HEDLEY_NON_NULL(2)
                void write_characters(const CharType* s, std::size_t length) override
            {
                std::copy(s, s + length, std::back_inserter(v));
            }

        private:
            std::vector<CharType>& v;