使用一元调整大小减小非默认可构造元素容器的大小

Question

使用push_back/emplace_back（罕见的push_front/emplace_front 甚至push_after/emplace_after）我几乎可以从STL 中填充任何容器。甚至是非默认可构造元素的容器。减小尺寸只需要元素的析构函数（此外，容器必须要求元素为Destructible）。但我不能简单地使用resize（如果存在）来减小非默认可构造元素容器的大小。相反，我必须使用一种解决方法，即使对于它们中最不严格的（特殊功能）：std::list。

#include <list>

#include <cstdlib>

int
main()
{
    // construct
    std::list< std::reference_wrapper< int > > l;
    // fill
    int i{};
    l.emplace_back(i);
    int j{};
    l.emplace_back(j);
    // save intermediate state for future
    std::size_t const size = l.size();
    // continue appending
    int k{};
    l.emplace_back(k);
    // now I want to rollback to saved state
    //l.resize(size); // just need to call the destructors, but illegal due to not default constructible value_type
    // so I have to use a workaround
    for (std::size_t s = l.size(); size < s; --s) {
        l.pop_back();
    }
    return EXIT_SUCCESS;
}

即使是一元 std::list::resize 版本 std::list::value_type 也应该是 DefaultInsertable。

我希望一元 resize(std::size_t) 仅用于上述类型的容器中的“减小大小”目的。如果value_type 不是DefaultConstructible，则可以禁止resize(std::size_t, value_type = value_type()) 参与重载决议（例如，使用基类调度）以支持resize(std::size_t)/resize(std::size_t, value_type) 对。如果所需的大小大于当前大小，例如resize(std::size_t)，则应该抛出std::bad_alloc。有可能设计吗？

Answer 1

value_type 必须是默认可构造的 (DefaultInsertable)，因为resize 的接口包含增加和减少大小的代码。即使你只使用了一半的代码，整个函数也必须编译。

还有一个两个参数resize，您可以在其中提供大小增加时要使用的值。在这种情况下，value_type 不必是默认可构造的。

所以，如果你调用l.resize(size, dummy_value)，你就解除了对类型的限制。这里的dummy_value 可能是l.front()，或者您可以使用的任何其他元素。如果size参数小于l.size()，无论如何都不会使用。