C 模板函数如何确定数组的大小？

理解“数组的大小”模板函数

此代码使用模板函数来确定数组的长度，但其内部工作原理可能是神秘的。让我们深入研究一下它是如何完成这个任务的。

参数揭秘

函数参数 T(&)[size] 最初可能看起来令人困惑。从内到外解码它会显示对大小为 size 且类型为 T 的未命名数组的引用。这意味着它接受对任何数组的引用，其中数组的类型和大小由模板参数指定。

动作中的模板推导

当使用数组调用函数时，例如as:

int a[10];
GetArrLength(a);

编译器尝试推断模板参数。要匹配参数类型，T 必须为 int，大小必须为 10（导致参数引用 10 个整数的数组）。然后，该函数返回大小，提供数组中的元素数量。

解决潜在问题

此代码有两个潜在问题。首先，大小不能为负，因此有符号类型不应用于模板参数或返回类型。相反，应该使用无符号类型，例如 std::size_t:

template<typename T, std::size_t Size>
std::size_t GetArrLength(T(&amp;)[Size]) { return size; }

其次，尽管数组大小具有常量性质，但函数的结果不是常量表达式。为了增强可用性，首选常量表达式：

template <std::size_t N>
struct type_of_size
{
    typedef char type[N];
};

template <typename T, std::size_t Size>
typename type_of_size<Size>::type&amp; sizeof_array_helper(T(&amp;)[Size]);

#define sizeof_array(pArray) sizeof(sizeof_array_helper(pArray))

使用此技术，您可以将数组的大小作为常量表达式检索：

int a[10];
const std::size_t n = sizeof_array(a); // constant-expression!

以上是C 模板函数如何确定数组的大小？的详细内容。更多信息请关注PHP中文网其他相关文章！