在写不考虑类中成员类型的接口函数时,发现string类型一个有趣的问题:在不进行主动赋值和不调用assign函数的情况下,怎么来改变string内容,使得string的成员函数c_str()能打印出我们需要的内容?
下面是测试环境:32位机+VS2008平台
在这样的测试环境下:string为实体类的字符串预留分配空间为15(猜测是一个长度为15的数组)char arrbuffer[15];大于等于16过后会重新分配空间到其成员指针char* buffer;有趣的是:这个成员指针和前面猜测的数组内容好像只有一个可以用,这有赖于string的实现机制。这也不是俺这次要探索的重点。重点是知道有这么一回事,如何实现下面的操作:
先声明俩string实体类并赋值:
std::string m_str1 = "abcde";//一个字符串长度小于16
std::string m_str2 = "12345678912345678";//一个字符串长度大于等于16
在不进行主动赋值和不调用assign函数的情况下,怎么来使m_str1和m_str2内容可以单一互换(要么m_str1换成m_str2,要么m_str2换成m_str1中的内容),使得string的成员函数c_str()能打印出我们需要的内容?
在俺的上一篇博文中粗略的讲了一下可以利用地址来访问和修改string的内容,同样的,该问题也要用到上述内容。
1. m_str1换到m_str2
首先,m_str1换到m_str2中:(俺的环境下,各个地址差就直接采用数值了哈)
free ((char*)(*(int*)((int)&testStr2 + 8)));//释放掉buffer中的内容,就测试来说,不释放也没问题
memcpy((char*)((int)&testStr2 + 8), testStr1.c_str(), testStr1.length()+1);//将m_str1字符串拷贝到m_str2中的arrbuffer[]中,由于是预分配空间,所以不需要重新分配空间大小;
但是,就这样的话,我们用c_str()成员是打印不出来的,因为string中还有一个成员__Myres;这个成员控制最后输出的buffer是哪一个buffer;可以看一下xstring.h头文件,它就是string成员函数capacity()中return的成员。
就测试而言,当俺把__Myres通过地址的方式修改为15的时候:
cout<
这句话能打印出来和m_str1完全相同的内容了;
所以,要从小于string预留空间长度的字符串转到具有大于预留空间的string中的时候,除了指针内容要变,还要__Myres
的值小于16;这样就让它判断,输出arrbuffer[]中的内容。
2. m_str2换到m_str1
由于m_str2中字符串长于预分配空间大小,所以在转换到m_str1时,还要额外的给申请空间,如下:
*(int*)((int)&testStr1 + 8) = *(int*)&(new char[testStr2.length()+1]);//给buffer指针申请空间
memcpy((char*)(*(int*)((int)&testStr1 + 8)), testStr2.c_str(),testStr2.length()+1);//m_str2拷贝到m_str1
//memcpy((char*)(*(int*)((int)&testStr1 + 8)), ((char*)(*(int*)((int)&testStr2 + 8)),testStr2.length()+1);//或者这样拷贝
同样的,也要修改__Myres的值;
就测试而言,俺修改成了31,能打印出来;
cout<
打印出来的内容和m_str2中内容完全一样。
这样就实现了上述的问题。
最后,为什么我要将__Myres的值分别设置为15和31呢?
因为:通过打印出m_str1.capacity()的值为15;m_str2.capacity()的值为31.就是这俩一个小于16,一个大于16的值来控制c_str()的返回值。到底16是不是这个临界点,还有待进一步测试;不过在和俺同测试环境下填写15和31这俩值应该没问题的。