c++ - 使用自定义分配器引用字符串的 std::basic_string 特化作为 std::string 的常量对象而无需开销？

Question

给定一个 std::basic_string<char, std::char_traits<char>,my_allocator<char> > 类的对象，如何将它传递给需要对类 std::string 的对象的常量引用的第三方函数不制作任何拷贝？

我的想法是，如果我们假设一个无状态分配器，那么理论上，两种类型在运行时应该完全相同。因此，我们可以简单地重新解释强制类型转换，例如:

// my_allocator template is some place else...
typedef std::basic_string< char, std::char_traits<char>,
                           my_allocator<char> > my_string;

void third_party_foo(const std::string &s);

int main()
{
    const my_string str = "Hello, world!";
    third_party_foo(*(const std::string *)&str);
}

给定一个具有状态的分配器(从 C++11 开始我们就可以拥有它)，我认为这要危险得多，因为运行时这些类的大小和布局可能不同。如果到目前为止我是对的，那么假设两个类的对象大小相同，在这种情况下，我可以假设分配器状态适合，比如说，适合本来会被填充的某个区域，在这种情况下，第一种方法可以工作。

实际上，这种方法会给我自己带来多大的危险？是否有任何替代方案不会带来任何运行时开销(当然不需要更改第三方接口(interface)和/或放弃带有自定义分配器的字符串)？

Answer 1

你不知道。通过使用自定义分配器，您将使用与 std::string不同的类型。 C++ 中没有(合法的)方法可以在没有拷贝的情况下转换它。 C++ 标准不会保证您认为可能工作的任何内容。

所以你必须接受你需要一份拷贝。