第二章构造函数语义学——关于bitwise copy semantics

浅浅的花香味﹌ 2022-05-30 10:44 123阅读 0赞

关于这个问题，第一遍看的时候比较晕，不知道这个什么 bitwise copy是个什么东西，其实很简单，就是 位逐次拷贝(我靠，一句好犀利的废话)。额，具体来说呢，就是对 源类中的成员变量 中的每一位 都逐次 复制到 目标类中。具体的内容接着看。

首先让我们看看这个概念是怎么出来的。书中第50页的时候说到:

Default constructors 和 copy constructors 在 必要的时候 才由编译器产生出来

这个句子中的“必要”意指当class不展现bitwise copy semantics时。

这段话的意思呢，应该是这么个意思： 如果class中出现了bitwise copy semantics的时候，default constructors和copy constructors 编译器就不会为我们产生出来(又像一句废话)。那么没有default constructors和copy constructors的时候，我们的类怎么产生呢。这时候，就是通过  bitwise copy 来搞定了，也就是 将 源类中的成员变量中的每一位都逐次复制到 目标类 中，这样我们的类就构造出来了。(当然，这个是我的理解，这个 是否是 源类中的成员变量，还有待于证实)。  
  
    这时候，这种bitwise copy构造的类 就会存在一个问题，就是对于指针变量来说，源类中的指针变量保存的是开辟的空间，而目标类中的的指针变量，是通过逐位复制的方式得到的，这样，目标类中的指针变量保存的地址和源类的是一样的。当源类释放空间之后，目标类中的指针变量指的是一堆无意义的空间，这样，当目标类中的指针变量再释放空间的时候，就会报错。这段也就是P52注释所说的内容。  
  
扯了这么多，还是看代码吧，把书中的例子完全实现了下。代码如下：

class Word
    {
    public:
        Word(const char* s){
            str = new char[strlen(s)+1]; // 开辟空间
            strcpy(str,s);
            cnt = strlen(s)+1;
        }
        ~Word(){
            delete[] str; // 释放空间
        }
    
    public:
        int cnt;
        char *str;
    };
    
    
    int main(int argc, _TCHAR* argv[])
    {
        Word noun("book");//调用构造函数
        Word verb = noun;// 不会产生copy constructors
        cout<<verb.str<<endl;
        cout<<verb.cnt<<endl;
        
        cout<<"noun.str address = "<<(unsigned long)(noun.str)<<endl;
        cout<<"verb.str address = "<<(unsigned long)(verb.str)<<endl;
        return 0;
    }

结果如下：  
  
book  
5  
noun.str address = 3243208  
verb.str address = 3243208

可以看到，完全复制了过去，而且指针的地址是一样的，只是最后会报错，也就是之前讨论过的，释放空间的问题。

到这里关于bitwise copy就这么多了，关于什么时候会调用bitwise copy进行复制呢，见书53页。

**本文转自:**

**https://www.cnblogs.com/cyttina/archive/2012/11/21/2781453.html**