一个和C++11 Move语义相关的问题

osmanthusgfy

拷贝复制boost any的实现，并支持C++11 Move语义:
    class any {
    public:
        any():content( nullptr )
        {
            
        }
        
        ~any()
        {
            delete this->content;
        }
   
        template<typename T>
        any( const T& val ):content( new holder_imp<T>( val ) )
        {
            
        }
        
        template<typename T>
        any( T&& val ):content( new holder_imp<T>( std::move( val ) ) )
        {
            
        }
        

        any( const any& other ):
        content( ( nullptr != other.content ) ? other.content->clone() : nullptr )
        {
            
        }
        
        any( any&& other ):content( other.content )
        {
            other.content = nullptr;
        }
        
        template<typename T>
        any& operator=( const T& val )
        {
            any( val ).swap( *this );
            return *this;
        }
        
        template<typename T>
        any& operator=( T&& val )
        {
            any( std::move( val ) ).swap( *this );
            return *this;
        }
        
        any& operator=( any other )
        {
            any( other ).swap( *this );
            return *this;
        }
        
        any& operator=( const any& other )
        {
            any( other ).swap( *this );
            return *this;
        }
        
        any& operator=( any&& other )
        {
            other.swap( *this );
            any().swap( other );
            
            return *this;
        }
        
        void swap( any& other ) noexcept
        {
            std::swap( this->content, other.content );
        }
        
        bool empty() const
        {
            return ( nullptr == this->content );
        }
        
        void clear()
        {
            if ( nullptr != this->content ) {
                delete this->content;
                this->content = nullptr;
            }
            
            //any().swap(*this);
        }
        
        template <typename T>
        T& get() throw( std::runtime_error )
        {
            if ( typeid( T ) != this->type() ) {
                throw  std::runtime_error( "any bad cast" );
            }
            
            return ( static_cast<holder_imp<T>*>( this->content ) )->value;
        }
        
        const std::type_info& type() const
        {
            return ( nullptr != this->content ) ?
            ( this->content->type() ) : ( typeid( void ) );
        }
        
    private:
        class holder {
        public:
            holder()
            {

            }
            
            virtual ~holder()
            {
               
            }
            
            virtual const std::type_info& type()=0;
            virtual holder* clone()=0;
        };
        
        template <typename T>
        class holder_imp : public holder {
        public:
            holder_imp( const T& val ):value( val )
            {
               
            }
            
            holder_imp( T&& val ):value( std::move( val ) )
            {
            }
            
            ~holder_imp()
            {
               
            }
            
            virtual const std::type_info& type() override
            {
                return typeid( T );
            }
            
            virtual holder* clone() override
            {
                return new holder_imp( this->value );
            }
            
            holder_imp& operator=( const holder_imp& )=delete;
            
            T value;
        };
        
        holder* content;
    };

调用: any b( std::string( "abc" ) );

编译器报错，说any( T&& val ):content( new holder_imp<T>( std::move( val ) ) )
和holder_imp( T&& val ):value( std::move( val ) )有问题，我使用的是最新的clang，已支持C++ 11。
错误提示：
multiple overloads of 'holder_imp' instantiate to the same signature 'void (any &&)'
            holder_imp( T&& val ):value( std::move( val ) )

error: multiple overloads of 'holder_imp' instantiate to the same signature 'void (std::__1::basic_string<char> &&)'
            holder_imp( T&& val ):value( std::move( val ) )

no matching constructor for initialization of 'holder_imp<std::__1::basic_string<char> &>'
        any( T&& val ):content( new holder_imp<T>( std::move( val ) ) )

大神帮忙解答下，多谢了!

osmanthusgfy

大仙们都不在吗?

bruceteen

虽然没看懂，但仅欲求编译通过的话，我会瞎改

将两个 new holder_imp<T> 中的 T 改为 typename std::remove_reference<T>::type 就像了。
比如
template<typename T>
any( const T& val ):content( new holder_imp<T>( val ) )
改为
template<typename T>
any( const T& val ):content( new holder_imp<typename std::remove_reference<T>::type>( val ) )

bruceteen

给牛B的解法：只要将
        any& operator=( any other )
        {
            any( other ).swap( *this );
            return *this;
        }
删除就行

osmanthusgfy

楼上的答对部分。这个问题比较难，也很复杂，本以为没人回复的。
等我彻底把问题弄清楚了后，再写出详细的解答。先附上boost 1.58 any的源码，
有能力的大仙们先研究下。
any.hpp.zip (2.81 KB, 下载次数: 3)

2015-06-24 10:29 上传

点击文件名下载附件

windoze

回复 3# bruceteen

我脚着光remove_referece好像是不够的，应该用decay……

没仔细看lz的程序，瞎猜的。