以编程方式确定 std::string 是否使用写入时复制 (COW) 机制

Question

继这个 问题 的讨论之后，我想知道使用本机 C++ 的人如何以编程方式确定他们使用的 std::string 实现是否使用写时复制（COW）

我有以下功能：

#include <iostream>
#include <string>

bool stdstring_supports_cow()
{
   //make sure the string is longer than the size of potential
   //implementation of small-string.
   std::string s1 = "012345678901234567890123456789"
                    "012345678901234567890123456789"
                    "012345678901234567890123456789"
                    "012345678901234567890123456789"
                    "012345678901234567890123456789";
   std::string s2 = s1;
   std::string s3 = s2;

   bool result1 = (&s1[0]) == (&s2[0]);
   bool result2 = (&s1[0]) == (&s3[0]);

   s2[0] = 'X';

   bool result3 = (&s1[0]) != (&s2[0]);
   bool result4 = (&s1[0]) == (&s3[0]);

   s3[0] = 'X';

   bool result5 = (&s1[0]) != (&s3[0]);

   return result1 && result2 &&
          result3 && result4 &&
          result5;
}

int main()
{
  if (stdstring_supports_cow())
      std::cout << "std::string is COW." << std::endl;
   else
      std::cout << "std::string is NOT COW." << std::endl;
   return 0;
}

问题是我似乎无法找到返回 true 的 C++ 工具链。我关于如何为 std::string 实现 COW 的假设是否存在缺陷？

更新：根据 kotlinski 注释，我更改了函数中对 data() 的 writeble 引用的使用，现在似乎对于某些实现返回“true”。

bool stdstring_supports_cow()
{
   //make sure the string is longer than the size of potential
   //implementation of small-string.
   std::string s1 = "012345678901234567890123456789"
                    "012345678901234567890123456789"
                    "012345678901234567890123456789"
                    "012345678901234567890123456789"
                    "012345678901234567890123456789";
   std::string s2 = s1;
   std::string s3 = s2;

   bool result1 = s1.data() == s2.data();
   bool result2 = s1.data() == s3.data();

   s2[0] = 'X';

   bool result3 = s1.data() != s2.data();
   bool result4 = s1.data() == s3.data();

   s3[0] = 'X';

   bool result5 = s1.data() != s3.data();

   return result1 && result2 &&
          result3 && result4 &&
          result5;
}

注意：根据N2668：“对基本的并发修改String”，在即将推出的C++0x标准中，COW选项将从basic_string中删除。感谢詹姆斯和贝尔达兹提出这个问题。

Answer 1

使用 &s1[0] 获取地址不是您想要的，[0] 返回一个可写引用并将创建一个副本。

使用 data() 代替，它返回一个 const char*，并且您的测试可能会通过。

Answer 2

写时复制范例依赖于知道您何时进行写入。每当对象返回可写引用时就会发生这种情况。

如果您使用对字符串的 const 引用，并且该类专门用于在返回对数据的 const 引用时禁用复制，则您可能能够比较地址。