poco/Foundation/include/Poco/Any.h

553 lines
13 KiB
C
Raw Normal View History

2012-04-29 20:52:25 +02:00
//
// Any.h
//
// $Id: //poco/1.4/Foundation/include/Poco/Any.h#1 $
//
// Library: Foundation
// Package: Core
2013-02-01 04:12:13 +01:00
// Module: Any
2012-04-29 20:52:25 +02:00
//
// Copyright Kevlin Henney, 2000, 2001, 2002. All rights reserved.
// Extracted from Boost 1.33.1 lib and adapted for poco: Peter Schojer/AppliedInformatics 2006-02-02
//
// Permission is hereby granted, free of charge, to any person or organization
// obtaining a copy of the software and accompanying documentation covered by
// this license (the "Software") to use, reproduce, display, distribute,
// execute, and transmit the Software, and to prepare derivative works of the
// Software, and to permit third-parties to whom the Software is furnished to
// do so, all subject to the following:
//
// The copyright notices in the Software and this entire statement, including
// the above license grant, this restriction and the following disclaimer,
// must be included in all copies of the Software, in whole or in part, and
// all derivative works of the Software, unless such copies or derivative
// works are solely in the form of machine-executable object code generated by
// a source language processor.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
// FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT
// SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
// FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
// ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
// DEALINGS IN THE SOFTWARE.
//
#ifndef Foundation_Any_INCLUDED
#define Foundation_Any_INCLUDED
#include "Poco/Exception.h"
#include "Poco/MetaProgramming.h"
2012-04-29 20:52:25 +02:00
#include <algorithm>
#include <typeinfo>
2013-02-04 05:39:09 +01:00
#include <cstring>
2012-04-29 20:52:25 +02:00
namespace Poco {
namespace Dynamic {
class Var;
class VarHolder;
template <class> class VarHolderImpl;
}
template <typename PlaceholderT, unsigned int SizeV = POCO_SMALL_OBJECT_SIZE>
union Placeholder
/// ValueHolder union (used by Poco::Any and Poco::Dynamic::Var for small
/// object optimization).
///
/// If Holder<Type> fits into POCO_SMALL_OBJECT_SIZE bytes of storage,
/// it will be placement-new-allocated into the local buffer
/// (i.e. there will be no heap-allocation). The local buffer size is one byte
/// larger - [POCO_SMALL_OBJECT_SIZE + 1], additional byte value indicating
/// where the object was allocated (0 => heap, 1 => local).
{
public:
struct Size
{
static const unsigned int value = SizeV;
};
Placeholder ()
{
erase();
}
void erase()
{
std::memset(holder, 0, sizeof(Placeholder));
}
bool isLocal() const
{
return holder[SizeV] != 0;
}
void setLocal(bool local) const
{
holder[SizeV] = local ? 1 : 0;
}
PlaceholderT* content() const
{
if(isLocal())
return reinterpret_cast<PlaceholderT*>(holder);
else
return pHolder;
}
private:
PlaceholderT* pHolder;
mutable unsigned char holder[SizeV + 1];
friend class Any;
friend class Dynamic::Var;
friend class Dynamic::VarHolder;
template <class> friend class VarHolderImpl;
};
2012-04-29 20:52:25 +02:00
class Any
/// An Any class represents a general type and is capable of storing any type, supporting type-safe extraction
/// of the internally stored data.
///
/// Code taken from the Boost 1.33.1 library. Original copyright by Kevlin Henney. Modified for Poco
/// by Applied Informatics.
2013-02-01 04:12:13 +01:00
///
/// Modified for small object optimization support (optionally supported through conditional compilation)
/// by Alex Fabijanic.
2012-04-29 20:52:25 +02:00
{
public:
2013-02-01 04:12:13 +01:00
#ifndef POCO_NO_SOO
Any()
/// Creates an empty any type.
{
}
template<typename ValueType>
Any(const ValueType & value)
/// Creates an any which stores the init parameter inside.
///
/// Example:
/// Any a(13);
/// Any a(string("12345"));
2013-02-01 04:12:13 +01:00
{
construct(value);
}
Any(const Any& other)
/// Copy constructor, works with both empty and initialized Any values.
{
2013-02-03 19:03:01 +01:00
if ((this != &other) && !other.empty())
construct(other);
2013-02-01 04:12:13 +01:00
}
~Any()
/// Destructor. If Any is locally held, calls ValueHolder destructor;
/// otherwise, deletes the placeholder from the heap.
2013-02-01 04:12:13 +01:00
{
if(!empty())
{
if(_valueHolder.isLocal())
content()->~ValueHolder();
2013-02-01 04:12:13 +01:00
else
delete content();
}
}
Any& swap(Any& other)
/// Swaps the content of the two Anys.
///
2013-02-03 19:03:01 +01:00
/// When small object optimizaton is enabled,
/// swap is only exception-safe when both (*this and
/// other) objects are allocated on the heap.
{
2013-02-03 19:03:01 +01:00
if (this == &other) return *this;
if (!_valueHolder.isLocal() && !other._valueHolder.isLocal())
{
std::swap(_valueHolder.pHolder, other._valueHolder.pHolder);
}
else
{
Any tmp(*this);
if (_valueHolder.isLocal()) this->~Any();
construct(other);
other = tmp;
}
return *this;
}
2013-02-01 04:12:13 +01:00
template<typename ValueType>
Any & operator = (const ValueType& rhs)
2013-02-01 04:12:13 +01:00
/// Assignment operator for all types != Any.
///
/// Example:
/// Any a = 13;
/// Any a = string("12345");
{
2013-02-03 19:03:01 +01:00
construct(rhs);
2013-02-01 04:12:13 +01:00
return *this;
}
2013-02-03 19:03:01 +01:00
Any& operator = (const Any& rhs)
2013-02-01 04:12:13 +01:00
/// Assignment operator for Any.
{
2013-02-03 19:03:01 +01:00
if ((this != &rhs) && !rhs.empty())
construct(rhs);
else if ((this != &rhs) && rhs.empty())
_valueHolder.erase();
2013-02-03 19:03:01 +01:00
2013-02-01 04:12:13 +01:00
return *this;
}
bool empty() const
/// Returns true if the Any is empty.
{
2013-02-02 22:10:20 +01:00
char buf[POCO_SMALL_OBJECT_SIZE] = { 0 };
return 0 == std::memcmp(_valueHolder.holder, buf, POCO_SMALL_OBJECT_SIZE);
2013-02-01 04:12:13 +01:00
}
const std::type_info & type() const
/// Returns the type information of the stored content.
/// If the Any is empty typeid(void) is returned.
/// It is recommended to always query an Any for its type info before
/// trying to extract data via an AnyCast/RefAnyCast.
{
return empty() ? typeid(void) : content()->type();
}
private:
class ValueHolder
2013-02-01 04:12:13 +01:00
{
public:
virtual ~ValueHolder()
2013-02-01 04:12:13 +01:00
{
}
2013-02-02 22:10:20 +01:00
2013-02-01 04:12:13 +01:00
virtual const std::type_info & type() const = 0;
virtual void clone(Placeholder<ValueHolder>*) const = 0;
2013-02-01 04:12:13 +01:00
};
template<typename ValueType>
class Holder : public ValueHolder
2013-02-01 04:12:13 +01:00
{
public:
Holder(const ValueType & value) : _held(value)
{
}
2013-02-02 22:10:20 +01:00
2013-02-01 04:12:13 +01:00
virtual const std::type_info & type() const
{
return typeid(ValueType);
}
2013-02-02 22:10:20 +01:00
virtual void clone(Placeholder<ValueHolder>* pPlaceholder) const
2013-02-02 22:10:20 +01:00
{
if ((sizeof(Holder<ValueType>) <= POCO_SMALL_OBJECT_SIZE))
2013-02-02 22:10:20 +01:00
{
new ((ValueHolder*) pPlaceholder->holder) Holder(_held);
2013-02-03 19:03:01 +01:00
pPlaceholder->setLocal(true);
2013-02-02 22:10:20 +01:00
}
else
{
2013-02-03 19:03:01 +01:00
pPlaceholder->pHolder = new Holder(_held);
pPlaceholder->setLocal(false);
2013-02-02 22:10:20 +01:00
}
2013-02-01 04:12:13 +01:00
}
ValueType _held;
private:
Holder & operator = (const Holder &);
};
ValueHolder* content() const
2013-02-01 04:12:13 +01:00
{
return _valueHolder.content();
2013-02-01 04:12:13 +01:00
}
template<typename ValueType>
void construct(const ValueType& value)
2013-02-01 04:12:13 +01:00
{
if (sizeof(Holder<ValueType>) <= Placeholder<ValueType>::Size::value)
2013-02-01 04:12:13 +01:00
{
new (reinterpret_cast<ValueHolder*>(_valueHolder.holder)) Holder<ValueType>(value);
_valueHolder.setLocal(true);
2013-02-01 04:12:13 +01:00
}
else
{
_valueHolder.pHolder = new Holder<ValueType>(value);
_valueHolder.setLocal(false);
2013-02-01 04:12:13 +01:00
}
}
2013-02-02 22:10:20 +01:00
void construct(const Any& other)
2013-02-01 04:12:13 +01:00
{
2013-02-03 19:03:01 +01:00
if(!other.empty())
other.content()->clone(&_valueHolder);
2013-02-02 22:10:20 +01:00
else
_valueHolder.erase();
2013-02-01 04:12:13 +01:00
}
Placeholder<ValueHolder> _valueHolder;
2013-02-01 04:12:13 +01:00
#else // if POCO_NO_SOO
Any(): _pHolder(0)
2012-04-29 20:52:25 +02:00
/// Creates an empty any type.
{
}
2012-04-29 20:52:25 +02:00
template <typename ValueType>
Any(const ValueType& value):
2013-02-01 04:12:13 +01:00
_pHolder(new Holder<ValueType>(value))
2012-04-29 20:52:25 +02:00
/// Creates an any which stores the init parameter inside.
///
/// Example:
/// Any a(13);
/// Any a(string("12345"));
{
}
2012-04-29 20:52:25 +02:00
Any(const Any& other):
2013-02-01 04:12:13 +01:00
_pHolder(other._pHolder ? other._pHolder->clone() : 0)
/// Copy constructor, works with both empty and initialized Any values.
{
}
2012-04-29 20:52:25 +02:00
~Any()
{
2013-02-01 04:12:13 +01:00
delete _pHolder;
}
2012-04-29 20:52:25 +02:00
Any& swap(Any& rhs)
2012-04-29 20:52:25 +02:00
/// Swaps the content of the two Anys.
{
2013-02-01 04:12:13 +01:00
std::swap(_pHolder, rhs._pHolder);
return *this;
}
2012-04-29 20:52:25 +02:00
template <typename ValueType>
Any& operator = (const ValueType& rhs)
2012-04-29 20:52:25 +02:00
/// Assignment operator for all types != Any.
///
/// Example:
2013-02-01 04:12:13 +01:00
/// Any a = 13;
/// Any a = string("12345");
{
Any(rhs).swap(*this);
return *this;
}
Any& operator = (const Any& rhs)
2012-04-29 20:52:25 +02:00
/// Assignment operator for Any.
{
Any(rhs).swap(*this);
return *this;
}
2012-04-29 20:52:25 +02:00
bool empty() const
2013-02-01 04:12:13 +01:00
/// Returns true if the Any is empty.
{
2013-02-01 04:12:13 +01:00
return !_pHolder;
}
2012-04-29 20:52:25 +02:00
const std::type_info& type() const
2012-04-29 20:52:25 +02:00
/// Returns the type information of the stored content.
/// If the Any is empty typeid(void) is returned.
2013-02-01 04:12:13 +01:00
/// It is recommended to always query an Any for its type info before
/// trying to extract data via an AnyCast/RefAnyCast.
{
2013-02-01 04:12:13 +01:00
return _pHolder ? _pHolder->type() : typeid(void);
}
2012-04-29 20:52:25 +02:00
private:
class ValueHolder
{
public:
virtual ~ValueHolder()
{
}
virtual const std::type_info& type() const = 0;
virtual ValueHolder* clone() const = 0;
};
template <typename ValueType>
class Holder: public ValueHolder
{
public:
Holder(const ValueType& value):
2012-04-29 20:52:25 +02:00
_held(value)
{
}
2012-04-29 20:52:25 +02:00
virtual const std::type_info& type() const
{
return typeid(ValueType);
}
2012-04-29 20:52:25 +02:00
virtual ValueHolder* clone() const
{
return new Holder(_held);
}
2012-04-29 20:52:25 +02:00
ValueType _held;
2013-02-01 04:12:13 +01:00
private:
Holder & operator=(const Holder &);
};
2012-04-29 20:52:25 +02:00
ValueHolder* content() const
2013-02-01 04:12:13 +01:00
{
return _pHolder;
}
2012-04-29 20:52:25 +02:00
private:
ValueHolder* _pHolder;
2013-02-01 04:12:13 +01:00
#endif // POCO_NO_SOO
template <typename ValueType>
friend ValueType* AnyCast(Any*);
2012-04-29 20:52:25 +02:00
template <typename ValueType>
friend ValueType* UnsafeAnyCast(Any*);
2012-04-29 20:52:25 +02:00
};
template <typename ValueType>
ValueType* AnyCast(Any* operand)
/// AnyCast operator used to extract the ValueType from an Any*. Will return a pointer
/// to the stored value.
///
/// Example Usage:
/// MyType* pTmp = AnyCast<MyType*>(pAny).
2012-04-29 20:52:25 +02:00
/// Will return NULL if the cast fails, i.e. types don't match.
{
return operand && operand->type() == typeid(ValueType)
2013-02-01 04:12:13 +01:00
? &static_cast<Any::Holder<ValueType>*>(operand->content())->_held
: 0;
2012-04-29 20:52:25 +02:00
}
template <typename ValueType>
const ValueType* AnyCast(const Any* operand)
/// AnyCast operator used to extract a const ValueType pointer from an const Any*. Will return a const pointer
/// to the stored value.
///
/// Example Usage:
/// const MyType* pTmp = AnyCast<MyType*>(pAny).
2012-04-29 20:52:25 +02:00
/// Will return NULL if the cast fails, i.e. types don't match.
{
return AnyCast<ValueType>(const_cast<Any*>(operand));
2012-04-29 20:52:25 +02:00
}
template <typename ValueType>
ValueType AnyCast(const Any& operand)
/// AnyCast operator used to extract a copy of the ValueType from an const Any&.
///
/// Example Usage:
/// MyType tmp = AnyCast<MyType>(anAny).
2012-04-29 20:52:25 +02:00
/// Will throw a BadCastException if the cast fails.
/// Dont use an AnyCast in combination with references, i.e. MyType& tmp = ... or const MyType& = ...
/// Some compilers will accept this code although a copy is returned. Use the RefAnyCast in
/// these cases.
{
2013-02-03 14:16:06 +01:00
typedef typename TypeWrapper<ValueType>::TYPE NonRef;
return AnyCast<NonRef&>(const_cast<Any&>(operand));
2012-04-29 20:52:25 +02:00
}
template <typename ValueType>
ValueType AnyCast(Any& operand)
/// AnyCast operator used to extract a copy of the ValueType from an Any&.
///
/// Example Usage:
/// MyType tmp = AnyCast<MyType>(anAny).
2012-04-29 20:52:25 +02:00
/// Will throw a BadCastException if the cast fails.
/// Dont use an AnyCast in combination with references, i.e. MyType& tmp = ... or const MyType& tmp = ...
/// Some compilers will accept this code although a copy is returned. Use the RefAnyCast in
/// these cases.
{
2013-02-03 14:16:06 +01:00
typedef typename TypeWrapper<ValueType>::TYPE NonRef;
NonRef* result = AnyCast<NonRef>(&operand);
if (!result) throw BadCastException("Failed to convert between Any types");
return *result;
2012-04-29 20:52:25 +02:00
}
template <typename ValueType>
const ValueType& RefAnyCast(const Any & operand)
/// AnyCast operator used to return a const reference to the internal data.
///
/// Example Usage:
/// const MyType& tmp = RefAnyCast<MyType>(anAny);
2012-04-29 20:52:25 +02:00
{
ValueType* result = AnyCast<ValueType>(const_cast<Any*>(&operand));
if (!result) throw BadCastException("RefAnyCast: Failed to convert between const Any types");
return *result;
2012-04-29 20:52:25 +02:00
}
template <typename ValueType>
ValueType& RefAnyCast(Any& operand)
/// AnyCast operator used to return a reference to the internal data.
///
/// Example Usage:
/// MyType& tmp = RefAnyCast<MyType>(anAny);
2012-04-29 20:52:25 +02:00
{
ValueType* result = AnyCast<ValueType>(&operand);
if (!result) throw BadCastException("RefAnyCast: Failed to convert between Any types");
return *result;
2012-04-29 20:52:25 +02:00
}
template <typename ValueType>
ValueType* UnsafeAnyCast(Any* operand)
/// The "unsafe" versions of AnyCast are not part of the
/// public interface and may be removed at any time. They are
/// required where we know what type is stored in the any and can't
/// use typeid() comparison, e.g., when our types may travel across
/// different shared libraries.
{
2013-02-03 14:16:06 +01:00
return &static_cast<Any::Holder<ValueType>*>(operand->content())->_held;
2012-04-29 20:52:25 +02:00
}
template <typename ValueType>
const ValueType* UnsafeAnyCast(const Any* operand)
/// The "unsafe" versions of AnyCast are not part of the
/// public interface and may be removed at any time. They are
/// required where we know what type is stored in the any and can't
/// use typeid() comparison, e.g., when our types may travel across
/// different shared libraries.
{
return AnyCast<ValueType>(const_cast<Any*>(operand));
2012-04-29 20:52:25 +02:00
}
} // namespace Poco
#endif