概念

当一个子类对象通过值传递给基类对象，如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.2cto.com

为什么呢?

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