nd_offset.hpp

Go to the documentation of this file.

#ifndef SANISIZER_ND_OFFSET_HPP
#define SANISIZER_ND_OFFSET_HPP
 
#include <type_traits>
 
namespace sanisizer {
 
template<typename Size_>
constexpr Size_ nd_offset_internal(Size_ extent, Size_ pos) {
    static_assert(std::is_integral<Size_>::value);
    return extent * pos;
}
 
template<typename Size_, typename... MoreArgs_>
constexpr Size_ nd_offset_internal(Size_ extent, Size_ pos, MoreArgs_... more_args) {
    static_assert(std::is_integral<Size_>::value);
    return (pos + nd_offset_internal<Size_>(more_args...)) * 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);
    static_assert(std::is_integral<FirstIndex_>::value);
    static_assert(std::is_integral<FirstExtent_>::value);
    static_assert(std::is_integral<SecondIndex_>::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_>(x1) + nd_offset_internal<Size_>(extent1, x2, remaining...);
}
 
}
 
#endif