C 中模板参数推导如何确定数组大小？

模板参数推导如何揭示数组大小

在提供的 C 代码中，模板函数 cal_size 打印数组引用参数的大小。有趣的是模板参数 N 如何自动反映传递数组的长度。

模板参数推导

N 不是一个初始化变量；它是一个编译时常量。通过称为模板参数推导的过程，T 和 N 都是从传递给模板函数的参数中推断出来的。

考虑以下对 cal_size 的调用：

• 对于 a 数组（长度 6）：编译器将 T 推断为 int，将 N 推断为 6。它生成一个专门的函数：

void cal_size_int_6(int (&a)[6]) {
  std::cout << "size of array is: " << 6 << std::endl;
}

• 对于 b 数组（长度 1）：同样，编译器将 T 推断为 int，N 推断为 1，从而生成另一个专用函数：

void cal_size_int_1(int (&a)[1]) {
  std::cout << "size of array is: " << 1 << std::endl;
}

单独的函数调用

本质上是 cal_size 模板转换为具有 N 和 T 硬编码值的单独专用函数。 main 函数等效于：

int main() {
  cal_size_int_6(a);
  cal_size_int_1(b);
}

总之，模板参数推导使模板能够从参数类型推导数组大小。底层机制涉及为每个独特的参数类型组合生成专门的函数，每个函数都有自己静态确定的 N 和 T 值。

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