c++ 对象切割示例

概念

当一个子类对象通过值传递给基类对象，如foo(Base derived_obj),这个基类的拷贝构造函数将被调用.此时子类的特性将被切割,只有基类相关操作. 也就是说如果我们向上转型如果不用引用或指针,对象将被切割.这是也我们应该传引用而不是传值的原因.

示例代码：

[cpp]
#include <iostream>
#include <string>

using namespace std;

class Animal{
public:
    Animal(const string& s) : name(s) {}
    virtual void eat() const {
        cout << "animal: " << name << " eat()" << endl;
    }
private:
    string name;
};

class Bird : public Animal {
private:
    string name;
    string habitat;
public:
    Bird(const string& sp, const string &s, const string &h)
        : Animal(sp), name(s), habitat(h) {};
    virtual void eat() const {
        cout << "bird: " << name << " eat() in " << habitat << endl;
    }
};

void WhatAreYouDoingValue(Animal a) {
    a.eat();
}

void WhatAreYouDoingReference(const Animal &a) {
    a.eat();
}

int main()
{
    Animal animal("Animal");
    Bird bird("Eagle","Bald","US and Canada");

    cout << "pass-by-value" << endl;
    WhatAreYouDoingValue(animal);
    WhatAreYouDoingValue(bird);

    cout << "\npass-by-reference" << endl;
    WhatAreYouDoingReference(animal);
    WhatAreYouDoingReference(bird);
}

输出结果如下：

pass-by-value

animal: Animal eat()

animal: Eagle eat()

pass-by-reference

animal: Animal eat()

bird: Bald eat() in US and Canada

分析：

注意,我们在main()函数中调用了两个函数,WhatAreYouDoingValue(Animal a)与WhatAreYouDoingReference(constAnimal &a).第一个调用是能过传值,第二个调用是传引用.

我们可能希望第一个调用输出 animal:Animal eat(),第二个调用输出bird: Bald eat() in US and Canada.事实上两个都是调用基类的eat.www.zzzyk.com

为什么呢?

在传值例子中，因为eat()是被Animal 的对象执行的object.这样倒至Animal对象被进行压栈操作.这样就造成如果是值传递调用Animal默认构造函数,初始化vptr通过Animal类的vtbl并且只拷贝Animal部分.所以结果只剩下Animal部分了。

作者：wpf_ml

补充：软件开发 , C++ ,