Question

假设我有一个带有std::vector<bool> a和std::vector<int> b字段的类，我想在构造函数中reserve()到某个大小，这两个容器都相同。鉴于reserve()接受size_type参数，为了完全安全，我必须 - 从我的理解 - 使用两个参数编写我的构造函数，这不是特别有吸引力：

MyCtor(std::vector<bool>::size_type size1, std::vector<int>::size_type size2)
{
    abortIfNotEqual(size1, size2); // Proceed only if size1 == size2
    a.reserve(size1);
    b.reserve(size2);
}

从我读过的内容来看，size_type 通常与size_t相同，至少对于标准容器而言，所以我可能会在没有遇到任何问题的情况下这样做任何潜在的问题：

MyCtor(std::size_t size) { a.reserve(size); // More readable, but is this always ok? b.reserve(size); }

但是，是否有更好，更安全的方法来严格使用size_type而无需通过特定类型container<T>的特定T访问它？

在使用特定的container<T>时，必须使用特定的a[i]。访问元素：对于i，std::vector<bool>::size_type必须为unsigned int i，因为我假设使用例如size_t安全性会降低。

在这种情况下，是否存在通用，通用，更易读的方式？或者我应该只使用unsigned long int甚至是Object.keys而忘记这一点？

Answer 1

由于您的问题的主要组成部分是如何确保您的安全，而只是假设大小类型相同，我建议使用static_assert std :: is_same。这用c ++ 17编译：

简化符号很重要，所以在这里，我在这个类上键入一个size_type，并在内部确保它与它所代表的两种大小类型相同。如果它们不匹配，则是编译时错误。

#include <vector>

class MyCtor {
    std::vector<bool> a;
    std::vector<int> b;
    typedef std::vector<bool>::size_type st1;
    typedef std::vector<int>::size_type st2;
    static_assert(std::is_same<st1, st2>::value);
public:
    typedef st2 size_type;
    MyCtor(size_type s1, size_type s2) {}
};

特别感谢这个堆栈溢出答案：How to check if two types are same at compiletime(bonus points if it works with Boost strong typedef)，其中还包括c ++ 11解决方法。

Answer 2

我有功能接受两种类型中较小的一种。在C ++ 11中，这可以通过以下方式完成：

#include <vector>
#include <type_traits>
#include <limits>

typedef std::vector<bool>::size_type boolType;
typedef std::vector<int>::size_type intType;

typedef std::conditional<(std::numeric_limits<boolType>::max() <
                          std::numeric_limits<intType>::max()),
                         boolType,
                         intType>::type smallerSizeType;

MyCtor(smallerSizeType size)
{...}

缺少C ++ 11，您可以手动定义自己的std::conditional版本，并将std::numeric_limits<boolType>::max()替换为static_cast<boolType>(-1)等。

有没有办法对不同类型的T使用容器<t> :: size_type？

2 个答案: