c++ - 小字符串优化是不可取的吗？

Question

在下面的代码中，我们可以演示一个与将小/大字符串保存在向量中时相关的错误（这是因为小字符串可能不会在堆上分配）。

有人可能会争辩说，这不是标准库中的错误，而是程序员的错，因为引用了可能在重新分配过程中消失的东西。但作为一名程序员，我不应该知道数据结构的内部实现

#include<iostream>
#include<vector>


int main()
{
    std::vector<std::string> v;
    v.push_back("123456789abcdefg"); //bug if less than 16 characters
    const char* first = v[0].c_str();
    for (auto s : { "hi","guys" })
        v.push_back(s);

    std::cout << first << std::endl;

    std::cin.get();

}

标签： c++

Answer 1

但作为一名程序员，我不应该知道数据结构的内部实现

您应该了解您使用的标准库中数据结构的迭代器失效规则。它们是每个容器的公共合同的一部分，并且可以很容易地推断出何时可以使用指向标准库容器中某些内容的迭代器/引用/指针，而不会出现未定义行为的风险。

它与任何其他语言的任何其他接口都没有什么不同，它可以为某物分配句柄。只有满足某些条件，句柄才会有效。

并不是说 C++ 没有为您提供保护代码的工具。如果您需要某些更复杂的所有权语义，您可以创建智能指针容器，并且不同的容器具有不同的迭代器失效规则（由运行时或内存复杂性支付）。