“指向成员的智能指针”的真实示例是什么？

Question

为了澄清英语中可能存在的优先级歧义：我们正在讨论“智能（指向成员的指针）”，而不是“指向成员的（智能指针）”。

我会将一个指向成员的智能指针定义为带有operator ->* (T* lhs, X rhs) 重载的类X。

在他的文章"Implementing operator->* for Smart Pointers" 中，Scott Meyers 只是简单地触及了 smart 指向成员的指针，因为当时（1999 年）具体问题对于 来说已经足够困难了raw 指向成员的指针（旁注：后者可以用 lambdas here 优雅地解决）。

无论如何，Scott Meyers 在脚注中写道：

在写完这篇文章的草稿后不久，我的一位顾问 客户向我展示了一个问题，该问题自然可以通过指向成员的智能指针来解决。我也很惊讶。

我试图为这种自然的指向成员的智能指针找到一个示例。 但我自己也想不出任何东西，在线搜索也没有找到我要找的东西。

你知道任何现实世界的“智能指针指向成员”的例子吗？

编辑： 我不是在寻找任何->* 过载（正如某些 EDSL 所做的那样）。 针对语义类似于内置->* 的示例，我上面的定义明确要求lhs 是一个原始指针。

Answer 1

您有一个布局引擎，应该可以旋转 90 度（高度和宽度交换）。

使用智能成员指针可以使(foo->*x) 和(foo->*y) 交换含义。相同的智能x 和y 可以处理不同类型的数据（矩形、点、向量），甚至可以处理您不拥有的类型。

template<class F>
struct smart_pm_t {
  F f;
  template<class T>
  friend decltype(auto) operator->*(T* t, smart_pm_t const& self ) {
    return self.f(t);
  }
};

template<class F>
smart_pm_t<F> smart_pm( F f ) { return {std::move(f)}; }

auto x = smart_pm( [](auto* t)->decltype(auto) noexcept { return t->x; } );
auto y = smart_pm( [](auto* t)->decltype(auto) noexcept { return t->y; } );

我们可以和他们一起变得更好。

do_layout( data, x, y );

对

do_layout( data, y, x );

水平或垂直解决问题。

这是实际生产代码中的一个实际（简化）用例，它减少了代码重复并解决了一大堆错误，因为我们只需要修复代码一次。

右手普通成员指针的问题是我们必须传递一整套成员指针，每种类型一个在左侧工作。

实际上，我们编写了一个编译时多态成员指针。