Implement LWG#2436: 'Comparators for associative containers should always be CopyConstructible'

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@274235 91177308-0d34-0410-b5e6-96231b3b80d8
2016-06-30 15:11:53 +00:00
parent 3e9545e035
commit 0c99f18af4
15 changed files with 355 additions and 1 deletions
--- a/include/__hash_table
+++ b/include/__hash_table
@@ -938,6 +938,10 @@ private:
    typedef allocator_traits<__node_base_allocator> __node_base_traits;
    static_assert((is_same<__node_base_pointer, typename __node_base_traits::pointer>::value),
                 "Allocator does not rebind pointers in a sane manner.");
+    static_assert((is_copy_constructible<key_equal>::value),
+                 "Predicate must be copy-constructible.");
+    static_assert((is_copy_constructible<hasher>::value),
+                 "Hasher must be copy-constructible.");

 private: