Question

可悲的是，UFCS没有进入C ++ 17，这给我带来了一个反复出现的问题：有时我想使用方法调用语法为类型提供额外的功能（无需编写全局函数）。在处理monad时，这尤其方便。

我看到两个选项：一个是继承，另一个是封装。因为您无法安全地从STL容器继承，所以会留下封装。例如，我想扩展SlugRelatedFields，所以我写道：

std::optional

我的问题是，每次我想要这样做时，我基本上都必须编写原始类型具有的所有构造函数（以及可以与原始类型一起使用的所需方法，如向量的template <typename T> struct myoption { // Some functionality private: std::optional<T> impl; };）。即使是更简单的容器，也可选有9个构造函数。使用继承时，我可以简单地继承＆＃39;超类的方法和构造函数。有没有办法使用封装更容易？

Answer 1

我会通过使用私有继承来实现它：

#define MAKE_PUBLIC(method) using std::vector<T>::method

template <typename T>
struct My_vector : private std::vector<T> {
    MAKE_PUBLIC(push_back);
    MAKE_PUBLIC(pop_back);
};

int main() {
    My_vector<int> v;
    v.push_back(3);
    std::vector<int>* vec = new My_vector<int>; // won't compile
}

这样，您可以确保无法使用动态类型My_vector创建对象，并减少仅通过宏（或使用指令）访问继承方法的工作量为每个成员函数和过载创建前向函数。

在C ++中扩展类型

1 个答案: