万恶的C++ template编译机制

探讨了C++模板在不同编译模型下的挑战及解决方案,特别是在分离编译模型失效后如何利用Boost.Preprocessor自动生成多种类型实例化的预编译代码。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

    编译C++的function/class template真是个老大难问题啊!编译器对标准的支持参差不齐,有的还自搞一套,而标准本身对这个问题也在调整。听说在C++0x中export关键字要被删去, Separate Compilation Model估计随之走远了。而Inclusion Compilation Model本身就很不靠谱,除了冗余目标代码问题,更难以接受的是需要暴露实现细节给用户——但这是目前唯一可行的通用方法了。

    好在当定义的template只需要对某些特定的类型实例化的时候,可以显示预先声明这些可能用到的实例化(instantiation),然后编译它们。这样在用户那就可以直接使用这些instantiation的object code了。但是,加入一个模板有多个类型参数,比如template<typename A, typename B, typename C>,A, B, C分别可以是char, int, long long, float, double, 再来个uint64_t,那组合可就上百种啦,没人会一个一个的去手动声明吧。

    这时候boost的Preprocessor就派上用场了。利用BOOST_PP_SEQ_FOR_EACH_PRODUCT可以自动生成这些声明组合。关于利用Preprocessor批处理声明instantiation的例子,可以参考PCL库的做法:

http://pointclouds.org/documentation/tutorials/adding_custom_ptype.php#how-are-the-point-types-exposed

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值