option to check duplicate object keys

include/boost/json/detail/handler.hpp

@@ -35,6 +35,7 @@ struct handler
         max_string_size = string::max_size();
 
     value_stack st;
+    bool ignore_duplicate_keys = true;
 
     template<class... Args>
     explicit

include/boost/json/detail/impl/handler.ipp

@@ -51,10 +51,10 @@ bool
 handler::
 on_object_end(
     std::size_t n,
-    error_code&)
+    error_code& ec)
 {
-    st.push_object(n);
-    return true;
+    ec = st.push_object(n, ignore_duplicate_keys);
+    return !ec.failed();
 }
 
 bool
@@ -85,7 +85,7 @@ on_key_part(
     st.push_chars(s);
     return true;
 }
-        
+
 bool
 handler::
 on_key(
@@ -96,12 +96,12 @@ on_key(
     st.push_key(s);
     return true;
 }
-        
+
 bool
 handler::
 on_string_part(
     string_view s,
-    std::size_t, 
+    std::size_t,
     error_code&)
 {
     st.push_chars(s);
@@ -112,7 +112,7 @@ bool
 handler::
 on_string(
     string_view s,
-    std::size_t, 
+    std::size_t,
     error_code&)
 {
     st.push_string(s);
@@ -138,7 +138,7 @@ on_int64(
     st.push_int64(i);
     return true;
 }
-        
+
 bool
 handler::
 on_uint64(
@@ -160,7 +160,7 @@ on_double(
     st.push_double(d);
     return true;
 }
-        
+
 bool
 handler::
 on_bool(
@@ -187,7 +187,7 @@ on_comment_part(
 {
     return true;
 }
-        
+
 bool
 handler::
 on_comment(

include/boost/json/detail/object.hpp

@@ -28,30 +28,29 @@ class unchecked_object
     // first one is a string key,
     // second one is the value.
     value* data_;
-    std::size_t size_;
+    value* end_;
     storage_ptr const& sp_;
+    bool ignore_duplicates_;
 
 public:
     inline
     ~unchecked_object();
 
+    inline
     unchecked_object(
         value* data,
         std::size_t size, // # of kv-pairs
-        storage_ptr const& sp) noexcept
-        : data_(data)
-        , size_(size)
-        , sp_(sp)
-    {
-    }
+        storage_ptr const& sp,
+        bool ignore_duplicates) noexcept;
 
     unchecked_object(
         unchecked_object&& other) noexcept
         : data_(other.data_)
-        , size_(other.size_)
+        , end_(other.end_)
         , sp_(other.sp_)
+        , ignore_duplicates_(other.ignore_duplicates_)
     {
-        other.data_ = nullptr;
+        other.data_ = other.end_ = nullptr;
     }
 
     storage_ptr const&
@@ -60,19 +59,25 @@ class unchecked_object
         return sp_;
     }
 
+    inline
     std::size_t
-    size() const noexcept
+    size() const noexcept;
+
+    bool
+    ignore_duplicate_keys() const noexcept
     {
-        return size_;
+        return ignore_duplicates_;
     }
 
     value*
-    release() noexcept
+    front() noexcept
     {
-        auto const data = data_;
-        data_ = nullptr;
-        return data;
+        return data_;
     }
+
+    inline
+    void
+    pop_front() noexcept;
 };
 
 template<class CharRange>
@@ -88,6 +93,9 @@ find_in_object<string_view>(
     object const&,
     string_view key) noexcept;
 
+template< bool SmallTable, bool IgnoreDuplicates >
+void init_from_unchecked( object& obj, unchecked_object& uo );
+
 } // detail
 BOOST_JSON_NS_END
 

include/boost/json/error.hpp

@@ -66,6 +66,9 @@ enum class error
     /// error occured when trying to read input
     input_error,
 
+    /// duplicate object key
+    duplicate_key,
+
     //
     // generic errors
     //

include/boost/json/impl/error.ipp

@@ -45,6 +45,7 @@ case error::array_too_large: return "array too large";
 case error::key_too_large: return "key too large";
 case error::string_too_large: return "string too large";
 case error::input_error: return "input error";
+case error::duplicate_key: return "duplicate key";
 
 case error::exception: return "got exception";
 case error::test_failure: return "test failure";
@@ -93,6 +94,7 @@ case error::array_too_large:
 case error::key_too_large:
 case error::string_too_large:
 case error::input_error:
+case error::duplicate_key:
     return condition::parse_error;
 
 case error::missing_slash:

include/boost/json/impl/object.hpp

@@ -518,19 +518,43 @@ namespace detail {
 unchecked_object::
 ~unchecked_object()
 {
-    if(! data_)
-        return;
     if(sp_.is_not_shared_and_deallocate_is_trivial())
         return;
-    value* p = data_;
-    while(size_--)
+
+    for( value* p = data_; p != end_; p += 2 )
     {
         p[0].~value();
         p[1].~value();
-        p += 2;
     }
 }
 
+unchecked_object::
+unchecked_object(
+    value* data,
+    std::size_t size,
+    storage_ptr const& sp,
+    bool ignore_duplicates) noexcept
+    : data_(data)
+    , end_(data + 2 * size)
+    , sp_(sp)
+    , ignore_duplicates_(ignore_duplicates)
+{
+}
+
+std::size_t
+unchecked_object::
+size() const noexcept
+{
+    return std::size_t(end_ - data_) / 2;
+}
+
+void
+unchecked_object::
+pop_front() noexcept
+{
+    data_ += 2;
+}
+
 } // detail
 
 BOOST_JSON_NS_END