(原创)用c++11打造好用的variant(更新)
关于variant的实现参考我前面的博文,不过这第一个版本还不够完善,主要有这几个问题:
- 内部的缓冲区是原始的char[],没有考虑内存对齐;
- 没有visit功能。
- 没有考虑赋值构造函数的问题,存在隐患。
这次将解决以上问题,还将进一步增强variant的功能。增加的功能有:
- 通过索引位置获取类型。
- 通过类型获取索引位置。
c++11的内存对齐
关于内存对齐的问题,将用c++11的std::aligned_storage来代替char[]数组,它的原型是:
template< std::size_t Len, std::size_t Align = /*default-alignment*/ >
struct aligned_storage;
其中Len表示所存储类型的size,Align表示该类型内存对齐的大小,通过sizeof(T)可以获取T的size,通过alignof(T)可以获取T内存对齐大小,所以std::aligned_storage的声明是这样的:std::aligned_storage<sizeof(T), alignof(T)>。alignof是vs2013 ctp中才支持的,如果没有该版本则可以用std::alignment_of来代替,可以通过std::alignment_of<T>::value来获取内存对齐大小。故std::aligned_storage可以这样声明:std::aligned_storage<sizeof(T), std::alignment_of<T>::value>。
这里要说一下alignof和std::alignment_of的区别,主要区别:
- std::alignment_of对于数组来说,是获取数组中元素类型内存对齐大小,如果非数组则是类型本身的内存对齐大小,因此使用时要注意这一点。其实std::alignment_of可以由align来实现:
template<class T>
struct remove_all_extents { typedef T type;}; template<class T>
struct remove_all_extents<T[]> {
typedef typename remove_all_extents<T>::type type;
}; template<class Tp, std::size_t N>
struct remove_all_extents<T[N]> {
typedef typename remove_all_extents<T>::type type; template< class T >
struct alignment_of : std::integral_constant<
std::size_t,
alignof(typename std::remove_all_extents<T>::type)
> {};
- alignof和sizeof有点类似,它可以应用于变长类型,比如alignof(Args)...,而std::alignment_of则不行。
variant赋值构造函数的问题
variant如果通过默认赋值函数赋值的话会造成两个variant的缓冲区都是一个,会导致重复析构。variant的赋值函数需要做两件事,第一是借助于赋值的variant的缓冲区取得其实际的类型;第二用赋值的variant种实际的类型构造出当前variant的实际类型。赋值函数的左值和右值版本的实现如下:
Variant(Variant<Types...>&& old) : m_typeIndex(old.m_typeIndex)
{
Helper_t::move(old.m_typeIndex, &old.m_data, &m_data);
} Variant(const Variant<Types...>& old) : m_typeIndex(old.m_typeIndex)
{
Helper_t::copy(old.m_typeIndex, &old.m_data, &m_data);
}
右值版本Helper_t::move的内部是这样的:new (new_v) T(std::move(*reinterpret_cast<T*>(old_v)));
左值版本Helper_t::copy的内部是这样的:new (new_v) T(*reinterpret_cast<const T*>(old_v));
右值版本可以直接将原对象move走,左值版本则需要拷贝原来的对象。
variant的visit功能
boost.variant中可以使用apply_visitior来访问variant中实际的类型,具体的做法是先创建一个从boost::static_visitor<T>派生的访问者类,这个类中定义了访问variant各个类型的方法,接着将这个访问者对象和vairant对象传到boost::apply_visitor(visitor, it->first)实现vairant的访问。一个简单的例子是这样的:
//创建一个访问者类,这个类可以访问vairant<int,short,double,std::string>
struct VariantVisitor : public boost::static_visitor<void>
{
void operator() (int a)
{
cout << "int" << endl;
} void operator() (short val)
{
cout << "short" << endl;
} void operator() (double val)
{
cout << "double" << endl;
} void operator() (std::string val)
{
cout << "string" << endl;
} }; boost::variant<int,short,double,std::string> v = ;
boost::apply_visitor(visitor, it->first); //将输出int
实际上这也是标准的访问者模式的实现,这种方式虽然可以实现对variant内部实际类型的访问,但是有一个缺点是有点繁琐,还需要定义一个函数对象,不够方便。c++11中有了lambda表达式了,是不是可以用lambda表达式来替代函数对象呢?如果直接通过一组lambda表达式来访问实际类型的话,那将是更直观而方便的访问方式,不再需要从boost::static_visitor派生了,也不需要写一堆重载运算符。我希望这样访问vairant的实际类型:
typedef Variant<int, double, string, int> cv;
cv v = ;
v.Visit([&](double i){cout << i << endl; }, [](short i){cout << i << endl; }, [=](int i){cout << i << endl; },[](string i){cout << i << endl; }); //结果将输出10
这种方式比boost的访问方式更简洁直观。这个版本中将增加这种内置的访问方式。
比boost.variant多的更能
这个版本增加了通过索引获取类型和通过类型获取索引的功能,你可以从variant中获取更多信息,boost.variant中是没有这两个接口的。
typedef Variant<int, double, string, int> cv;
cv v = ;
cout << typeid(cv::IndexType<>).name() << endl; //将输出double
int i = v.GetIndexOf<string>(); //将输出索引位置2
c++11版本的variant
下面来看看c++11版本的vairant的具体实现了:
#include <typeindex>
#include <iostream>
#include <type_traits>
using namespace std; template <typename T>
struct function_traits
: public function_traits<decltype(&T::operator())>
{};
// For generic types, directly use the result of the signature of its 'operator()' template <typename ClassType, typename ReturnType, typename... Args>
struct function_traits<ReturnType(ClassType::*)(Args...) const>
// we specialize for pointers to member function
{
enum { arity = sizeof...(Args) };
// arity is the number of arguments. typedef ReturnType result_type; template <size_t i>
struct arg
{
typedef typename std::tuple_element<i, std::tuple<Args...>>::type type;
// the i-th argument is equivalent to the i-th tuple element of a tuple
// composed of those arguments.
}; typedef std::function<ReturnType(Args...)> FunType;
typedef std::tuple<Args...> ArgTupleType;
}; //获取最大的整数
template <size_t arg, size_t... rest>
struct IntegerMax; template <size_t arg>
struct IntegerMax<arg> : std::integral_constant<size_t, arg>
{
//static const size_t value = arg;
//enum{value = arg};
}; //获取最大的align
template <size_t arg1, size_t arg2, size_t... rest>
struct IntegerMax<arg1, arg2, rest...> : std::integral_constant<size_t, arg1 >= arg2 ? IntegerMax<arg1, rest...>::value :
IntegerMax<arg2, rest...>::value >
{
/*static const size_t value = arg1 >= arg2 ? static_max<arg1, others...>::value :
static_max<arg2, others...>::value;*/
};
template<typename... Args>
struct MaxAlign : std::integral_constant<int, IntegerMax<std::alignment_of<Args>::value...>::value>{};
/*
template<typename T, typename... Args>
struct MaxAlign : std::integral_constant<int,
(std::alignment_of<T>::value >MaxAlign<Args...>::value ? std::alignment_of<T>::value : MaxAlign<Args...>::value) >
{}; template<typename T>
struct MaxAlign<T> : std::integral_constant<int, std::alignment_of<T>::value >{}; */ //是否包含某个类型
template < typename T, typename... List >
struct Contains : std::true_type {}; template < typename T, typename Head, typename... Rest >
struct Contains<T, Head, Rest...>
: std::conditional< std::is_same<T, Head>::value, std::true_type, Contains<T,Rest... >> ::type{}; template < typename T >
struct Contains<T> : std::false_type{}; //获取第一个T的索引位置
// Forward
template<typename Type, typename... Types>
struct GetLeftSize; // Declaration
template<typename Type, typename First, typename... Types>
struct GetLeftSize<Type, First, Types...> : GetLeftSize<Type, Types...>
{
}; // Specialized
template<typename Type, typename... Types>
struct GetLeftSize<Type, Type, Types...> : std::integral_constant<int, sizeof...(Types)>
{
//static const int ID = sizeof...(Types);
}; template<typename Type>
struct GetLeftSize<Type> : std::integral_constant<int, ->
{
//static const int ID = -1;
}; template<typename T, typename... Types>
struct Index : std::integral_constant<int, sizeof...(Types) - GetLeftSize<T, Types...>::value - >{}; //根据索引获取索引位置的类型
// Forward declaration
template<int index, typename... Types>
struct IndexType; // Declaration
template<int index, typename First, typename... Types>
struct IndexType<index, First, Types...> : IndexType<index - , Types...>
{
}; // Specialized
template<typename First, typename... Types>
struct IndexType<, First, Types...>
{
typedef First DataType;
}; template<typename... Args>
struct VariantHelper; template<typename T, typename... Args>
struct VariantHelper<T, Args...> {
inline static void Destroy(type_index id, void * data)
{
if (id == type_index(typeid(T)))
//((T*) (data))->~T();
reinterpret_cast<T*>(data)->~T();
else
VariantHelper<Args...>::Destroy(id, data);
} inline static void move(type_index old_t, void * old_v, void * new_v)
{
if (old_t == type_index(typeid(T)))
new (new_v) T(std::move(*reinterpret_cast<T*>(old_v)));
else
VariantHelper<Args...>::move(old_t, old_v, new_v);
} inline static void copy(type_index old_t, const void * old_v, void * new_v)
{
if (old_t == type_index(typeid(T)))
new (new_v) T(*reinterpret_cast<const T*>(old_v));
else
VariantHelper<Args...>::copy(old_t, old_v, new_v);
}
}; template<> struct VariantHelper<> {
inline static void Destroy(type_index id, void * data) { }
inline static void move(type_index old_t, void * old_v, void * new_v) { }
inline static void copy(type_index old_t, const void * old_v, void * new_v) { }
}; template<typename... Types>
class Variant
{
typedef VariantHelper<Types...> Helper_t; enum
{
data_size = IntegerMax<sizeof(Types)...>::value,
//align_size = IntegerMax<alignof(Types)...>::value
align_size = MaxAlign<Types...>::value //ctp才有alignof, 为了兼容用此版本
};
using data_t = typename std::aligned_storage<data_size, align_size>::type;
public:
template<int index>
using IndexType = typename IndexType<index, Types...>::DataType; Variant(void) :m_typeIndex(typeid(void)), m_index(-)
{
} ~Variant()
{
Helper_t::Destroy(m_typeIndex, &m_data);
} Variant(Variant<Types...>&& old) : m_typeIndex(old.m_typeIndex)
{
Helper_t::move(old.m_typeIndex, &old.m_data, &m_data);
} Variant(const Variant<Types...>& old) : m_typeIndex(old.m_typeIndex)
{
Helper_t::copy(old.m_typeIndex, &old.m_data, &m_data);
}
Variant& operator=(const Variant& old)
{
Helper_t::copy(old.m_typeIndex, &old.m_data, &m_data);
m_typeIndex = old.m_typeIndex;
return *this;
}
Variant& operator=(Variant&& old)
{
Helper_t::move(old.m_typeIndex, &old.m_data, &m_data);
m_typeIndex = old.m_typeIndex;
return *this;
}
template <class T,
class = typename std::enable_if<Contains<typename std::remove_reference<T>::type, Types...>::value>::type>
Variant(T&& value) : m_typeIndex(typeid(void))
{
Helper_t::Destroy(m_typeIndex, &m_data);
typedef typename std::remove_reference<T>::type U;
new(&m_data) U(std::forward<T>(value));
m_typeIndex = type_index(typeid(T));
} template<typename T>
bool Is() const
{
return (m_typeIndex == type_index(typeid(T)));
} bool Empty() const
{
return m_typeIndex == type_index(typeid(void));
} type_index Type() const
{
return m_typeIndex;
} template<typename T>
typename std::decay<T>::type& Get()
{
using U = typename std::decay<T>::type;
if (!Is<U>())
{
cout << typeid(U).name() << " is not defined. " << "current type is " <<
m_typeIndex.name() << endl;
throw std::bad_cast();
} return *(U*) (&m_data);
} template<typename T>
int GetIndexOf()
{
return Index<T, Types...>::value;
} template<typename F>
void Visit(F&& f)
{
using T = typename function_traits<F>::arg<>::type;
if (Is<T>())
f(Get<T>());
} template<typename F, typename... Rest>
void Visit(F&& f, Rest&&... rest)
{
using T = typename function_traits<F>::arg<>::type;
if (Is<T>())
Visit(std::forward<F>(f));
else
Visit(std::forward<Rest>(rest)...);
} bool operator==(const Variant& rhs) const
{
return m_typeIndex == rhs.m_typeIndex;
} bool operator<(const Variant& rhs) const
{
return m_typeIndex < rhs.m_typeIndex;
} private:
data_t m_data;
std::type_index m_typeIndex;//类型ID
};
测试代码:
typedef Variant<int, double, string, int> cv;
//根据index获取类型
cout << typeid(cv::IndexType<>).name() << endl; //根据类型获取索引
cv v=;
int i = v.GetIndexOf<string>(); //通过一组lambda访问vairant
v.Visit([&](double i){cout << i << endl; }, [&](short i){cout << i << endl; }, [](int i){cout << i << endl; },
[](string i){cout << i << endl; }
); bool emp1 = v.Empty();
cout << v.Type().name() << endl;
c++11版本的vairant不仅仅比boost的variant更好用也更强大,经过测试发现性能也优于boost.variant,因此可以在项目中用这个c++11版本的variant替代boost的variant。实际上我的并行计算库中已经用自己的variant和any代替了boost.variant和boost.any,从而消除了对boost的依赖。
c++11 boost技术交流群:296561497,欢迎大家来交流技术。
(原创)用c++11打造好用的variant(更新)的更多相关文章
- (原创)用c++11打造好用的variant
variant类似于union,它能代表定义的多种类型,允许将不同类型的值赋给它.它的具体类型是在初始化赋值时确定.boost中的variant的基本用法: typedef variant<in ...
- [原创] Easy SysLite V1.2 (2016.5.29更新,新增加WIN10支持,一个程序适配所有系统减肥)
[原创] Easy SysLite V1.2 (2016.5.29更新,新增加WIN10支持,一个程序适配所有系统减肥) nohacks 发表于 2016-5-29 17:12:51 https:// ...
- (原创)用c++11打造好用的any
上一篇博文用c++11实现了variant,有童鞋说何不把any也实现一把,我正有此意,它的兄弟variant已经实现了,any也顺便打包实现了吧.其实boost.any已经挺好了,就是转换异常时,看 ...
- (原创)用c++11打造类似于python的range
python中的range函数表示一个连续的有序序列,range使用起来很方便,因为在定义时就隐含了初始化过程,因为只需要给begin()和end()或者仅仅一个end(),就能表示一个连续的序列.还 ...
- 【原创】C++11:左值和右值(深度分析)
——原创,引用请附带博客地址 2019-12-06 23:42:18 这篇文章分析的还是不行,先暂时放在这以后再更新. 本篇比较长,需要耐心阅读 以一个实际问题开始分析 class Sub{} Sub ...
- 原创:goldengate从11.2升级到12.1.2
goldengate从11.2升级到12.1.2 1.停止抽取进程 GGSCI (001.oracle.drs.dc.com) 286> stop EXTSJ01 2. 停止投递和复制进程 等待 ...
- 用c++11打造类似于python的range
python中的range函数表示一个连续的有序序列,range使用起来很方便,因为在定义时就隐含了初始化过程,因为只需要给begin()和end()或者仅仅一个end(),就能表示一个连续的序列.还 ...
- [原创]EF架构随心所欲打造属于你自己的DbModel
前言 我们都知道EF可以生成Dbmodel,系统生成的Model有时候并不是我们想要的,如何我们要生成自己的Model,那么久需要我们手动的去修改T4模版,T4是对“Text Template Tra ...
- (原创)c++11中 function/lamda的链式调用
关于链式调用,比较典型的例子是c#中的linq,不过c#中的linq还只是一些特定函数的链式调用.c++中的链式调用更少见因为实现起来比较复杂.c++11支持了lamda和function,在一些延迟 ...
随机推荐
- 转:CMake快速入门教程-实战
CMake快速入门教程:实战 收藏人:londonKu 2012-05-07 | 阅:10128 转:34 | 来源 | 分享 0. 前言一个多月 ...
- 微信小程序即将上线,创业者机会在哪里?
作者:全栈生姜头链接:https://www.zhihu.com/question/54352253/answer/139741070来源:知乎著作权归作者所有.商业转载请联系作者获得授权,非商业转载 ...
- [转载]Error starting Sun's native2ascii:
原文地址:Error starting Sun's native2ascii:作者:大一吧浪 Error starting Sun's native2ascii: at org.apache.tool ...
- Raspberry pi 使用python+pySerial实现串口通信(转)
Raspberry pi 使用python+pySerial实现串口通信 转:http://blog.csdn.net/homeway999/article/details/8642353 目录( ...
- k8s实战之数据卷(volume)
一.概述 数据卷用于实现容器持久化数据,k8s对于数据卷重新定义,提供了丰富强大的功能:数据卷分为三类: 本地数据卷,网络数据卷和信息数据卷 二.
- android sdk 编译--如何将源代码加入android.jar,以及make原理
首先是这个问题如何修改. 在/frameworks/base/Android.mk中,找到如下行:packages_to_document :=在该变量的赋值语句最后添加xxxxx (这里是你的包的名 ...
- 【HTML】WWW简介
www 什么是WWW www(world wide web),又称为万维网,或通常称为web,是一个基于超文本方式的信息检索服务工具. WWW的工作模式 C/S结构(client/server结构), ...
- C# Log4Net level优先级别
原文地址:https://blog.csdn.net/pukuimin1226/article/details/51819388?locationNum=2&fps=1 Level定义记录的日 ...
- opencv 中出现错误 -215:Assertion failed
cv2.error: OpenCV(4.0.1) D:\Build\OpenCV\opencv-4.0.1\modules\imgproc\src\color.cpp:181: error: (-21 ...
- android:fitsSystemWindows属性的用法
属性说明 fitsSystemWindows属性可以让view根据系统窗口来调整自己的布局:简单点说就是我们在设置应用布局时是否考虑系统窗口布局,这里系统窗口包括系统状态栏.导航栏.输入法等,包括一些 ...