Index: mojo/public/cpp/bindings/map.h |
diff --git a/mojo/public/cpp/bindings/map.h b/mojo/public/cpp/bindings/map.h |
index ec40df34270b41577ff13ca454841b7b4165b430..c1ba0756a3f179e7930626cd4b000961ce28d5a6 100644 |
--- a/mojo/public/cpp/bindings/map.h |
+++ b/mojo/public/cpp/bindings/map.h |
@@ -5,300 +5,12 @@ |
#ifndef MOJO_PUBLIC_CPP_BINDINGS_MAP_H_ |
#define MOJO_PUBLIC_CPP_BINDINGS_MAP_H_ |
-#include <stddef.h> |
#include <map> |
#include <unordered_map> |
#include <utility> |
-#include "base/logging.h" |
-#include "base/macros.h" |
-#include "mojo/public/cpp/bindings/array.h" |
-#include "mojo/public/cpp/bindings/lib/map_data_internal.h" |
-#include "mojo/public/cpp/bindings/lib/template_util.h" |
-#include "mojo/public/cpp/bindings/type_converter.h" |
- |
namespace mojo { |
-// A move-only map that can handle move-only values. Map has the following |
-// characteristics: |
-// - The map itself can be null, and this is distinct from empty. |
-// - Keys must not be move-only. |
-// - The Key-type's "<" operator is used to sort the entries, and also is |
-// used to determine equality of the key values. |
-// - There can only be one entry per unique key. |
-// - Values of move-only types will be moved into the Map when they are added |
-// using the insert() method. |
-template <typename K, typename V> |
-class Map { |
- public: |
- using Key = K; |
- using Value = V; |
- |
- // Map keys cannot be move only classes. |
- static_assert(!internal::IsMoveOnlyType<Key>::value, |
- "Map keys cannot be move only types."); |
- |
- using Iterator = typename std::map<Key, Value>::iterator; |
- using ConstIterator = typename std::map<Key, Value>::const_iterator; |
- |
- // Constructs an empty map. |
- Map() : is_null_(false) {} |
- // Constructs a null map. |
- Map(std::nullptr_t null_pointer) : is_null_(true) {} |
- |
- // Constructs a non-null Map containing the specified |keys| mapped to the |
- // corresponding |values|. |
- Map(mojo::Array<Key> keys, mojo::Array<Value> values) : is_null_(false) { |
- DCHECK(keys.size() == values.size()); |
- for (size_t i = 0; i < keys.size(); ++i) |
- map_.insert(std::make_pair(keys[i], std::move(values[i]))); |
- } |
- |
- ~Map() {} |
- |
- Map(std::map<Key, Value>&& other) : map_(std::move(other)), is_null_(false) {} |
- Map(Map&& other) : is_null_(true) { Take(&other); } |
- |
- Map& operator=(std::map<Key, Value>&& other) { |
- is_null_ = false; |
- map_ = std::move(other); |
- return *this; |
- } |
- Map& operator=(Map&& other) { |
- Take(&other); |
- return *this; |
- } |
- |
- Map& operator=(std::nullptr_t null_pointer) { |
- is_null_ = true; |
- map_.clear(); |
- return *this; |
- } |
- |
- // Copies the contents of some other type of map into a new Map using a |
- // TypeConverter. A TypeConverter for std::map to Map is defined below. |
- template <typename U> |
- static Map From(const U& other) { |
- return TypeConverter<Map, U>::Convert(other); |
- } |
- |
- // Copies the contents of the Map into some other type of map. A TypeConverter |
- // for Map to std::map is defined below. |
- template <typename U> |
- U To() const { |
- return TypeConverter<U, Map>::Convert(*this); |
- } |
- |
- // Indicates whether the map is null (which is distinct from empty). |
- bool is_null() const { return is_null_; } |
- |
- // Indicates whether the map is empty (which is distinct from null). |
- bool empty() const { return map_.empty() && !is_null_; } |
- |
- // Indicates the number of keys in the map, which will be zero if the map is |
- // null. |
- size_t size() const { return map_.size(); } |
- |
- // Inserts a key-value pair into the map. Like std::map, this does not insert |
- // |value| if |key| is already a member of the map. |
- void insert(const Key& key, const Value& value) { |
- is_null_ = false; |
- map_.insert(std::make_pair(key, value)); |
- } |
- void insert(const Key& key, Value&& value) { |
- is_null_ = false; |
- map_.insert(std::make_pair(key, std::move(value))); |
- } |
- |
- // Returns a reference to the value associated with the specified key, |
- // crashing the process if the key is not present in the map. |
- Value& at(const Key& key) { return map_.at(key); } |
- const Value& at(const Key& key) const { return map_.at(key); } |
- |
- // Returns a reference to the value associated with the specified key, |
- // creating a new entry if the key is not already present in the map. A |
- // newly-created value will be value-initialized (meaning that it will be |
- // initialized by the default constructor of the value type, if any, or else |
- // will be zero-initialized). |
- Value& operator[](const Key& key) { |
- is_null_ = false; |
- return map_[key]; |
- } |
- |
- // Sets the map to empty (even if previously it was null). |
- void SetToEmpty() { |
- is_null_ = false; |
- map_.clear(); |
- } |
- |
- // Returns a const reference to the std::map managed by this class. If this |
- // object is null, the return value will be an empty map. |
- const std::map<Key, Value>& storage() const { return map_; } |
- |
- // Passes the underlying storage and resets this map to null. |
- std::map<Key, Value> PassStorage() { |
- is_null_ = true; |
- return std::move(map_); |
- } |
- |
- operator const std::map<Key, Value>&() const { return map_; } |
- |
- // Swaps the contents of this Map with another Map of the same type (including |
- // nullness). |
- void Swap(Map<Key, Value>* other) { |
- std::swap(is_null_, other->is_null_); |
- map_.swap(other->map_); |
- } |
- |
- // Swaps the contents of this Map with an std::map containing keys and values |
- // of the same type. Since std::map cannot represent the null state, the |
- // std::map will be empty if Map is null. The Map will always be left in a |
- // non-null state. |
- void Swap(std::map<Key, Value>* other) { |
- is_null_ = false; |
- map_.swap(*other); |
- } |
- |
- // Removes all contents from the Map and places them into parallel key/value |
- // arrays. Each key will be copied from the source to the destination, and |
- // values will be copied unless their type is designated move-only, in which |
- // case they will be moved. Either way, the Map will be left in a null state. |
- void DecomposeMapTo(mojo::Array<Key>* keys, mojo::Array<Value>* values) { |
- std::vector<Key> key_vector; |
- key_vector.reserve(map_.size()); |
- std::vector<Value> value_vector; |
- value_vector.reserve(map_.size()); |
- |
- for (auto& entry : map_) { |
- key_vector.push_back(entry.first); |
- value_vector.push_back(std::move(entry.second)); |
- } |
- |
- map_.clear(); |
- is_null_ = true; |
- |
- keys->Swap(&key_vector); |
- values->Swap(&value_vector); |
- } |
- |
- // Returns a new Map that contains a copy of the contents of this map. If the |
- // key/value type defines a Clone() method, it will be used; otherwise copy |
- // constructor/assignment will be used. |
- // |
- // Please note that calling this method will fail compilation if the key/value |
- // type cannot be cloned (which usually means that it is a Mojo handle type or |
- // a type containing Mojo handles). |
- Map Clone() const { |
- Map result; |
- result.is_null_ = is_null_; |
- for (auto it = map_.begin(); it != map_.end(); ++it) { |
- result.map_.insert(std::make_pair(internal::Clone(it->first), |
- internal::Clone(it->second))); |
- } |
- return result; |
- } |
- |
- // Indicates whether the contents of this map are equal to those of another |
- // Map (including nullness). If the key/value type defines an Equals() method, |
- // it will be used; otherwise == operator will be used. |
- bool Equals(const Map& other) const { |
- if (is_null() != other.is_null()) |
- return false; |
- if (size() != other.size()) |
- return false; |
- auto i = begin(); |
- auto j = other.begin(); |
- while (i != end()) { |
- if (!internal::Equals(i->first, j->first)) |
- return false; |
- if (!internal::Equals(i->second, j->second)) |
- return false; |
- ++i; |
- ++j; |
- } |
- return true; |
- } |
- |
- // Provide read-only iteration over map members in a way similar to STL |
- // collections. |
- ConstIterator begin() const { return map_.begin(); } |
- Iterator begin() { return map_.begin(); } |
- |
- ConstIterator end() const { return map_.end(); } |
- Iterator end() { return map_.end(); } |
- |
- // Returns the iterator pointing to the entry for |key|, if present, or else |
- // returns end(). |
- ConstIterator find(const Key& key) const { return map_.find(key); } |
- Iterator find(const Key& key) { return map_.find(key); } |
- |
- private: |
- typedef std::map<Key, Value> Map::*Testable; |
- |
- public: |
- // The Map may be used in boolean expressions to determine if it is non-null, |
- // but is not implicitly convertible to an actual bool value (which would be |
- // dangerous). |
- operator Testable() const { return is_null_ ? 0 : &Map::map_; } |
- |
- private: |
- // Forbid the == and != operators explicitly, otherwise Map will be converted |
- // to Testable to do == or != comparison. |
- template <typename T, typename U> |
- bool operator==(const Map<T, U>& other) const = delete; |
- template <typename T, typename U> |
- bool operator!=(const Map<T, U>& other) const = delete; |
- |
- void Take(Map* other) { |
- operator=(nullptr); |
- Swap(other); |
- } |
- |
- std::map<Key, Value> map_; |
- bool is_null_; |
- |
- DISALLOW_COPY_AND_ASSIGN(Map); |
-}; |
- |
-// Copies the contents of an std::map to a new Map, optionally changing the |
-// types of the keys and values along the way using TypeConverter. |
-template <typename MojoKey, |
- typename MojoValue, |
- typename STLKey, |
- typename STLValue> |
-struct TypeConverter<Map<MojoKey, MojoValue>, std::map<STLKey, STLValue>> { |
- static Map<MojoKey, MojoValue> Convert( |
- const std::map<STLKey, STLValue>& input) { |
- Map<MojoKey, MojoValue> result; |
- for (auto& pair : input) { |
- result.insert(TypeConverter<MojoKey, STLKey>::Convert(pair.first), |
- TypeConverter<MojoValue, STLValue>::Convert(pair.second)); |
- } |
- return result; |
- } |
-}; |
- |
-// Copies the contents of a Map to an std::map, optionally changing the types of |
-// the keys and values along the way using TypeConverter. |
-template <typename MojoKey, |
- typename MojoValue, |
- typename STLKey, |
- typename STLValue> |
-struct TypeConverter<std::map<STLKey, STLValue>, Map<MojoKey, MojoValue>> { |
- static std::map<STLKey, STLValue> Convert( |
- const Map<MojoKey, MojoValue>& input) { |
- std::map<STLKey, STLValue> result; |
- if (!input.is_null()) { |
- for (auto it = input.begin(); it != input.end(); ++it) { |
- result.insert(std::make_pair( |
- TypeConverter<STLKey, MojoKey>::Convert(it->first), |
- TypeConverter<STLValue, MojoValue>::Convert(it->second))); |
- } |
- } |
- return result; |
- } |
-}; |
- |
// TODO(yzshen): These conversion functions should be removed and callsites |
// should be revisited and changed to use the same map type. |
template <typename Key, typename Value> |