C 模板参数推导如何确定函数模板中的数组大小？-C++-PHP中文网

首页

后端开发

C++

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

Mary-Kate Olsen

Nov 30, 2024 pm 03:22 PM

How Does C Template Argument Deduction Determine Array Sizes in Function Templates?

了解函数模板中的模板参数推导

考虑以下代码，其中函数模板 cal_size 用于计算和打印数组的大小:

#include <iostream>

template <typename T, size_t N>
void cal_size(T (&amp;a)[N])
{
    std::cout << "size of array is: " << N << std::endl;
}

当程序执行时，它会打印正确的大小两个数组：

int a[] = {1,2,3,4,5,6};
int b[] = {1};

cal_size(a);
cal_size(b);

那么，模板函数 cal_size 如何自动推导出传递数组的大小，即使大小没有作为参数显式传递？

答案在于C 中模板参数推导的概念。它的工作原理如下：

在编译期间，编译器会根据传递给模板函数的参数的实际类型执行模板参数推导，以确定 T 的类型和 N 的值。在这种情况下，当使用参数 a 调用 cal_size 时，编译器将 T 推断为 int，将 N 推断为 6，从而在编译时创建一个专门的函数 cal_size_int_6：

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

同样，对于参数 b，编译器将 T 推导为 int，将 N 推导为 1，从而产生特化cal_size_int_1:

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

因此，原始 cal_size 模板有效地创建了两个单独的函数专业化，每个函数都有自己的硬编码 T 和 N 值。此过程可确保每次调用 cal_size 时打印正确的数组大小。

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

本站声明

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn

热AI工具

热工具

热门话题

PHP教程

1598

276

显示更多

Related knowledge

C char数组到字符串示例 Aug 02, 2025 am 05:52 AM

答案是：使用std::string构造函数可将char数组转换为std::string，若数组含中间'\0'则需指定长度。1.对于以'\0'结尾的C风格字符串，直接用std::stringstr(charArray);即可完成转换；2.若char数组包含中间'\0'但需转换前N个字符，应使用std::stringstr(charArray,length);明确指定长度；3.处理固定大小数组时确保其以'\0'结尾再转换；4.可用str.assign(charArray,charArray strl

迭代时从矢量擦除 Aug 05, 2025 am 09:16 AM

删除元素时若正在迭代，必须避免使用失效迭代器。①正确做法是使用it=vec.erase(it)，利用erase返回的有效迭代器继续遍历；②批量删除推荐“erase-remove”惯用法：vec.erase(std::remove_if(vec.begin(),vec.end(),条件),vec.end())，安全且高效；③可使用反向迭代器从后往前删除，逻辑清晰但需注意条件方向。结论：始终用erase返回值更新迭代器，禁止对已失效迭代器执行操作，否则导致未定义行为。

C自动关键字示例 Aug 05, 2025 am 08:58 AM

theAutokeywordInc decteStheTypeOfavariable fromitsInitializer，makecodecleanerandmoraintableable.1.itredreducesverbosity，尤其是withcomplextypeslikeiterators.2.itenhancesmaintainabilitionalobilitybyautaperaimatoragationalaimatoragationalapationalabilationalabilationalapationalapationalabilabilationalabilationalapationalabilationalapationalablemaintartaptingtopypechanges.3.ithicalemenderarefornelect

如何使用C 20的STD :: source_location以获得更好的记录？ Aug 11, 2025 pm 08:55 PM

使用std::source_location::current()作为默认参数可自动捕获调用点的文件名、行号和函数名；2.可通过宏如#defineLOG(msg)log(msg,std::source_location::current())简化日志调用；3.可结合日志级别、时间戳等信息扩展日志内容；4.为优化性能，可省略函数名或在发布版本中禁用位置信息；5.column()等细节较少使用，但可用。使用std::source_location能以极低开销显着提升日志的调试价值，无需手动传入FIL

c Mutex示例 Aug 03, 2025 am 08:43 AM

std::mutex用于保护共享资源以防止数据竞争，示例中通过std::lock_guard自动加锁和解锁确保多线程安全；1.使用std::mutex和std::lock_guard可避免手动管理锁带来的异常风险；2.共享变量如计数器在多线程修改时必须用互斥量保护；3.推荐RAII风格的锁管理以确保异常安全；4.避免死锁需按固定顺序获取多个锁；5.任何多线程访问共享资源场景都应使用互斥量同步，最终程序正确输出Expected:10000和Actual:10000。

C在矢量示例中查找 Aug 02, 2025 am 08:40 AM

在C 中查找vector元素最常用的方法是使用std::find，1.使用std::find配合迭代器范围和目标值进行查找，通过比较返回的迭代器是否等于end()来判断是否找到；2.对于自定义类型或复杂条件，应使用std::find_if并传入谓词函数或lambda表达式；3.查找字符串等标准类型时直接传入目标字符串即可；4.每次查找时间复杂度为O(n)，适用于小规模数据，频繁查找应考虑使用std::set或std::unordered_set，该方法简单有效且广泛适用于各类查找场景。

C记忆顺序放松示例 Aug 08, 2025 am 01:00 AM

memory_order_relaxed适用于仅需原子性而无需同步或顺序保证的场景，如计数器、统计信息等。1.使用memory_order_relaxed时，操作可被编译器或CPU重排，只要不破坏单线程数据依赖。2.示例中多个线程对原子计数器递增，因只关心最终值且操作一致，relaxed内存序安全高效。3.fetch_add和load使用relaxed时不提供同步或顺序约束。4.错误示例中用relaxed实现生产者-消费者同步，可能导致消费者读取到未更新的data值，因无顺序保证。5.正确做法是

C升级库示例 Jul 30, 2025 am 01:20 AM

安装Boost库，2.编写使用Boost.Asio进行DNS解析的代码，3.编译并链接boost_system库，4.运行程序输出www.google.com解析出的IP地址；该示例展示了Boost.Asio如何简化C 中的网络编程，通过io_context和tcp::resolver实现跨平台、类型安全的同步DNS查询，并支持IPv4和IPv6地址解析，最终打印所有解析结果。

See all articles

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

热AI工具

Undress AI Tool

Undresser.AI Undress

AI Clothes Remover

Clothoff.io

Video Face Swap

热门文章

热工具

记事本++7.3.1

SublimeText3汉化版

禅工作室 13.0.1

Dreamweaver CS6

SublimeText3 Mac版

热门话题