在std::数组上使用std::extent

Using std::extent on std::array

本文关键字：std extent 数组      更新时间：2023-10-16

我有一个模板化的函数，我想要static_assert，它的类型有一个大小为3。下面的代码演示了我要做的事情，但没有工作:

template < typename T >
void foo( T& param )
{
    // This line is the one that I need to figure out how to write
    static_assert( 3 == std::extent< T >::value, "param must have a size of 3" );
}
int main( void )
{
    int cArray[3];
    std::array< int, 3 > stdArray;
    foo( cArray );
    foo( stdArray );
}

std::extent是为内置数组定义的。对于std::array，用std::tuple_size代替。我不知道有什么特性对两者都有效，但写一个很容易:

template<typename T>
struct array_size : std::extent<T> { };
template<typename T, size_t N>
struct array_size<std::array<T,N> > : std::tuple_size<std::array<T,N> > { };

这是你的foo，更正/概括(实例):

template < typename T >
void foo( T&& param )
{
    using U = typename std::remove_cv<typename std::remove_reference<T>::type>::type;
    static_assert( 3 == array_size<U>::value, "param must have a size of 3" );
}

首选通用引用T&& param，否则只能使用左值

这是基于iavr的解决方案。

template < typename T >
void foo( T& param )
{
    static_assert( 3 == ( std::is_array< T >::value ? std::extent< T >::value : std::tuple_size< T >::value ), "param must have a size of 3" );
}

我想不出一种方法来编写一个同时处理两者的函数，但这就是重载的作用。

template <std::size_t N, typename T, std::size_t Bound>
void check_array_size( T (&)[Bound] )
{
    static_assert(Bound == N, "incorrect array size");
}
template <std::size_t N, typename T, std::size_t Bound>
void check_array_size( const std::array<T,Bound>& )
{
    static_assert(Bound == N, "incorrect array size");
}
template <std::size_t N>
void check_array_size( ... )
{
    static_assert(N<0, "argument is not an array");
}
template <typename T>
void foo(T& param)
{
    check_array_size<3>(param);
    // actual function implementation...
}

我怀疑你有这个错误，因为在编译时(这是*static_assert*求值时)cArray和stdArray的尺寸是未知的，并且std::extent返回零:

http://en.cppreference.com/w/cpp/types/extent

实际上，如果您将条件更改为等于零，则错误将消失:

static_assert( std::extent< T >::value == 0, "param is not zero" );
然而，正如在其他文章中已经指出的那样，std::extent不能用于std::array，只能用于内置数组，如cArray

AFTER OP's EDIT:现在您已经修改了foo以接受引用，您将得到std::extent对于cArray报告3，对于stdArray报告0(零)。因此，您将在编译时继续遇到异常，因为stdArray的维数不是3。

相关文章：