从构造器内部多态看C++的严谨与Java的陷阱

在 Think in Java 多态这章中为了讲解构造器多态的层次结构，举出了一个有意思的例子。我将这个Java例子“翻译”为C++，果然得到了不同的结果。从这种结果来看，C++比Java更加“严谨”。先来看看Bruce Eckel给出的例子：

package com.hankcs.polymorphism;//: polymorphism/PolyConstructors.java
// Constructors and polymorphism
// don't produce what you might expect.

import static net.mindview.util.Print.*;

class Glyph
{
    void draw()
    {
        print("Glyph.draw()");
    }

    Glyph()
    {
        print("Glyph() before draw()");
        draw();
        print("Glyph() after draw()");
    }
}

class RoundGlyph extends Glyph
{
    private int radius = 1;

    RoundGlyph(int r)
    {
        radius = r;
        print("RoundGlyph.RoundGlyph(), radius = " + radius);
    }

    void draw()
    {
        print("RoundGlyph.draw(), radius = " + radius);
    }
}

public class PolyConstructors
{
    public static void main(String[] args)
    {
        new RoundGlyph(5);
    }
} /* Output:
Glyph() before draw()
RoundGlyph.draw(), radius = 0
Glyph() after draw()
RoundGlyph.RoundGlyph(), radius = 5
*///:~

原本程序员期望第二行输出

RoundGlyph.draw(), radius = 5

然后却输出了

RoundGlyph.draw(), radius = 0

书里面讲得很清楚，这是由于多态决定的。在Glyph构造的时候，draw()方法被子类覆盖，调用的是RoundGlyph::draw()。这是Java的“陷阱”，当然，这是Java的设计初衷。如果程序员足够警惕，它就是天经地义的了。

但是作者在括号里指出“C++语言会产生更合理的行为”，这不禁激起了我的好奇心，于是将这个示例程序“翻译为”C++语言：

#include <iostream>
using namespace std;

class Glyph
{
	virtual void draw()
	{
		printf("Glyph.draw()\n");
	}
public:
	Glyph()
	{
		printf("Glyph() before draw()\n");
		draw();
		printf("Glyph() after draw()\n");
	}
};

class RoundGlyph: public Glyph
{
private:
	int radius;

public:
	RoundGlyph(int r)
	{
		radius = r;
		printf("RoundGlyph.RoundGlyph(), radius = %d\n" , radius);
	}

	virtual void draw()
	{
		printf("RoundGlyph.draw(), radius = %d\n" , radius);
	}
};

///////////////////////////SubMain//////////////////////////////////
int main(int argc, char *argv[])
{
	Glyph *pG = new RoundGlyph(5);
	// error C2248: “Glyph::draw”: 无法访问 private 成员(在“Glyph”类中声明)
  	// pG->draw();
	delete pG;
	system("pause");
	return 0;
}
///////////////////////////End Sub//////////////////////////////////

输出：

Glyph() before draw()
Glyph.draw()
Glyph() after draw()
RoundGlyph.RoundGlyph(), radius = 5

看来，C++的多态似乎更加合理。

 知识共享署名-非商业性使用-相同方式共享：码农场 » 从构造器内部多态看C++的严谨与Java的陷阱