src/tint/utils/hashmap.h - dawn - Git at Google

 // Copyright 2022 The Tint Authors.
 //
 // Licensed under the Apache License, Version 2.0 (the "License");
 // you may not use this file except in compliance with the License.
 // You may obtain a copy of the License at
 //
 //     http://www.apache.org/licenses/LICENSE-2.0
 //
 // Unless required by applicable law or agreed to in writing, software
 // distributed under the License is distributed on an "AS IS" BASIS,
 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 // See the License for the specific language governing permissions and
 // limitations under the License.

 #ifndef SRC_TINT_UTILS_HASHMAP_H_
 #define SRC_TINT_UTILS_HASHMAP_H_

 #include <functional>
 #include <optional>
 #include <utility>

 #include "src/tint/debug.h"
 #include "src/tint/utils/hash.h"
 #include "src/tint/utils/hashmap_base.h"
 #include "src/tint/utils/vector.h"

 namespace tint::utils {

 /// An unordered map that uses a robin-hood hashing algorithm.
 template <typename KEY,
           typename VALUE,
           size_t N,
           typename HASH = Hasher<KEY>,
           typename EQUAL = std::equal_to<KEY>>
 class Hashmap : public HashmapBase<KEY, VALUE, N, HASH, EQUAL> {
     using Base = HashmapBase<KEY, VALUE, N, HASH, EQUAL>;
     using PutMode = typename Base::PutMode;

   public:
     /// The key type
     using Key = KEY;
     /// The value type
     using Value = VALUE;
     /// The key-value type for a map entry
     using Entry = KeyValue<Key, Value>;

     /// Result of Add()
     using AddResult = typename Base::PutResult;

     /// Reference is returned by Hashmap::Find(), and performs dynamic Hashmap lookups.
     /// The value returned by the Reference reflects the current state of the Hashmap, and so the
     /// referenced value may change, or transition between valid or invalid based on the current
     /// state of the Hashmap.
     template <bool IS_CONST>
     class ReferenceT {
         /// `const Value` if IS_CONST, or `Value` if !IS_CONST
         using T = std::conditional_t<IS_CONST, const Value, Value>;

         /// `const Hashmap` if IS_CONST, or `Hashmap` if !IS_CONST
         using Map = std::conditional_t<IS_CONST, const Hashmap, Hashmap>;

       public:
         /// @returns true if the reference is valid.
         operator bool() const { return Get() != nullptr; }

         /// @returns the pointer to the Value, or nullptr if the reference is invalid.
         operator T*() const { return Get(); }

         /// @returns the pointer to the Value
         /// @warning if the Hashmap does not contain a value for the reference, then this will
         /// trigger a TINT_ASSERT, or invalid pointer dereference.
         T* operator->() const {
             auto* hashmap_reference_lookup = Get();
             TINT_ASSERT(Utils, hashmap_reference_lookup != nullptr);
             return hashmap_reference_lookup;
         }

         /// @returns the pointer to the Value, or nullptr if the reference is invalid.
         T* Get() const {
             auto generation = map_.Generation();
             if (generation_ != generation) {
                 cached_ = map_.Lookup(key_);
                 generation_ = generation;
             }
             return cached_;
         }

       private:
         friend Hashmap;

         /// Constructor
         ReferenceT(Map& map, const Key& key)
             : map_(map), key_(key), cached_(nullptr), generation_(map.Generation() - 1) {}

         /// Constructor
         ReferenceT(Map& map, const Key& key, T* value)
             : map_(map), key_(key), cached_(value), generation_(map.Generation()) {}

         Map& map_;
         const Key key_;
         mutable T* cached_ = nullptr;
         mutable size_t generation_ = 0;
     };

     /// A mutable reference returned by Find()
     using Reference = ReferenceT</*IS_CONST*/ false>;

     /// An immutable reference returned by Find()
     using ConstReference = ReferenceT</*IS_CONST*/ true>;

     /// Adds a value to the map, if the map does not already contain an entry with the key @p key.
     /// @param key the entry key.
     /// @param value the value of the entry to add to the map.
     /// @returns A AddResult describing the result of the add
     template <typename K, typename V>
     AddResult Add(K&& key, V&& value) {
         return this->template Put<PutMode::kAdd>(std::forward<K>(key), std::forward<V>(value));
     }

     /// Adds a new entry to the map, replacing any entry that has a key equal to @p key.
     /// @param key the entry key.
     /// @param value the value of the entry to add to the map.
     /// @returns A AddResult describing the result of the replace
     template <typename K, typename V>
     AddResult Replace(K&& key, V&& value) {
         return this->template Put<PutMode::kReplace>(std::forward<K>(key), std::forward<V>(value));
     }

     /// @param key the key to search for.
     /// @returns the value of the entry that is equal to `value`, or no value if the entry was not
     ///          found.
     std::optional<Value> Get(const Key& key) const {
         if (auto [found, index] = this->IndexOf(key); found) {
             return this->slots_[index].entry->value;
         }
         return std::nullopt;
     }

     /// Searches for an entry with the given key, adding and returning the result of calling
     /// @p create if the entry was not found.
     /// @note: Before calling `create`, the map will insert a zero-initialized value for the given
     /// key, which will be replaced with the value returned by @p create. If @p create adds an entry
     /// with @p key to this map, it will be replaced.
     /// @param key the entry's key value to search for.
     /// @param create the create function to call if the map does not contain the key.
     /// @returns the value of the entry.
     template <typename K, typename CREATE>
     Value& GetOrCreate(K&& key, CREATE&& create) {
         auto res = Add(std::forward<K>(key), Value{});
         if (res.action == MapAction::kAdded) {
             // Store the map generation before calling create()
             auto generation = this->Generation();
             // Call create(), which might modify this map.
             auto value = create();
             // Was this map mutated?
             if (this->Generation() == generation) {
                 // Calling create() did not touch the map. No need to lookup again.
                 *res.value = std::move(value);
             } else {
                 // Calling create() modified the map. Need to insert again.
                 res = Replace(key, std::move(value));
             }
         }
         return *res.value;
     }

     /// Searches for an entry with the given key value, adding and returning a newly created
     /// zero-initialized value if the entry was not found.
     /// @param key the entry's key value to search for.
     /// @returns the value of the entry.
     template <typename K>
     Reference GetOrZero(K&& key) {
         auto res = Add(std::forward<K>(key), Value{});
         return Reference(*this, key, res.value);
     }

     /// @param key the key to search for.
     /// @returns a reference to the entry that is equal to the given value.
     Reference Find(const Key& key) { return Reference(*this, key); }

     /// @param key the key to search for.
     /// @returns a reference to the entry that is equal to the given value.
     ConstReference Find(const Key& key) const { return ConstReference(*this, key); }

     /// @returns the keys of the map as a vector.
     /// @note the order of the returned vector is non-deterministic between compilers.
     template <size_t N2 = N>
     Vector<Key, N2> Keys() const {
         Vector<Key, N2> out;
         out.Reserve(this->Count());
         for (auto it : *this) {
             out.Push(it.key);
         }
         return out;
     }

     /// @returns the values of the map as a vector
     /// @note the order of the returned vector is non-deterministic between compilers.
     template <size_t N2 = N>
     Vector<Value, N2> Values() const {
         Vector<Value, N2> out;
         out.Reserve(this->Count());
         for (auto it : *this) {
             out.Push(it.value);
         }
         return out;
     }

   private:
     Value* Lookup(const Key& key) {
         if (auto [found, index] = this->IndexOf(key); found) {
             return &this->slots_[index].entry->value;
         }
         return nullptr;
     }

     const Value* Lookup(const Key& key) const {
         if (auto [found, index] = this->IndexOf(key); found) {
             return &this->slots_[index].entry->value;
         }
         return nullptr;
     }
 };

 }  // namespace tint::utils

 #endif  // SRC_TINT_UTILS_HASHMAP_H_
	// Copyright 2022 The Tint Authors.
	//
	// Licensed under the Apache License, Version 2.0 (the "License");
	// you may not use this file except in compliance with the License.
	// You may obtain a copy of the License at
	//
	// http://www.apache.org/licenses/LICENSE-2.0
	//
	// Unless required by applicable law or agreed to in writing, software
	// distributed under the License is distributed on an "AS IS" BASIS,
	// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	// See the License for the specific language governing permissions and
	// limitations under the License.

	#ifndef SRC_TINT_UTILS_HASHMAP_H_
	#define SRC_TINT_UTILS_HASHMAP_H_

	#include <functional>
	#include <optional>
	#include <utility>

	#include "src/tint/debug.h"
	#include "src/tint/utils/hash.h"
	#include "src/tint/utils/hashmap_base.h"
	#include "src/tint/utils/vector.h"

	namespace tint::utils {

	/// An unordered map that uses a robin-hood hashing algorithm.
	template <typename KEY,
	typename VALUE,
	size_t N,
	typename HASH = Hasher<KEY>,
	typename EQUAL = std::equal_to<KEY>>
	class Hashmap : public HashmapBase<KEY, VALUE, N, HASH, EQUAL> {
	using Base = HashmapBase<KEY, VALUE, N, HASH, EQUAL>;
	using PutMode = typename Base::PutMode;

	public:
	/// The key type
	using Key = KEY;
	/// The value type
	using Value = VALUE;
	/// The key-value type for a map entry
	using Entry = KeyValue<Key, Value>;

	/// Result of Add()
	using AddResult = typename Base::PutResult;

	/// Reference is returned by Hashmap::Find(), and performs dynamic Hashmap lookups.
	/// The value returned by the Reference reflects the current state of the Hashmap, and so the
	/// referenced value may change, or transition between valid or invalid based on the current
	/// state of the Hashmap.
	template <bool IS_CONST>
	class ReferenceT {
	/// `const Value` if IS_CONST, or `Value` if !IS_CONST
	using T = std::conditional_t<IS_CONST, const Value, Value>;

	/// `const Hashmap` if IS_CONST, or `Hashmap` if !IS_CONST
	using Map = std::conditional_t<IS_CONST, const Hashmap, Hashmap>;

	public:
	/// @returns true if the reference is valid.
	operator bool() const { return Get() != nullptr; }

	/// @returns the pointer to the Value, or nullptr if the reference is invalid.
	operator T*() const { return Get(); }

	/// @returns the pointer to the Value
	/// @warning if the Hashmap does not contain a value for the reference, then this will
	/// trigger a TINT_ASSERT, or invalid pointer dereference.
	T* operator->() const {
	auto* hashmap_reference_lookup = Get();
	TINT_ASSERT(Utils, hashmap_reference_lookup != nullptr);
	return hashmap_reference_lookup;
	}

	/// @returns the pointer to the Value, or nullptr if the reference is invalid.
	T* Get() const {
	auto generation = map_.Generation();
	if (generation_ != generation) {
	cached_ = map_.Lookup(key_);
	generation_ = generation;
	}
	return cached_;
	}

	private:
	friend Hashmap;

	/// Constructor
	ReferenceT(Map& map, const Key& key)
	: map_(map), key_(key), cached_(nullptr), generation_(map.Generation() - 1) {}

	/// Constructor
	ReferenceT(Map& map, const Key& key, T* value)
	: map_(map), key_(key), cached_(value), generation_(map.Generation()) {}

	Map& map_;
	const Key key_;
	mutable T* cached_ = nullptr;
	mutable size_t generation_ = 0;
	};

	/// A mutable reference returned by Find()
	using Reference = ReferenceT</IS_CONST/ false>;

	/// An immutable reference returned by Find()
	using ConstReference = ReferenceT</IS_CONST/ true>;

	/// Adds a value to the map, if the map does not already contain an entry with the key @p key.
	/// @param key the entry key.
	/// @param value the value of the entry to add to the map.
	/// @returns A AddResult describing the result of the add
	template <typename K, typename V>
	AddResult Add(K&& key, V&& value) {
	return this->template Put<PutMode::kAdd>(std::forward<K>(key), std::forward<V>(value));
	}

	/// Adds a new entry to the map, replacing any entry that has a key equal to @p key.
	/// @param key the entry key.
	/// @param value the value of the entry to add to the map.
	/// @returns A AddResult describing the result of the replace
	template <typename K, typename V>
	AddResult Replace(K&& key, V&& value) {
	return this->template Put<PutMode::kReplace>(std::forward<K>(key), std::forward<V>(value));
	}

	/// @param key the key to search for.
	/// @returns the value of the entry that is equal to `value`, or no value if the entry was not
	/// found.
	std::optional<Value> Get(const Key& key) const {
	if (auto [found, index] = this->IndexOf(key); found) {
	return this->slots_[index].entry->value;
	}
	return std::nullopt;
	}

	/// Searches for an entry with the given key, adding and returning the result of calling
	/// @p create if the entry was not found.
	/// @note: Before calling `create`, the map will insert a zero-initialized value for the given
	/// key, which will be replaced with the value returned by @p create. If @p create adds an entry
	/// with @p key to this map, it will be replaced.
	/// @param key the entry's key value to search for.
	/// @param create the create function to call if the map does not contain the key.
	/// @returns the value of the entry.
	template <typename K, typename CREATE>
	Value& GetOrCreate(K&& key, CREATE&& create) {
	auto res = Add(std::forward<K>(key), Value{});
	if (res.action == MapAction::kAdded) {
	// Store the map generation before calling create()
	auto generation = this->Generation();
	// Call create(), which might modify this map.
	auto value = create();
	// Was this map mutated?
	if (this->Generation() == generation) {
	// Calling create() did not touch the map. No need to lookup again.
	*res.value = std::move(value);
	} else {
	// Calling create() modified the map. Need to insert again.
	res = Replace(key, std::move(value));
	}
	}
	return *res.value;
	}

	/// Searches for an entry with the given key value, adding and returning a newly created
	/// zero-initialized value if the entry was not found.
	/// @param key the entry's key value to search for.
	/// @returns the value of the entry.
	template <typename K>
	Reference GetOrZero(K&& key) {
	auto res = Add(std::forward<K>(key), Value{});
	return Reference(*this, key, res.value);
	}

	/// @param key the key to search for.
	/// @returns a reference to the entry that is equal to the given value.
	Reference Find(const Key& key) { return Reference(*this, key); }

	/// @param key the key to search for.
	/// @returns a reference to the entry that is equal to the given value.
	ConstReference Find(const Key& key) const { return ConstReference(*this, key); }

	/// @returns the keys of the map as a vector.
	/// @note the order of the returned vector is non-deterministic between compilers.
	template <size_t N2 = N>
	Vector<Key, N2> Keys() const {
	Vector<Key, N2> out;
	out.Reserve(this->Count());
	for (auto it : *this) {
	out.Push(it.key);
	}
	return out;
	}

	/// @returns the values of the map as a vector
	/// @note the order of the returned vector is non-deterministic between compilers.
	template <size_t N2 = N>
	Vector<Value, N2> Values() const {
	Vector<Value, N2> out;
	out.Reserve(this->Count());
	for (auto it : *this) {
	out.Push(it.value);
	}
	return out;
	}

	private:
	Value* Lookup(const Key& key) {
	if (auto [found, index] = this->IndexOf(key); found) {
	return &this->slots_[index].entry->value;
	}
	return nullptr;
	}

	const Value* Lookup(const Key& key) const {
	if (auto [found, index] = this->IndexOf(key); found) {
	return &this->slots_[index].entry->value;
	}
	return nullptr;
	}
	};

	} // namespace tint::utils

	#endif // SRC_TINT_UTILS_HASHMAP_H_