为什么我们有 std::string::npos 但没有 std::vector::npos

Why do we have std::string::npos but no std::vector::npos?

本文关键字：npos std vector string 我们有 为什么      更新时间：2023-10-16

我想用 -1 来表示尚未计算的大小：

std::vector<std::size_t> sizes(nResults, -1);

我想知道为什么没有一种更富有表现力的方式：

std::vector<std::size_t> sizes(nResults, std::vector<std::size_t>::npos);

它基本上归结为一个相当简单的事实：std::string包括搜索功能，这导致需要告诉调用者搜索失败。 std::string::npos满足了这一要求。

std::vector本身没有任何搜索功能，因此无需告诉调用方搜索失败。因此，它不需要等效的std::string::npos。

标准算法确实包括搜索，因此它们确实需要能够告诉调用方搜索失败。它们使用迭代器，而不是直接使用集合，因此它们为此目的使用特殊的迭代器(永远不应取消引用的迭代器(。碰巧的是，std::vector::end()返回一个适合该目的的迭代器，所以使用了它 - 但这或多或少是偶然的。例如，这将在没有std::vector任何直接参与的情况下完成。

来自 cpp首选项：

std：：size_t 是 sizeof 的结果的无符号整数类型 运算符以及 sizeof 运算符和 alignof 运算符 (自C++11以来(....

。std：：size_t 可以存储最大大小 理论上任何类型的对象都可能...

size_t 是无符号的，不能表示 -1。 实际上，如果您要尝试将大小设置为 -1，您实际上会将它们设置为size_t表示的最大值。

因此，除了指示尚未计算大小的值外，还不应使用 size_t 来表示包含类型可能大小的值，因为可能大小集之外的任何值都不能用 size_t 表示。

您应该使用能够表达您希望表示的所有可能值的其他类型。 这是一种可能性：

struct possibly_computed_size_type
{
    size_t size;
    bool is_computed;
};

当然，你可能想要一个比这更具表现力的解决方案，但关键是至少possibly_computed_size_type能够存储我们希望表达的所有可能的值。

一种可能性是使用 optional 类型。 optional类型可以表示类型的值范围，附加值表示"对象没有值"。 提升库提供了这样的类型。

标准库还提供可选类型作为实验功能。 这是我使用此类型创建的示例：http://ideone.com/4J0yfe

相关文章：