c++ - 为什么 std::future 和 std::promise 不是最终的？

Question

我不知道为什么要上课 std::future和 std::promise没有用 final 说明符标记。 destructor是 not 虚拟的，为什么没有添加 final？理由是什么？

Answer 1

用 std::vector 看看这个人为的(当然是荒谬的)示例:

template <class T>
struct Example : private std::vector<T> {
   void doStuff(const T& t) { this->push_back(t); }
   T retrieveStuff() { return this->operator[](0); }
};

Example<int> e;

e.doStuff(42);
std::cout << e.retrieveStuff() << "\n";

这可行，由于 std::vector::~vector，您无法进入 UB不是 virtual因为您不能通过基类指针删除对象(public 需要继承)。

这里的继承只是一个实现细节。不推荐的做法，但人们可能已经这样做了。一旦做出不破坏现有代码的决定，通过制作 std::vector或其他容器类型 final , 坚持使用不同的词汇类型是有意义的，比如 std::promise或 std::future .