Coo - C语言面向对象编程

pan_0326

STL实现的主要是容器类，模板只是为了实现泛型容器类的途径之一，STL和Boost容器类并非全是依赖模 ...
没本 发表于 2010-06-05 12:21

Coo并不排斥其它C库
授人以鱼，不如授人以渔.

xiaonanln

不错

pan_0326

详解EXTENDS2
EXTENDS宏可以完成一般的继承功能,但有个小问题:
typedef struct CBase { VT(VBase) ... } CBase;
typedef struct CThis { EXTENDS(CBase) ... } CThis;
CThis t; //t.vt
VT宏是定义虚函数指针vt,t.vt的类型是const VBase*,而实际上
CThis扩展了虚函数表类VThis,希望t.vt的类型是const VThis*
才方便,用强制类型转换肯定行,但不安全.用数据覆盖!只听说函
数覆盖,数据也能覆盖吗?定义同名数据,排在前面的可访问,后面
的被覆盖:
#define EXTENDS2(s,v) \
    union \
    { \
        VT(v) \
        EXTENDS(s) \
    };
typedef struct CThis { EXTENDS2(CBase,VThis) ... } CThis;
这样一来,t.vt就是const VThis*,而t.CBase.vt是const VBase*,
它由于重名的原因,失去了跨层访问待遇.合并两个union得到最终
版本:
#define EXTENDS2(s,v) \
    union \
    { \
        VT(v) \
        s s; \
        s; \
    };
最后谈谈编译器支持,同名数据覆盖,C标准没说,很多编译器支持,
gcc和tcc都没问题.
但也带来一个问题:union的默认初始化.CThis t={...};
C标准没说,有些编译器不支持,如tcc,现已修改好了;gcc初始化第
一个,那么只能初始化vt,而其它数据将被忽略,这决不是我们所愿.
将初始化改为最后一个就可以躲开了,反正C标准没定义,怎么都合
理.现阶段gcc没改好,但可以用C99标准的指定初始化代替:
CThis t={.CBase={..};};
而一般用不着这种初始化,用构造函数CThis_CThis(&t);

beetleleo

像是gtk种出现过这样的写法！

pan_0326

像是gtk种出现过这样的写法！
beetleleo 发表于 2010-06-07 21:54

struct _GtkWidget
{
  /* The object structure needs to be the first
   *  element in the widget structure in order for
   *  the object mechanism to work correctly. This
   *  allows a GtkWidget pointer to be cast to a
   *  GtkObject pointer.
   */
  GtkObject object;
  ...
};
struct _GtkWidgetClass
{
  /* The object class structure needs to be the first
   *  element in the widget class structure in order for
   *  the class mechanism to work correctly. This allows a
   *  GtkWidgetClass pointer to be cast to a GtkObjectClass
   *  pointer.
   */
  GtkObjectClass parent_class;
  ...
};
以上是从gtk上截取了一段代码,可以看出确实使用了oo的思想,但却没有
Coo的便利,从注释来看可能还要用到强制类型转换.从书写到安全两方面
都不如Coo:
typedef struct _GtkWidget
{
    EXTENDS(GtkObject)
    ...
} _GtkWidget;
typedef struct _GtkWidgetClass
{
    EXTENDS(GtkObjectClass)
    ...
} _GtkWidgetClass;

snow888

这帖子没火？？？

pan_0326

虚继承
class CBase
{
public:
    int a;
};
class CT1 : public virtual CBase
{
public:
    int a1;
};
class CT2 : public virtual CBase
{
public:
    int a2;
};
class CThis : public CT1, public CT2
{
public:
    int i;
};
上面是C++中虚继承的例子,sizeof(CThis)是24,不是16,因为
CT1和CT2分别嵌入了CBase*来间接访问基类CBase,看看Coo实
现就明白了:
typedef struct CBase
{
    int a;
} CBase;
typedef struct _CT1
{
    CBase* pCBase; //虚继承
    int a1;
} _CT1;
typedef struct _CT2
{
    CBase* pCBase; //虚继承
    int a2;
} _CT2;
typedef struct CThis
{
    EXTENDS(_CT1)
    EXTENDS(_CT2)
    EXTENDS(CBase) //共享继承
    int i;
} CThis;
CThis嵌入了一份CBase共享于_CT1和_CT2,构造函数时装配pCBase.
_CT1和_CT2是不能直接单独使用的,包装后才行:
typedef struct CT1
{
    EXTENDS(_CT1)
    EXTENDS(CBase)
} CT1;
Coo还可以更灵活,允许其中一条路径是正常继承:
typedef struct CBase
{
    int a;
} CBase;
typedef struct CT1
{
    EXTENDS(CBase) //正常继承
    int a1;
} CT1;
typedef struct _CT2
{
    CBase* pCBase; //虚继承
    int a2;
} _CT2;
typedef struct CThis
{
    EXTENDS(CT1)
    EXTENDS(_CT2)
    int i;
} CThis;
由CT1提供CBase,共享于_CT2.现在sizeof(CThis)是20,少了一指针.

bill15

不必搞那些稀奇古怪的，C++挺好的，钻研它吧
等你成大师，可以推广你的咚咚的时候再拿出来说事

pan_0326

不必搞那些稀奇古怪的，C++挺好的，钻研它吧
等你成大师，可以推广你的咚咚的时候再拿出来说事
bill15 发表于 2010-06-09 08:31

其实我是一个程序员!
以后不带拿"大师"骂人的啊

Cyberman.Wu

我第一次听到这种说法,我不知道怎么用宏简单地实现同名函数
编译器用特殊的预处理程序将C++代码变成 ...
pan_0326 发表于 2010-06-04 11:45

建议你看一下C++作者的The Design and Evolution of C++。如你所想，C++最早没有真正的编译器，当时贝尔实验室的几个大拿是开发了一个CFront，实际上是把C++先“编译”成C语言，然后再用C编译器编译成可执行程序。好像泛型最早期是通过宏实现的，记不准确了。

其实语言本身的特性是为了实现OO，而不是OO本身吧；而且OO的设计方式也不是所有情况都适合。从目前看任何技术都有其局限性，虽然概念满天飞、新语言新特性层出不穷，但感觉程序设计史上真正有突破性的就是结构化设计吧。