一个问题，两人讨论，几行代码，一些启发

一个问题，两人讨论，几行代码，一些启发

 

By 刘未鹏(pongba)

刘言|C++的罗浮宫(http://blog.csdn.net/pongba)

 

Shen：请教一个问题，我简化一下，发给你：

 

Pongba：OK

 

Shen: 就这样发给你吧，不多，我描述一下：

 

template<class T> class A { };

 

class B { public: A * m_task; };

 

class C: public B

{

public:

  C();

  C(A*);

};

 

typedef A<C> D;

 

C::C(A* p):m_task(p){};

 

定义了这几个类。

 

C::C(A * p) : m_task (p) 这句，是编译不过的，因为A是定义的模板类，该如何写？

 

Pongba: 当然不通过啊。你没给模板参数啊，A是模板类，要模板参数啊。

 

Shen: 是的，但是我写 C::C(D * p): m_task ( p ) 也是不对，似乎总是循环的，这样的定义的有问题，因为A<C>这时候C的构造函数中做，但是C还没有构造出来。

 

Pongba: 你要考虑的是你想表达的概念，类只是一个手段；首先明确这三个类的语意，而不是语法。

 

Shen: typedef A<C> D;　这里，我都多个不同的业务，所以定义不同的C。

 

Pongba: A的语意是什么？

 

Shen: A是个基类，D是A的不同业务，比如D1,D2，...

 

Pongba: -_-||A当然是基类，我想知道的是A的目的是什么，A为什么有一个模板参数。这个模板参数放在那儿的初衷是什么。

 

Shen: class B { public: A * m_task; } 所以B中，有这样的定义。是希望通过C::C(A * p) : m_task(p)　，将B中的m_task指向A（当然是A的不同业务）。A的模板参数的原因，是因为我希望后面typedef A<C> D;

 

Pongba: B的成员不应该由C初始化，破坏了封装原则。

 

Shen: 也许还有C1 ,C2 ,所以希望　typedef A<C1> D1; typedef A<C2> D2; 因为有多个C,（如C1,C2,C3...）

 

Pongba: 问题是为什么你希望typedef A<C> D; 我想知道的是A是个什么类。他的功能是什么。这么说吧，STL的vector，他的语意是“一组元素”，他为什么要一个模板参数，是因为要“参数化”这组元素的类型。那么A的语意是什么，他为什么要一个模板参数。

 

Shen: A的作用是，有virtual函数，调用不同的业务。

 

Pongba: A是“业务”类吗？

 

Shen: 错了，B是业务基类，刚才说错了。C是从B继承的，因为有多个C业务，比如C1,C2...

 

Pongba: 好，B是业务基类，所有从B继承的都是具体的业务类，Ci。这个理解对吧？

 

Shen: right

 

Pongba: 那么，还是那个问题，A的作用呢？是“调用业务基类”吗？也就是说A的“职责”是什么。先把语言放在一边，考虑你的设计。

 

Shen: A的作用主要是线程处理。我再解释一下：A的作用，是把B的业务放入队列，取出处理等操作。至于怎么处理，就是B处理了，A只负责入出队列等操作。A有自己的队列和定时器等。

 

Pongba: 也就是说，A是一个任务调度器。只负责调度逻辑。对否？

 

Shen: 对。