//////////////////// // // Name: Array Rank + Extent // Author: Shadow // Version: 1.0.0 // Date: 15.04.2019 // Description: Implementation of the rank and extent // functionality provided by the // library. // Planned: - // //////////////////// // //////////PREPROCESSOR////////// // #include // //////////CLASSES////////// // template struct integral_constant { static constexpr T value = v; using value_type = T; using type = integral_constant< T, v >; constexpr operator T() const noexcept { return v; } constexpr T operator ()() const noexcept { return v; } }; template struct rank_of : public integral_constant< std::size_t, 0 > {}; template struct rank_of< T[] > : public integral_constant< std::size_t, 1 + rank_of< T >::value > {}; template struct rank_of< T[N] > : public integral_constant< std::size_t, 1 + rank_of< T >::value > {}; template constexpr std::size_t rank_of_v = rank_of< T >::value; template struct extent_of : public integral_constant< std::size_t, 0 > {}; template struct extent_of< T[], 0 > : public integral_constant< std::size_t, 0 > {}; template struct extent_of< T[], Dimension > : public extent_of< T, Dimension - 1 > {}; template struct extent_of< T[N], 0 > : public integral_constant< std::size_t, N > {}; template struct extent_of< T[N], Dimension > : public extent_of< T, Dimension - 1 > {}; template constexpr std::size_t extent_of_v = extent_of< T, Dimension >::value; // //////////MAIN FUNCTION////////// // int main() { std::cout << "Computing the rank (number of dimensions) of an array:" << "\nint >>> " << rank_of_v< int > << "\nint[] >>> " << rank_of_v< int[] > << "\nint[20] >>> " << rank_of_v< int[20] > << "\nint[][5] >>> " << rank_of_v< int[][5] > << std::endl; std::cout << "\nComputing the extent (number of fields) of an array's dimension:" << "\nint >>> " << extent_of_v< int > << "\nint[] >>> " << extent_of_v< int[] > << "\nint[10][20], 0 >>> " << extent_of_v< int[10][20], 0 > << "\nint[10][20], 1 >>> " << extent_of_v< int[10][20], 1 > << std::endl; return 0; }