15

std::vector是一个不稳定的容器，即通过调整向量的大小，迭代器可能会失效。相反，std::listorboost::container::stable_vector是稳定的容器，它使迭代器保持有效，直到删除相应的元素。

有没有办法检查给定容器是否稳定？例如，如果我有类似的东西

template<template <typename A, typename B=std::allocator<A> > class T=std::list>
class Foo
{
}

是否可以只允许稳定的容器并禁止不稳定的容器？

4

1 回答 1

6

我认为没有任何可用的信息提供此类信息，但您可以编写自己的特征。但是，您需要为每个可能使用的稳定容器专门化它，这可能不是一个选择。

#include <boost/container/vector.hpp>

#include <iostream>
#include <type_traits>
#include <list>
#include <vector>

template <template <typename...> class Container>
struct is_stable
    : std::false_type
{};

template <>
struct is_stable<std::list>
    : std::true_type
{};

template <>
struct is_stable<boost::container::stable_vector>
    : std::true_type
{};

template<template <typename...> class Container = std::list>
class Foo
{
    static_assert(is_stable<Container>::value, "Container must be stable");
};

int main()
{
    Foo<std::list> f1; // ok
    Foo<std::vector> f2; // compiler error
}

我认为没有一种方法可以自动检测容器是否稳定，而无需求助于手动专业化。

只是为了好玩，我尝试编写稳定性的概念/公理（概念和公理是考虑包含在 C++11 中的语言的扩展）：

concept StableGroup<typename C, typename Op>
    : Container<C>
{
    void operator()(Op, C, C::value_type);

    axiom Stability(C c, Op op, C::size_type index, C::value_type val)
    {
        if (index <= c.size())
        {
            auto it = std::advance(c.begin(), index);
            op(c, val);
            return it;
        }
        <->
        if (index <= c.size())
        {
            op(c, val);
            return std::advance(c.begin(), index);
        }
    }
}

如果认为这正确地捕获了原始容器上的每个迭代器都等效于修改后容器上的相应迭代器的要求。不确定这是否非常有用，但提出这样的公理是一个有趣的练习:)！

于 2013-05-23T09:35:20.350 回答