src/tint/utils/unique_vector.h

// Copyright 2021 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_UNIQUE_VECTOR_H_
#define SRC_TINT_UTILS_UNIQUE_VECTOR_H_

#include <cstddef>
#include <functional>
#include <unordered_set>
#include <utility>
#include <vector>

namespace tint::utils {

/// UniqueVector is an ordered container that only contains unique items.
/// Attempting to add a duplicate is a no-op.
template <typename T, typename HASH = std::hash<T>, typename EQUAL = std::equal_to<T>>
struct UniqueVector {
    /// The iterator returned by begin() and end()
    using ConstIterator = typename std::vector<T>::const_iterator;
    /// The iterator returned by rbegin() and rend()
    using ConstReverseIterator = typename std::vector<T>::const_reverse_iterator;

    /// Constructor
    UniqueVector() = default;

    /// Constructor
    /// @param v the vector to construct this UniqueVector with. Duplicate
    /// elements will be removed.
    explicit UniqueVector(std::vector<T>&& v) {
        for (auto& el : v) {
            add(el);
        }
    }

    /// add appends the item to the end of the vector, if the vector does not
    /// already contain the given item.
    /// @param item the item to append to the end of the vector
    /// @returns true if the item was added, otherwise false.
    bool add(const T& item) {
        if (set.count(item) == 0) {
            vector.emplace_back(item);
            set.emplace(item);
            return true;
        }
        return false;
    }

    /// @returns true if the vector contains `item`
    /// @param item the item
    bool contains(const T& item) const { return set.count(item); }

    /// @param i the index of the element to retrieve
    /// @returns the element at the index `i`
    T& operator[](size_t i) { return vector[i]; }

    /// @param i the index of the element to retrieve
    /// @returns the element at the index `i`
    const T& operator[](size_t i) const { return vector[i]; }

    /// @returns true if the vector is empty
    bool empty() const { return vector.empty(); }

    /// @returns the number of items in the vector
    size_t size() const { return vector.size(); }

    /// @returns an iterator to the beginning of the vector
    ConstIterator begin() const { return vector.begin(); }

    /// @returns an iterator to the end of the vector
    ConstIterator end() const { return vector.end(); }

    /// @returns an iterator to the beginning of the reversed vector
    ConstReverseIterator rbegin() const { return vector.rbegin(); }

    /// @returns an iterator to the end of the reversed vector
    ConstReverseIterator rend() const { return vector.rend(); }

    /// @returns a const reference to the internal vector
    operator const std::vector<T>&() const { return vector; }

    /// Removes the last element from the vector
    /// @returns the popped element
    T pop_back() {
        auto el = std::move(vector.back());
        set.erase(el);
        vector.pop_back();
        return el;
    }

  private:
    std::vector<T> vector;
    std::unordered_set<T, HASH, EQUAL> set;
};

}  // namespace tint::utils

#endif  // SRC_TINT_UTILS_UNIQUE_VECTOR_H_