假设我在C中编写一个字符串类(我知道我可以使用该库).字符串长度是可变的,存储空间在构造函数中动态分配,并在析构函数中释放.当main函数调用c = ab(a,b,c是字符串)时,运算符成员函数创建一个临时对象,该对象存储连接字符串ab,将其返回给main函数,然后调用operator = member函数释放最初存储在c中的字符串并将数据从临时字符串ab复制到c,最后删除临时ab.
我想知道是否有办法实现这一点:不是让操作符=从ab到c复制数据,我希望它交换ab和c的数据指针,这样当ab被破坏时,它会破坏原始的c中的数据(这是我们想要的),而c现在获取ab的结果而不需要复制.
我知道编写一个2参数成员函数setToStrcat并调用c.setToStrcat(a,b)可以做到这一点.例如,该函数可以编码为:
void String::setToStrcat(const String& a,const String& b){
String tmp(a.len+b.len); int i,j;
for(i=0;i<a.len;i++) tmp[i]=a[i];
for(j=0;j<b.len;i++,j++) tmp[i]=b[j];
tmp[i]='\0'; this->swap(tmp);
}
void String::swap(String& a){
int n=len; len=a.len; a.len=n;
char *s=str; str=a.str; a.str=s;
}
我省略了构造函数的定义(它分配了len 1个char类型的空格)和operator [](它返回了第i个字符的引用).交换函数在* this和tmp之间交换数据指针和长度变量,这样当交换后tmp被破坏时,它实际上是最初存储在* this(主函数中的字符串c)中被破坏的数据.它现在拥有的(c.str)是连接的字符串a b.
我想知道是否有办法将c = a b的性能优化到同一水平.我尝试了c.swap(a b)并将b的返回类型更改为String&,但是我收到警告(引用局部变量),GDB显示临时在交换发生之前被破坏,而我想要另一种方式.
我认为我的问题很笼统.在C编程中,我们经常需要一个临时对象来存储函数的结果,但是当我们将它分配给main函数中的另一个对象时,我们可以不复制数据而是使用(更快)交换指针吗?实现这一目标的巧妙方法是什么?
最佳答案 在C 11中,您可以通过编写移动构造函数来完成此操作. Rvalue引用被添加到语言中以解决这个确切的问题.
class String {
...
String(String&& s) : str(nullptr) {
this->swap(s);
}
String& operator=(String&& s) {
this->swap(s);
}
...
String operator+(String const& other) {
// (your implementation of concatenation here)
}
...
}
那么像这样的代码不会触发额外的复制构造函数或内存分配,它只会将分配的内存从临时(从运算符返回的东西)移动到新对象c.
String c = a + b;