containertrait.h

Go to the documentation of this file.

/*
 * Copyright (C) 2020 Ondrej Starek
 *
 * This file is part of OTest2
 *
 * OTest2 is free software: you can redistribute it and/or modify it under
 * the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License,
 * or (at your option) any later version.
 *
 * OTest2 is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
 * License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with OTest2.  If not, see <http://www.gnu.org/licenses/>.
 */
 
#ifndef OTest2_INCLUDE_OTEST2_CONTAINERTRAIT_H_
#define OTest2_INCLUDE_OTEST2_CONTAINERTRAIT_H_
 
#include <map>
#include <unordered_map>
#include <utility>
 
#include <otest2/typetraits.h>
 
namespace OTest2 {
 
template<typename Container_>
struct ListContainerTrait {
    static typename Container_::const_iterator begin(
        const Container_& cont_) {
      return cont_.begin();
    }
 
    static typename Container_::const_iterator end(
        const Container_& cont_) {
      return cont_.end();
    }
};
 
namespace Private {
 
template<typename Type_>
class HasContainerKeyComp {
  private:
    template<typename T_> struct SfinaeCheck : public std::true_type {};
 
    template<typename T_>
    static auto test_fce(void*) -> SfinaeCheck<decltype(&T_::key_comp)>;
    template<typename T_>
    static std::false_type test_fce(...);
 
  public:
    static constexpr bool value = decltype(test_fce<Type_>(nullptr))::value;
};
 
template<typename Container_>
struct MapTraitImplCommon {
    typedef typename Container_::key_type KeyType;
 
    typedef typename Container_::mapped_type ValueType;
 
    typedef typename Container_::const_iterator const_iterator;
 
    static const_iterator begin(
        const Container_& cont_) {
      return cont_.begin();
    }
 
    static const_iterator end(
        const Container_& cont_) {
      return cont_.end();
    }
 
    static std::pair<const_iterator, const_iterator> equalRange(
        const Container_& cont_,
        typename TypeTrait<KeyType>::BestArg key_) {
      return cont_.equal_range(key_);
    }
};
 
template<typename Container_, bool key_comp_>
struct MapTraitImpl;
 
template<typename Container_>
struct MapTraitImpl<Container_, true> : public MapTraitImplCommon<Container_>
{
    static bool keyEqual(
        const Container_& cont_,
        typename TypeTrait<typename MapTraitImplCommon<Container_>::KeyType>::BestArg a_key_,
        typename TypeTrait<typename MapTraitImplCommon<Container_>::KeyType>::BestArg b_key_) {
      return !cont_.key_comp()(a_key_, b_key_) && !cont_.key_comp()(b_key_, a_key_);
    }
};
 
template<typename Container_>
struct MapTraitImpl<Container_, false> : public MapTraitImplCommon<Container_>
{
    static bool keyEqual(
        const Container_& cont_,
        typename TypeTrait<typename MapTraitImplCommon<Container_>::KeyType>::BestArg a_key_,
        typename TypeTrait<typename MapTraitImplCommon<Container_>::KeyType>::BestArg b_key_) {
      return cont_.key_eq()(a_key_, b_key_);
    }
};
 
} /* -- namespace Private */
 
template<typename Container_>
struct MapContainerTrait :
    public Private::MapTraitImpl<
        Container_, Private::HasContainerKeyComp<Container_>::value> {};
 
} /* -- namespace OTest2 */
 
#endif /* -- OTest2_INCLUDE_OTEST2_CONTAINERTRAIT_H_ */