可能引用没有名称的C++数组类型

Possible to refer to a C++ array type without a name?

本文关键字：C++ 数组 类型 有名称 引用      更新时间：2023-10-16

我一直在问自己一个非常简单的C++问题，但似乎找不到确切的答案。是否可以在不命名的情况下引用C++数组的类型？显然，我在这里谈论的是大小数组，而不是指针！

例如，假设以下内容，其中ARRAY_T_N是T的n元素的普通阵列的类型：

template<class T, int n, bool useStd>
struct array :
    std::conditional<useStd, std::array<T,n>, ARRAY_T_N>
    {};

我可以使用一个简单的模板来定义ARRAY_T_N:

template<class T, int n> struct array_t {
    typedef T type[n];
};
// ARRAY_T_N is array_y<T,n>::type

但我想知道是否有一种语法可以在C++中原生地表达这种类型？

另一种方法是，通常情况下，类型可以绑定到一个名称：

BoundType variable; // variable declaration or function parameter
typedef BoundType  type_alias; // type aliasing

或者，它们可以匿名使用：

some_template<AnonType>  // template instantiation
using type_alias = AnonType; // C++11 type aliasing

在大多数情况下，对于给定的类型，形式BoundType和AnonType完全相同，如int* ptr和std::vector<int*>。

但有时情况会有所不同，比如函数指针：int (*fptr)(int)和std::vector<int(*)(int)>——这里的BoundType和AnonType对同一类型有不同的语法（比如说，你不能写int(*)(int) fptr）

在纯数组的情况下，C++是否定义了AnonType语法？

您当然可以直接使用数组类型，而不使用typedef或类型别名，例如：

std::unique_ptr< int[6] > smart;
相关文章：