C++11 标准库头文件模拟实现

2024-06-23 22:12

本文主要是介绍C++11 标准库头文件模拟实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

系列文章目录


文章目录

  • 系列文章目录
  • 前言
  • ● 智能指针模板
  • ● Vector
    • 1. 简单版本
    • 2. X
  • 总结


前言

暂不考虑支持多线程
常用STL的简单实现,主要内容百行左右完成,意在理解STL的原理


● 智能指针模板

SharedPtr

在这里插入图片描述

#include <assert.h>
#include <atomic>template <class T>
class SharedPtr
{
public:typedef T element_type;explicit SharedPtr(T* ptr = nullptr) : m_ref(nullptr){if (ptr)  m_ref = new reftype(ptr);}template <class Deleter>explicit SharedPtr(T* ptr, Deleter d) : m_ref(nullptr){if (ptr) m_ref = new reftye_with_deleter<Deleter>(ptr, d);}SharedPtr(const SharedPtr& tocopy){Acquire(tocopy.m_ref);}~SharedPtr(){Release();}SharedPtr& operator=(const SharedPtr& tocopy){if (this != &tocopy){Release();Acquire(tocopy.m_ref);}return *this;}SharedPtr& operator=(T* ptr){if (get() != ptr){Release();if (ptr) m_ref = new reftype(ptr);}return *this;}T* get() const{return m_ref ? m_ref->m_ptr : nullptr;}void reset(T* ptr = nullptr){Release();if (ptr) m_ref = new reftype(ptr);}template <class Deleter>void reset(T* ptr, Deleter d){Release();if (ptr) m_ref = new reftye_with_deleter<Deleter>(ptr, d);}bool unique() const { return m_ref ? m_ref->m_count == 1 : true; }long use_count() const { return m_ref ? m_ref->m_count.load() : 0; }// test for pointer validity: defining conversion to unspecified_bool_type// and not more obvious bool to avoid implicit conversions to integer typestypedef T*(SharedPtr<T>::*unspecified_bool_type)() const;operator unspecified_bool_type() const{if (m_ref && m_ref->m_ptr) return &SharedPtr<T>::get;else nullptr;}T& operator*() const{assert(m_ref && m_ref->m_ptr);return *( m_ref->m_ptr);}T* operator->() const{assert(m_ref && m_ref->m_ptr);return m_ref->m_ptr;}private:struct reftype{reftype(T* ptr) : m_ptr(ptr), m_count(1) {}virtual ~reftype() {}virtual void delete_ptr() { delete m_ptr; }T*              m_ptr;std::atomic_int m_count;};template <class Deleter>struct reftye_with_deleter: public reftype{reftye_with_deleter(T* ptr, Deleter d) : reftype(ptr), m_deleter(d) {}virtual void delete_ptr() override{m_deleter(this->m_ptr);}Deleter m_deleter;};reftype* m_ref;void Acquire(reftype* ref){m_ref = ref;if (ref) ref->m_count.fetch_add(1);}void Release(){if (m_ref){if (! --m_ref->m_count ){m_ref->delete_ptr();delete m_ref;}m_ref = nullptr;}}
};template <class T, class U>
bool operator==(const SharedPtr<T>& a, const SharedPtr<U>& b)
{return a.get() == b.get();
}
template <class T, class U>
bool operator!=(const SharedPtr<T>& a, const SharedPtr<U>& b)
{return a.get() != b.get();
}//------------------------------------------------------------------------------
#include <iostream>
#include <stdio.h>
class TestSt
{
public:char buf[1024];char bux[4096];
public:TestSt() { printf("   const %p\n", this);};~TestSt(){printf("~TestSt: %p\n", this);}
};int main()
{std::atomic_int at;SharedPtr<TestSt> p_st(new TestSt());SharedPtr<TestSt> p_st2(p_st);SharedPtr<TestSt> p_st3(new TestSt());p_st3 = p_st2;std::cout << p_st.use_count() << " " << p_st2.use_count() << " " << p_st3.use_count() << " " <<  std::endl;}

● Vector

auto p = new T[N]; 申请空间,为每个元素p[i]调用T的构造函数
delete[] p; 先为每个元素调用析构函数,释放空间

1. 简单版本

在这里插入图片描述

new (m_values+i) T(val); 和 m_values[i] = val并不等价
当value_type包含虚函数时后者不能正确处理虚函数表指针,而前者却可以。这或许也是C和C++不兼容的证据?
在这里插入图片描述
如图所示,new (m_values+i) T(val)可以正确处理虚表指针,而m_values[i] = val的_vptr.TestSt = 0x0

#include <stdlib.h>
#include <algorithm>template <class T>
class Vector
{
private:T* m_values;size_t m_size, m_capacity;public:typedef T value_type;typedef T* iterator;Vector(): m_values(nullptr), m_size(0), m_capacity(0) {}~Vector(){for (size_t i = 0; i < m_size; i++){m_values[i].~T();}free(m_values);m_values = nullptr;m_size = m_capacity = 0;}Vector(size_t n, const T& val): m_values(nullptr), m_size(n),m_capacity(n){m_values =  (T*)malloc(sizeof(T) * m_capacity);for (size_t i = 0; i < n; i++){new (m_values+i) T(val);}}Vector(const Vector<T>& tocopy){m_values =  (T*)malloc(sizeof(T) * tocopy.m_capacity);m_size = tocopy.m_size;m_capacity = tocopy.m_capacity;for (size_t i = 0; i < m_size; i++){new (m_values+i) T(tocopy.m_values[i]);}}Vector<T>& operator=(const Vector<T>& tocopy){if (&tocopy == this) return *this;Vector<T> tmp(tocopy);std::swap(m_values, tmp.m_values);std::swap(m_size, tmp.m_size);std::swap(m_capacity, tmp.m_capacity);return *this;}value_type& operator[](size_t idx){return m_values[idx];}void push_back(const T& val){if (m_size + 1 > m_capacity){m_capacity = m_capacity ? 2*m_capacity : 1;T* tmp = (T*)malloc(sizeof(T) * m_capacity);for (size_t i = 0; i < m_size; i++){new (tmp+i) T(m_values[i]);m_values[i].~T();}free(m_values);m_values = tmp;}new (m_values+m_size) T(val);++m_size;}void pop_back(){--m_size;m_values[m_size].~T();}void clear(){for (size_t i = 0; i < m_size; i++){m_values[i].~T();}m_size = 0;}size_t size() { return m_size; }iterator begin(){return m_values;}iterator end(){return m_values + m_size;}
};

2. X


总结

这篇关于C++11 标准库头文件模拟实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1088420

相关文章

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

【Prometheus】PromQL向量匹配实现不同标签的向量数据进行运算

✨✨ 欢迎大家来到景天科技苑✨✨ 🎈🎈 养成好习惯,先赞后看哦~🎈🎈 🏆 作者简介:景天科技苑 🏆《头衔》:大厂架构师,华为云开发者社区专家博主,阿里云开发者社区专家博主,CSDN全栈领域优质创作者,掘金优秀博主,51CTO博客专家等。 🏆《博客》:Python全栈,前后端开发,小程序开发,人工智能,js逆向,App逆向,网络系统安全,数据分析,Django,fastapi

让树莓派智能语音助手实现定时提醒功能

最初的时候是想直接在rasa 的chatbot上实现,因为rasa本身是带有remindschedule模块的。不过经过一番折腾后,忽然发现,chatbot上实现的定时,语音助手不一定会有响应。因为,我目前语音助手的代码设置了长时间无应答会结束对话,这样一来,chatbot定时提醒的触发就不会被语音助手获悉。那怎么让语音助手也具有定时提醒功能呢? 我最后选择的方法是用threading.Time

Android实现任意版本设置默认的锁屏壁纸和桌面壁纸(两张壁纸可不一致)

客户有些需求需要设置默认壁纸和锁屏壁纸  在默认情况下 这两个壁纸是相同的  如果需要默认的锁屏壁纸和桌面壁纸不一样 需要额外修改 Android13实现 替换默认桌面壁纸: 将图片文件替换frameworks/base/core/res/res/drawable-nodpi/default_wallpaper.*  (注意不能是bmp格式) 替换默认锁屏壁纸: 将图片资源放入vendo

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

usaco 1.2 Transformations(模拟)

我的做法就是一个一个情况枚举出来 注意计算公式: ( 变换后的矩阵记为C) 顺时针旋转90°:C[i] [j]=A[n-j-1] [i] (旋转180°和270° 可以多转几个九十度来推) 对称:C[i] [n-j-1]=A[i] [j] 代码有点长 。。。 /*ID: who jayLANG: C++TASK: transform*/#include<