nd_offset.hpp

Go to the documentation of this file.

#ifndef SANISIZER_ND_OFFSET_HPP
#define SANISIZER_ND_OFFSET_HPP
 
#include <type_traits>
 
#include "generics.hpp"
 
namespace sanisizer {
 
template<typename Size_, typename Extent_, typename NextIndex_>
constexpr Size_ nd_offset_internal(Extent_ extent, NextIndex_ pos) {
    static_assert(std::is_integral<Size_>::value);
    return get_value(extent) * get_value(pos);
}
 
template<typename Size_, typename Extent_, typename NextIndex_, typename... MoreArgs_>
constexpr Size_ nd_offset_internal(Extent_ extent, NextIndex_ pos, MoreArgs_... more_args) {
    static_assert(std::is_integral<Size_>::value);
    return (get_value(pos) + nd_offset_internal<Size_>(more_args...)) * get_value(extent);
}
template<typename Size_, typename FirstIndex_, typename FirstExtent_, typename SecondIndex_, typename... Remaining_>
constexpr Size_ nd_offset(FirstIndex_ x1, FirstExtent_ extent1, SecondIndex_ x2, Remaining_... remaining) {
    static_assert(std::is_integral<Size_>::value);
 
    // Note that we don't use Size_ in the function signature, even though everything is cast to Size_.
    // This avoids inadvertent deduction of Size_ from the input types.
    // The user is always forced to explicitly specify Size_ to avoid any risk of accidental overflow.
    return static_cast<Size_>(get_value(x1)) + nd_offset_internal<Size_>(extent1, x2, remaining...);
}
 
}
 
#endif