修改skiplist，限制为侵入式数据结构

STL/basical/type_checking.h

@@ -11,4 +11,16 @@ namespace nanxing_extend
 
     template<typename T>
     struct compare_admit<T,void_t<decltype(std::declval<T>()<std::declval<T>())>>:std::true_type{};
+
+
+
+
+
+    //不允许某种操作
+
+    template<typename T,typename V=void>
+    struct point_forbid:std::true_type{};
+
+    template<typename T>
+    struct point_forbid<T,void_t<decltype(*(std::declval<T>()))>>:std::false_type{};
 }

STL/extend/filter.h

@@ -5,9 +5,18 @@ namespace nanxing_extend
     //但是但是相信我不会有God class
     class FilterPolicy
     {
-
+    private:
+        FilterPolicy& operator=(FilterPolicy const&)=delete;
+        FilterPolicy(FilterPolicy const&)=delete;       
+    public:
+        //限制当主动生成一个工厂类后，不管怎么赋值，最后只有一个工厂
+        //move-only    
+        FilterPolicy(){};
+        FilterPolicy(FilterPolicy&&){};           
+
+        //两个工厂函数用于生成不同的过滤器    
         FilterPolicy* creat_Bloomfilter();
-        FilterPolicy* creat_Cuckoofilter();      //两个工厂函数用于生成不同的过滤器
+        FilterPolicy* creat_Cuckoofilter();      
     };
 
     class bloomfilter:public FilterPolicy

STL/extend/skiplist.h

@@ -10,6 +10,7 @@
 
 namespace nanxing_extend
 {
+    //限定为侵入式链表结构，因为这样方便空间的控制，可以直接在节点类中析构全部的空间
     static int count=0;
     //错误处理机制
     class nextpoint_new:std::exception             //skip_node分配空间失败的时候
@@ -46,7 +47,8 @@ namespace nanxing_extend
         too_small,
     #endif
         fault,
-        exit
+        exit,
+        empty,
 
     };
 
@@ -56,6 +58,7 @@ namespace nanxing_extend
     {
         static_assert(nanxing_extend::compare_admit<K>::value,"the type of K is error");
         static_assert(nanxing_extend::compare_admit<V>::value,"the type of V is error");
+        static_assert(nanxing_extend:point_forbid<V>::value,"the type of V cannot be point");              //限定为侵入式数据结构
         skip_node<K,V>** next_node; 
         V value;
         K key;
@@ -84,6 +87,7 @@ namespace nanxing_extend
     {
         static_assert(nanxing_extend::compare_admit<K>::value,"the type of K is error");
         static_assert(nanxing_extend::compare_admit<V>::value,"the type of V is error");
+        static_assert(nanxing_extend:point_forbid<V>::value,"the type of V cannot be point");              //限定为侵入式数据结构
     private:
         using Node=skip_node<K,V>;
         using ptr=Node*;
@@ -145,10 +149,8 @@ namespace nanxing_extend
                 throw newNode_error();
             }
         }
-    #endif
-
-        [[nodiscard]]                            //这个返回值最好不要忽略否则很有可能会出现内存泄漏
-        auto insert(K _key,V _value)->std::variant<Skip_result,V>              //如果相同的时候我们考虑将value返回因为value很可能会是一个指针，需要手动清空内存
+    #endif                       
+        auto insert(K _key,V _value)->std::variant<Skip_result,V>              //如果相同的时候我们考虑将value返回，由于限制为侵入式链表因此实际上不会内存泄露
         {
         #ifdef NANXING_THREAD_
             std::lock_guard<std::shared_mutex> lock(RW_lock);             
@@ -224,7 +226,12 @@ namespace nanxing_extend
         [[nodiscard]]
         auto Delete_node(K _key)noexcept ->std::variant<Skip_result,V>            //由于V由泛型决定可能是一个指针，因此直接将这个类型返回交由用户自主处理
         {
-
+            std::variant<Skip_result,V> sk;
+            if(current_size==0)
+            {
+                std:cerr<<"The skiplist is empty"<<std::endl;
+                return sk=Skip_result::empty;
+            }
         }
 
         [[nodiscard]]                    
@@ -346,14 +353,8 @@ namespace nanxing_extend
             }
             std::cout<<"insert successful"<<std::endl;
         }
-
-    #endif
-
-    
-    
+    #endif  
     };
-
-
 }
 
 

test.cpp

@@ -12,6 +12,6 @@ int fun(int a,int b)
 
 int main()
 {
-    newbloom();
+
 
 }