[收藏本方案]

第三章 深度探索元函数 (3)[9]

[入库：2005年8月19日] [更新：2007年3月24日]

本文简介：选择自 pongba 的 blog
首页 上页 下页 尾页 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21]

 

换句话说，一个占位符表达式始终包含（至少）一个占位符。

 

3.5.3 lambda和非元函数（non-metafunction）模板

关于占位符表达式，一个尚未讨论的细节是：为了使普通模板更容易融入元编程，mpl对它们使用了特殊的规则。在所有的占位符都被相应的实际参数替换后，如果作为结果的模板特化体x并没有内嵌的::type，那么结果就是x自身。

例如，mpl::apply<std::vector<_>,t>的结果始终都是std::vector<t>。如果不是由于这个行为，我们就得写一个元函数用于在lambda表达式中创建模板特化体：

首页 上页 下页 尾页 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21]
本文关键：第三章 深度探索元函数 (3)
 

本站最佳浏览方式为 分辨率 1024x768 IE 6.0（或更高版本的 IE浏览器）

go top