C++标准模板（STL）- 类型支持 （类型修改，从给定数组类型移除一个维度，std::remove_extent）

类型特性

类型特性定义一个编译时基于模板的结构，以查询或修改类型的属性。

试图特化定义于 <type_traits> 头文件的模板导致未定义行为，除了 std::common_type 可依照其所描述特化。

定义于<type_traits>头文件的模板可以用不完整类型实例化，除非另外有指定，尽管通常禁止以不完整类型实例化标准库模板。
 

类型修改

类型修改模板通过应用修改到模板参数，创建新类型定义。结果类型可以通过成员 typedef type 访问。
 

从给定数组类型移除一个维度

std::remove_extent

template< class T > struct remove_extent;

(C++11 起)

若 T 是某类型 X 的数组，则提供等于 X 的成员 typedef type ，否则 type 为 T 。注意若 T 是多维数组，则只移除第一维。

成员类型

类型	定义
type	T 的元素类型

辅助类型

template< class T > using remove_extent_t = typename remove_extent<T>::type;

(C++14 起)

可能的实现

template<class T>
struct remove_extent { typedef T type; };
 
template<class T>
struct remove_extent<T[]> { typedef T type; };
 
template<class T, std::size_t N>
struct remove_extent<T[N]> { typedef T type; };

调用示例

#include <iostream>
#include <iterator>
#include <algorithm>
#include <type_traits>

//std::rank(C++11)获取数组类型的维数
//std::extent(C++11)获取数组类型在指定维度的大小

template<class A>
typename std::enable_if< std::rank<A>::value == 1 >::type
print_1d(const A& a)
{
    std::copy(a, a + std::extent<A>::value,
              std::ostream_iterator<typename std::remove_extent<A>::type>(std::cout, " "));
    std::cout << std::endl;
}

int main()
{
    int a[][5] = {
   
   {1, 2, 3, 7, 8}, {4, 5, 6, 9, 0}};
    //  print_1d(a); // 编译时错误
    print_1d(a[0]);
    print_1d(a[1]);
    std::cout << std::endl;

    char str[][5] = {
   
   {'a', 'b', 'c', 'd', 'f'}, {'h', 'i', 'j', 'k', 'l'}};
    print_1d(str[0]);
    print_1d(str[1]);
    std::cout << std::endl;

    return 0;
}

输出

1 2 3 7 8
4 5 6 9 0

a b c d f
h i j k l