C++ Typ całkowitą dwukrotność szerokości danego typu

Question

W tym przykładzie coord_squared_t jest alias typu całkowitą z co najmniej dwukrotnie większa od rodzaju całkowitej coord_t:

typedef int_least32_t coord_t; 

coord_squared_t CalculateSquaredHypothenuse(coord_t x, coord_t y){ 
    coord_squared_t _x=x; 
    coord_squared_t _y=y; 
    return _x*_x+_y*_y; 
} 

Co mogą być stosowane do ekspresji coord_squared_t pod względem coord_t? Czy jest coś w standardowej bibliotece, która pozwala mi zrobić coś w rodzaju double_width<coord_t>::type, aby uzyskać prawidłową szerokość, zamiast jawnie wybierać typ?

C++ 11 lub C++ 14 są w porządku.

Answer 1

Można użyć boost::int_t:

using coord_squared_t = boost::int_t<sizeof(coord_t)*CHAR_BIT*2>::least; 

Answer 2

Jeśli nie chcesz używać Boost może po prostu zaimplementować to ręcznie z niektórych specjalności:

template <class > struct next_size; 
template <class T> using next_size_t = typename next_size<T>::type; 
template <class T> struct tag { using type = T; }; 

template <> struct next_size<int_least8_t> : tag<int_least16_t> { }; 
template <> struct next_size<int_least16_t> : tag<int_least32_t> { }; 
template <> struct next_size<int_least32_t> : tag<int_least64_t> { }; 
template <> struct next_size<int_least64_t> : tag<???> { }; 

// + others if you want the other int types 

, a następnie:

using coord_squared_t = next_size_t<coord_t>; 

---

Alternatywnie można specjalizować w oparciu o liczbę bitów:

template <size_t N> struct by_size : by_size<N+1> { }; 
template <size_t N> using by_size_t = typename by_size<N>::type; 
template <class T> struct tag { using type = T; }; 

template <> struct by_size<8> : tag<int_least8_t> { }; 
template <> struct by_size<16> : tag<int_least16_t> { }; 
template <> struct by_size<32> : tag<int_least32_t> { }; 
template <> struct by_size<64> : tag<int_least64_t> { }; 

ten sposób coś by_size<45>::type jest int_least64_t powodu dziedziczenia. A następnie staje się tak jak odpowiedź Boost:

using coord_squared_t = by_size_t<2 * CHAR_BIT * sizeof(coord_t)>;