constexpr返回多维C风格数组的维度元组

Question

有没有办法扩展/修改/实现constexpr来返回多维C风格数组维度的std :: tuple？

#include <iostream>
#include <tuple>
template<typename T, std::size_t N>
auto arraysize(T (&arr)[N])
{
    return std::make_tuple(N);
}

IOW,如何使arrayize适用于任何维数组？以上"工作"但只返回一个维度:

int i[5];
std::cout << std::get<0>(arraysize(i)) << std::endl;

工作,并返回5.并且,

char c[3][4];
std::cout << std::get<0>(arraysize(c)) << std::endl;

工作,并返回3,但是

std::cout << std::get<1>(arraysize(c)) << std::endl;

不编译因为arraysize()没有正确编码.有没有办法将其编码为constexpr来处理任何维数组？尝试使用参数包但没有成功.

Answer 1

使用std::rank和std::extent索引序列技巧:实例

#include <tuple>
#include <type_traits>
#include <utility>

template<typename Arr, std::size_t... Is>
constexpr auto extents_impl(const Arr&, std::index_sequence<Is...>) {
    return std::make_tuple(std::extent_v<Arr, Is>...);
}

template<typename Arr>
constexpr auto extents(const Arr& arr) {
    return extents_impl(arr, std::make_index_sequence<std::rank_v<Arr>>{});
}

对于非数组类型或未知范围的数组,这些特征也返回0,如果没有给出函数类型,则会留下空元组.当然,如果您愿意,您可以在那里执行额外的检查.