C++ - 占位符如何工作(特别是在 boost::type_erasure 中)？

Question

我正在尝试了解类型删除技术，正如所讨论的 here并在 adobe::poly 和 Boost::TypeErasure 中实现。不幸的是，我似乎缺少对占位符的基本理解；我目前正在努力理解 boost 文档 (here) 中的以下代码:

std::vector<int> vec;
any<has_push_back<_self, int>, _self&> c(vec);

我的问题如下:

1) 我相信我已经看到了几个占位符的例子——在 lambdas、Boost MPL 等中。似乎有一个约定用前导下划线来指定它们。我的理解是，根据标准，带有前导下划线的标识符是保留的，至少在文件/全局范围内是这样。如果这是正确的，那就表明占位符是在某处定义的。那么“_self”占位符在哪里以及如何定义的呢？ (我在库中看到一个声明，但仅此而已 - 没有实现。这就是所需要的吗？)

2) 据推测，每个库都定义了它们的占位符——但它们通常具有相同的名称(例如，“_1”、“_2”、……)。因此，当在翻译单元中一起使用多个库时，开发人员通常需要明确限定使用以避免歧义/冲突？或者 ADL 是否以某种方式缓解了这种情况？明确限定占位符是最佳做法，还是避免这样做以避免过多的“语法噪音”？

3) 在上面的代码中，在“any”的实例化过程中，“_self”似乎被替换为std::vector。这是从这个变量声明/初始化语句中隐式推导出来的吗？ (也许通过 ctor 模板？？？)如果不是，它是如何工作的？

4) 这些占位符是否总是模板参数的类型说明符？这是元编程/lambda 源库中常见的规范用法吗？

提前感谢您对此的想法!

Answer 1

一般来说，占位符只是可以在模板元编程中“切换”的唯一类型。

通常，当有多个相同“种类”的占位符时，它们是相关的，例如:

template <int N>
struct my_placeholder_t {
    enum { value = N };
};

typedef my_placeholder_t<0> _0;
typedef my_placeholder_t<1> _1;
typedef my_placeholder_t<2> _2;
...

这种关系仅仅使编写通用代码变得更容易，但对最终用户来说并不重要:

typedef /*implementation-defined*/ _0;
typedef /*implementation-defined*/ _1;
typedef /*implementation-defined*/ _2;
...

---

实现将在稍后阶段使用占位符。占位符通常以一种类型编码:

auto et = foo(_2, _1);

会产生一个对象，例如template_expr<something, ..., my_placeholder_t<2>, my_placeholder_t<1>> (参见 Expression templates)。

在稍后阶段，这些类型将被“解释”，例如当你这样做时:

do_action(et, make_tuple("忽略!", "something", 42));

执行do_action可以解释占位符以从该元组中获取相应的元素，例如这就是bind库函数(std::bind、boost::bind、boost::lambda::bind、boost::phoenix::bind、boost::mpl::bind...)都倾向于这样做。

---

在 Boost TypeErasure 占位符 _self主要用于指定this的资格成员函数概念规范中的参数。