[C++] 实现Union

前几天学了replacement new写的小玩意

cpp 复制代码
#include <iostream>
#include <functional>
#include <string>

// 可能因为const char*类型的缘故
// 用const ArgsT&&...会报错

// 测试用类
struct Test
{
	Test()
	{
		std::cout << "constructed" << std::endl;
	};

	~Test()
	{
		std::cout << "destructed" << std::endl;
	};
};

// 析构器
template <typename T = char[]>
struct Destructor
{
	void operator()(void *ptr)
	{
		T *obj = (T *)ptr;
		// 调用析构函数
		obj->~T();
	};
};

// 基础类型没有析构函数
#define BASE_TYPE(type)            \
	template <>                    \
	struct Destructor<type>        \
	{                              \
		void operator()(void *) {} \
	};

BASE_TYPE(char[]);
BASE_TYPE(int);

//构造器
template <typename T>
struct Constructor
{
	template <typename... ArgsT>
	void operator()(void *ptr, ArgsT... args)
	{
		T *obj = (T *)ptr;
		// replacement new
		new (obj) T(std::forward<ArgsT>(args)...);
	};
};

// 变体类
template <std::size_t size>
struct Variant
{
	char memory[size] = {};
	std::function<void(void *)> destructor = Destructor<>();

	// 调用对象的析构函数
	~Variant()
	{
		destructor(memory);
		destructor = Destructor<>();
	}

	// 构造对象
	template <typename NewT, typename... ArgsT>
	void construct(ArgsT... args)
	{
		destructor(memory);
		destructor = Destructor<NewT>();

		Constructor<NewT> c;
		c(memory, std::forward<ArgsT>(args)...);
	}

	// 获取对象
	template <typename T>
	T &get()
	{
		T *obj = (T *)memory;
		return *obj;
	}
	template <typename T>
	const T &get() const
	{
		const T *obj = (const T *)memory;
		return *obj;
	}
};

int main(int argc, char *argv[])
{
	// 测试
	/*Destructor<Test> d;
	Test t;
	d(&t);
	Constructor<Test> c;
	c(&t);*/

	// 使用例
	Variant<32> v;
	v.construct<Test>();
	v.construct<std::string, std::string>("aaa");
	std::cout << v.get<std::string>() << std::endl;
	v.construct<int, int>(666);
	std::cout << v.get<int>() << std::endl;

	return 0;
}
相关推荐
睡不醒的kun9 分钟前
leetcode算法刷题的第三十四天
数据结构·c++·算法·leetcode·职场和发展·贪心算法·动态规划
晚云与城22 分钟前
今日分享:C++ deque与priority_queue
开发语言·c++
lingran__1 小时前
速通ACM省铜第四天 赋源码(G-C-D, Unlucky!)
c++·算法
Humbunklung2 小时前
unordered_map使用MFC的CString作为键值遇到C2056和C2064错误
c++·stl·mfc
爱编程的化学家3 小时前
代码随想录算法训练营第十一天--二叉树2 || 226.翻转二叉树 / 101.对称二叉树 / 104.二叉树的最大深度 / 111.二叉树的最小深度
数据结构·c++·算法·leetcode·二叉树·代码随想录
眠りたいです4 小时前
基于脚手架微服务的视频点播系统-数据管理与网络通信部分的预备工作
c++·qt·ui·微服务·云原生·架构·媒体
烦躁的大鼻嘎4 小时前
【Linux】深入Linux多线程架构与高性能编程
linux·运维·服务器·开发语言·c++·ubuntu
野生的编程萌新4 小时前
【C++深学日志】C++编程利器:缺省参数、函数重载、引用详解
c语言·开发语言·c++
愚润求学4 小时前
【贪心算法】day10
c++·算法·leetcode·贪心算法
智者知已应修善业4 小时前
【矩阵找最大小所在位置】2022-11-13
c语言·c++·经验分享·笔记·算法·矩阵