绪章 Boost 学习笔记之一 any

最新推荐文章于 2022-08-12 00:00:00 发布
最新推荐文章于 2022-08-12 00:00:00 发布
阅读量2.4k 收藏
点赞数 1
分类专栏： C++ 文章标签： reference 编译器 exception documentation class null
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/lyskyly/article/details/1346449
版权

本人生性做事不认真, 又不善于总结,为一改前貌,决定每周写一点东西,以此督促自己改掉以前的臭毛病.

 

首先列出源代码，来给俯瞰全局
 
 class any
    {
    public: // structors
 
        any()
          : content(0)
        {
        }
 
        template<typename ValueType>
        any(const ValueType & value)
          : content(new holder<ValueType>(value))
        {
        }
 
        any(const any & other)
          : content(other.content ? other.content->clone() : 0)
        {
        }
 
        ~any()
        {
            delete content;
        }
 
    public: // modifiers
 
        any & swap(any & rhs)
        {
            std::swap(content, rhs.content);
            return *this;
        }
 
        template<typename ValueType>
        any & operator=(const ValueType & rhs)
        {
            any(rhs).swap(*this);
            return *this;
        }
 
        any & operator=(const any & rhs)
        {
            any(rhs).swap(*this);
            return *this;
        }
 
    public: // queries
 
        bool empty() const
        {
            return !content;
        }
 
        const std::type_info & type() const
        {
            return content ? content->type() : typeid(void);
        }
 
#ifndef BOOST_NO_MEMBER_TEMPLATE_FRIENDS
    private: // types
#else
    public: // types (public so any_cast can be non-friend)
#endif
 
        class placeholder
        {
        public: // structors
 
            virtual ~placeholder()
            {
            }
 
        public: // queries
 
            virtual const std::type_info & type() const = 0;
 
            virtual placeholder * clone() const = 0;
 
        };
 
        template<typename ValueType>
        class holder : public placeholder
        {
        public: // structors
 
            holder(const ValueType & value)
              : held(value)
            {
            }
 
        public: // queries
 
            virtual const std::type_info & type() const
            {
                return typeid(ValueType);
            }
 
            virtual placeholder * clone() const
            {
                return new holder(held);
            }
 
        public: // representation
 
            ValueType held;
 
        };
 
#ifndef BOOST_NO_MEMBER_TEMPLATE_FRIENDS
 
    private: // representation
 
        template<typename ValueType>
        friend ValueType * any_cast(any *);
 
        template<typename ValueType>
        friend ValueType * unsafe_any_cast(any *);
 
#else
 
    public: // representation (public so any_cast can be non-friend)
 
#endif
 
        placeholder * content;
 
};
上面有一些有意思的地方，any其实没干啥事，事情都让 holder 干了，holder有个基类placeholder，这是一个抽象类，它在这里起着关键作用。holder是个模板类，不能在any中保存它的指针，那么就只能保存它基类的指针，在通过基类指针进行实际操作。
来看个例子在接着往下分析.
boost::any int_any(1);
看看这一句干了什么，首先当然是调用any的构造函数
        template<typename ValueType>
        any(const ValueType & value)
          : content(new holder<ValueType>(value))
        {
        }
这里就做了一件事，初始化content，
placeholder * content;
可见content是一个placeholder的指针，当然这里初始化的时候实际上是用的一个holder
(new holder<ValueType>(value)) 型的指针来初始化。在这里ValueType被解析成int类型。
接着再看holder的构造函数又做了什么。
            holder(const ValueType & value)
              : held(value)
            {
            }
它的作用就是初始化held,
ValueType held;
这里held 就是一个int型的值
boost::any int_any(1); 最终就是
holder(const int &value)
   :held(1)
 {
 }
然后看看any支持的操作
        any(const any & other)
         : content(other.content ? other.content->clone() : 0)
首先看看拷贝构造函数，如果other.content不为NULL（any的默认构造函数是把content指针置为NULL）,就调用other.content->clone()，此时实际调用的是
 virtual placeholder * clone() const
            {
                return new holder(held);
            }
相当于content = new holder(other.content.held);
 
然后看看
       any & swap(any & rhs)
        {
            std::swap(content, rhs.content);
            return *this;
        }
Swap 函数，这个swap函数极其简单，单纯的调用std::swap完事
 
        template<typename ValueType>
        any & operator=(const ValueType & rhs)
        {
            any(rhs).swap(*this);
            return *this;
        }
看看赋值操作符，这是个有趣的应用，生成一个临时any在和它交换。
赋值操作符的另一个重载
        any & operator=(const any & rhs)
        {
            any(rhs).swap(*this);
            return *this;
        }
也差不多，以下是两种赋值操作符的用法
     boost::any int_any(1);
     int_any = 1.0;
     boost::any double_any(1.0);
     int_any = double_any;
来看看这个函数
        bool empty() const
        {
            return !content;
        }
没得什么好讲得，单纯得返回content是否为NULL。
        const std::type_info & type() const
        {
            return content ? content->type() : typeid(void);
        }
这一个函数返回constent中得held到底是什么类型，它调用得是holder的
            virtual const std::type_info & type() const
            {
                return typeid(ValueType);
            }
函数，这个函数也非常简单。
最后不要担心内存泄漏之类的问题
        ~any()
        {
            delete content;
        }
为你做好了一切。
还有一个有趣的地方
#ifndef BOOST_NO_MEMBER_TEMPLATE_FRIENDS
 
    private: // representation
 
        template<typename ValueType>
        friend ValueType * any_cast(any *);
 
        template<typename ValueType>
        friend ValueType * unsafe_any_cast(any *);
 
#else
 
    public: // representation (public so any_cast can be non-friend)
 
#endif
那就是BOOST_NO_MEMBER_TEMPLATE_FRIENDS这个宏，有的编译器是不支持友元模板的（如果你的编译器是这样的，最好换一个对模板支持更好的编译器）如果支持没什么好说的content;是私有的，并且申明两个友元函数。如果不支持，又要其他函数使用这个成员，无奈之下只能把它设为公有的，虽然这样不太符合面向对象的思想：）
对any的剖析就告一段落，下面来看和它息息相关的两个函数和一个类
    class bad_any_cast : public std::bad_cast
    {
    public:
        virtual const char * what() const throw()
        {
            return "boost::bad_any_cast: "
                   "failed conversion using boost::any_cast";
        }
};
没有什么好说的，主要就是为了反应一会儿针对any的转型错误。
来看看这个转型函数
    template<typename ValueType>
    ValueType * any_cast(any * operand)
    {
        return operand && operand->type() == typeid(ValueType)
                    ? &static_cast<any::holder<ValueType> *>(operand->content)->held
                    : 0;
    }
    主要工作就是取held的地址，然后返回一个ValueType的指针，当然前提是held要于ValueType的类型一致
    template<typename ValueType>
    const ValueType * any_cast(const any * operand)
    {
        return any_cast<ValueType>(const_cast<any *>(operand));
    }
       这个函数就没什么好说了。
           template<typename ValueType>
    ValueType any_cast(const any & operand)
    {
        typedef BOOST_DEDUCED_TYPENAME remove_reference<ValueType>::type nonref;
 
#ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
        // If 'nonref' is still reference type, it means the user has not
        // specialized 'remove_reference'.
 
        // Please use BOOST_BROKEN_COMPILER_TYPE_TRAITS_SPECIALIZATION macro
        // to generate specialization of remove_reference for your class
        // See type traits library documentation for details
        BOOST_STATIC_ASSERT(!is_reference<nonref>::value);
#endif
 
        const nonref * result = any_cast<nonref>(&operand);
        if(!result)
            boost::throw_exception(bad_any_cast());
        return *result;
}
再来看看这一个函数，不要看这么多东西，其实有用的没多少
BOOST_DEDUCED_TYPENAME 就是typename,应为remove_reference是一个模板，为了不把type从一类型
误解为一个成员，就要加上这个typename告诉编译器。当然针对某些编译器的出色能力，能够区分这两种情况，那么这个宏就什么都没有。可见作为一个类库的设计者真是费尽苦心。
remove_reference 的作用是如果是移出引用。
让后下面的工作就是交给上面的两个函数来做，当然要检查一些那个指针是不是为NULL。
 
template <typename ValueType>
    ValueType any_cast(any & operand)
    {
        typedef BOOST_DEDUCED_TYPENAME remove_reference<ValueType>::type nonref;
 
#ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
        // The comment in the above version of 'any_cast' explains when this
        // assert is fired and what to do.
        BOOST_STATIC_ASSERT(!is_reference<nonref>::value);
#endif
 
        nonref * result = any_cast<nonref>(&operand);
        if(!result)
            boost::throw_exception(bad_any_cast());
        return *result;
    }
这个函数就不用讲了，同上。
 
    template<typename ValueType>
    ValueType * unsafe_any_cast(any * operand)
    {
        return &static_cast<any::holder<ValueType> *>(operand->content)->held;
}
这是一个不安全转型的版本，主要就是它不进行类型检查。
 
    template<typename ValueType>
    const ValueType * unsafe_any_cast(const any * operand)
    {
        return any_cast<ValueType>(const_cast<any *>(operand));
 }
这个函数有个令我困惑的地方。它是unsafe_any_cast版本，但为什么它的实现调用的是any_cast
, 这个函数会进行类型检查。
 
lyskyly
关注
  • 1
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
Boost学习笔记
03-22
Boost是C++标准库开发人员参与编写的，非常好。里面有各种数组、线程池、通信库等，是Linux、Window通用的东西。不学他，就落伍了。
boost源码剖析之：泛型指针类any之海纳百川(rev#2)
痞子龙3D编程
05-29 1342
boost源码剖析之：泛型指针类any之海纳百川(rev#2) 刘未鹏C++的罗浮宫(http://blog.csdn.net/pongba) 动机C++是强类型语言，所有强类型语言对类型的要求都是苛刻的，类型一有不合编译器就会抱怨说不能将某某类型转换为某某类型，当然如果在类型之间提供了转换操作符或是标准所允许的一定程度的隐式转换(如经过非explicit构造函数创建临时变
Boost库学习笔记（四）any类型
Moresweet 猫甜
08-12 353
代码】Boost库学习笔记（四）any类型。
Boost学习笔记2-Boost-Any
fightinggg的博客
03-19 630
喜欢这篇文章吗？喜欢的话去看博主的置顶博客，即可依据分类找到此文章的原版得到更好的体验， 图片及代码显示的问题，笔者深感抱歉，想要更好的体验去原博文即可。 title: Boost学习笔记2 - Boost.Any mathjax: true date: 2020-03-17 13:40:35 categories: [c++笔记,Boost学习笔记] tags: [c++笔记,Boost学习笔...
boost学习笔记
Rareay
10-24 651
目录1 system_time2 多线程2.1 互斥体2.1.1 mutex+scoped_lock2.1.2 try_mutex+scoped_try_lock 1 system_time 获取系统时间： t_start = boost::get_system_time().time_of_day().total_milliseconds(); 延时： boost::thread::sle...
Boost库学习笔记（二）算法模块-C++11标准
Moresweet 猫甜
08-03 1070
Boost.Algorithm是一系列人通用推荐算法的集合，虽然有用的通用算法很多，但是为了保证质量和体积，并不会将太多通用算法通过审查测试添加进来。Boost.Algorithm依赖Boost.Range, Boost.Assert, Boost.Array, Boost.TypeTraits, and Boost.StaticAssert....
Boost学习笔记之any
dreamcs的专栏
01-04 569
any是任意对象。配合使用STL容器点，可向此容器添加任意类型的对象。 #include #include #include #include #include "boost/any.hpp" using namespace std; class A{ public: void some_function(){ cout << "A::some_functi
boost线程 个人学习笔记（一）
qq_44728747的博客
03-31 453
本文章为个人学习使用 线程的创建 可以从一个函数对象、函数指针来创建线程 struct ThreadFunc { void operator()(string s) { cout << s << endl; } }; void func() { cout << "hello, boost!" << endl; } void createT...
Boost学习笔记1-Boost入门
fightinggg的博客
03-19 314
喜欢这篇文章吗？喜欢的话去看博主的置顶博客，即可依据分类找到此文章的原版得到更好的体验， 图片及代码显示的问题，笔者深感抱歉，想要更好的体验去原博文即可。 title: Boost学习笔记1 - Boost入门 mathjax: true date: 2020-03-17 13:34:24 categories: [c++笔记,Boost学习笔记] tags: [c++笔记,Boost学习笔记]...
Boost 学习笔记
degan7336的博客
09-14 157
scopted_ptr: 一旦获取用户的管理权，就无法取回.template<class T>class scopted_ptr{private: T * px; scopted_ptr (scopted_ptr const &); scopted_ptr & operator = (scopted_ptr const& ); //禁止复制，保证了sc...
CRM模式BOOST拓扑结构实现PFC的学习笔记
08-09
本文总结了CRM模式BOOST拓扑结构实现PFC的学习笔记，希望本章的内容对大家学习PFC能够有所帮助
开关电源BUCK BOOST参考笔记
最新发布
04-11
本笔记是全面认识开关电源BUCK BOOST参考笔记，值得下载收藏
Boost 模板元编程学习笔记（一）
05-21
64位 VS2010 配置Boost库，这是学习Boost标准库开发的基础。
使用c++实现boost::any类
01-26
使用c++实现boost::any类 any类可以存放任意类型数据，如: void test_any() { any any_a1(123); int a2 = any_cast(any_a1); int* p_a2 = any_cast(&any_a1); std::cout *p_a2="*p_a2; any any_b1(12.35); ...
C++中 unsigned char != byte
热门推荐
浮生三笑 三笑浮生
10-02 1万+
C++中不存在内建的byte类型，通常我们会通过typedef unsigned char byte;这一类的方式来定义byte类型，但就此认为unsigned char可以完全代表byte类型，就得注意了。byte a = 0x30;cout我们期待输出是什么，期待输出0x30,实在不行好歹也输出个48吧，出乎意料的是输出0.0的ASCII码是0x30,这里把a当作uns
使用SWIG实现C/C++与其他语言间的互相调用
浮生三笑 三笑浮生
07-29 4388
 为了运行速度，java, C#, ruby等语言可能会调用C/C++写的函数或者类，但直接写很麻烦，必须遵循各种语言订立的规范，以jni为例要导出一个函数给java用，你必须在函数定义前写上JNIEXPORT，对于那些早已存在的代码，这样就麻烦了，而且相同的代码如果要给ruby用，又得按照扩展Ruby的规定去重新定义这些函数。并且不能将C++定义的类直接拿来用但SWIG能很方便，很自然的
Boost学习笔记 BOOST_STATIC_ASSERT
浮生三笑 三笑浮生
12-05 3216
 Boost中提供了一个编译时断言宏BOOST_STATIC_ASSERT，这个宏很简单，但里面也有一些值得学习的地方。首先来看看真正做事的代码template bool x> struct STATIC_ASSERTION_FAILURE; template struct STATIC_ASSERTION_FAILUREtrue> { enum { value = 1 };
Boost学习笔记之六 深度剖析pool
浮生三笑 三笑浮生
11-25 2337
很久没看boost源码了,今天又拿来看了看,这次看了boost中一个内存池的实现,感觉很不错,但似乎里面重复代码多了一点: )先来看一个辅助结构,这个辅助结构用模板元编程实现获得最小公倍数和最大公约数求最大公约数时用的是欧几里得算法(这里为了让这个模板更容易看懂,做了一些简化工作).template struct ct_gcd_helper; template stru
boost库 is_any_of的作用
04-12
boost库中的is_any_of函数是用来判断字符串中是否包含任何一个指定的字符的。它可以接受一个字符串作为参数，并将其中的字符作为待查找字符。比如，如果想要检查一个字符串是否包含"a"、"b"、"c"中的任意一个字符，...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值