分类： 系统运维
2010-09-27 17:53:02
最近一直在理解NS2所谓的分裂对象模型，想知道ns是如何通过Otcl来创建C++对象的。下面把学习的一些心得总结一下。
Otcl其实就是面向对象的tcl，这和C++和C的关系是一样的。
Otcl和Tcl一样是可嵌入的，它提供了C的API接口，我们可以通过这些接口来访问Otcl对象。主要的接口描述见~/otcl/otcl.h文件
Otcl的基类是Object，所有的类都是从Object派生出来的。该类包含了对象的初始化和销毁过程，添加类成员函数和成员变量及其查询的一些方法。归纳如下:
| Class | 创建一个对象 |
| Destroy | 销毁一个对象 |
| proc | 定义Tcl对象方法 |
| set | 定义Tcl对象变量 |
| instvar | 绑定实例变量 |
有关Otcl的详细语法可见：
下面开始来看看是怎么通过OTcl来操纵C++对象的：
一、C++对象的创建
NS2采用的分裂对象模型，即每个C++的类都有一个Otcl类与之相对应。NS2中所有类的基类是TclObject，而Otcl中的基类则为 SplitObject。下面首先看一下SplitObject这个类的定义（~/tclcl.*/Tcl-object.tcl）：
Class SplitObject SplitObject set id 0 SplitObject instproc init args { $self next if [catch "$self create-shadow"text" > $args"] { error "__FAILED_SHADOW_OBJECT_" "" } } SplitObject instproc destroy {} { $self delete-shadow $self next }
由于每一个Otcl对象的创建都要调用其init过程，因此所有继承于SplitObject的Otcl类的初始化最终都会调用到SplitObject的init()这个instproc。
从上面代码中可以看到，init()实际上是调用了一个叫create-shadow的函数，这个函数就是用来创建C++对象的，这在后面会分析到。
同时，SplitObject也重载了destroy()函数，调用了一个叫delete-shadow的方法，顾名思义，也就是销毁相应的C++对象。
注意：Otcl并不会像C++那样会自动调用父类的构造函数，而必须显示的进行调用，也就是上面的: $self next
在Otcl脚本中是通过new命令来创建一个Otcl对象，通过delete来销毁一个对象的。这两个命令在~/tclcl.*/Tcl-object.tcl中有定义：
#创建一个object
#调用该类的create函数
proc new { className args } {
set o [SplitObject getid]
if [catch "$className create $o $args" msg] {
if [string match "__FAILED_SHADOW_OBJECT_" $msg] {
#
# The shadow object failed to be allocated.
#
delete $o
return ""
}
global errorInfo
error "class $className: constructor failed: $msg" $errorInfo
}
return $o
}
#销毁一个object
proc delete o {
$o delete_tkvar
$o destroy
}
可以看到，new方法实际上是调用了类中的一个create函数来进行初始化，那么这个create函数究竟是怎么一回事呢？再回过头来仔细看看Otcl的语法：
"The create instproc provides a mechanism for classes to create other classes and objects"
原来create就是用来创建一个Otcl解释对象的，在对象创建时会调用其init()方法，最终就调用create-shadow来创建一个与之相对应的C++shadow对象。
那么问题又来了，create-shadow又是怎么创建C++对象？还有它又怎么知道要创建哪个C++类对应的对象的呢？接下来就来看看Otcl类和C++类是怎么关联起来的。在Otcl基类SplitObject中提供了一个名为register的方法：
// This routine invoked by TclClass::bind. //注册类名 SplitObject proc register className { set classes [split $className /] set parent SplitObject set path "" set sep "" foreach cl $classes { set path $path$sep$cl if ![$self is-class $path] { Class $path -superclass $parent } set sep / set parent $path } }
通过上面的代码可以看出，register的功能其实就是定义一个指定classname的Otcl类。
在这还得简单介绍一下NS2中的类命名规则。NS2是使用字符’/’来作为分割符以表示类之间的继承关系的。具体据个例子，如名为”Agent /TCP/Reno”的Otcl类，它就是继承于“Agent/TCP”类的；同理“Agent/TCP”则是继承于“Agent”类，而Agent类则 最后继承于基类SplitObject。知道了类的命名规则，上面的代码就很好理解了，它也就是根据提供的classname利用分隔符进行分割后创建相 应的派生类。其中-superclass就表明了类之间的继承关系。
那么又是谁来调用这个register方法进行Otcl类注册的呢？这时候就得把TclClass给介绍出来了,终于可以从Otcl脚本转向熟悉的 C++了~~。TclClass是个纯虚类，它封装了Otcl类的注册机制。废话少说，先看看这个类的定义(~/tclcl.*/tclcl.h)
class TclClass { public: static void init(); virtual ~TclClass(); protected: TclClass(const char* classname); virtual TclObject* create(int argc, const char*const*argv) = 0; private: static int create_shadow(ClientData clientData, Tcl_Interp *interp, int argc, CONST84 char *argv[]); static int delete_shadow(ClientData clientData, Tcl_Interp *interp, int argc, CONST84 char *argv[]); static int dispatch_cmd(ClientData clientData, Tcl_Interp *interp, int argc, CONST84 char *argv[]); static int dispatch_init(ClientData clientData, Tcl_Interp *interp, int argc, char *argv[]); static int dispatch_instvar(ClientData clientData, Tcl_Interp *interp, int argc, CONST84 char *argv[]); static TclClass* all_; TclClass* next_; protected: virtual void otcl_mappings() { } virtual void bind(); virtual int method(int argc, const char*const* argv); void add_method(const char* name); static int dispatch_method(ClientData, Tcl_Interp*, int ac, CONST84 char** av); OTclClass* class_; const char* classname_; };
首先来分析一下它的构造函数TclClass::TclClass(const char* classname);
TclClass::TclClass(const char* classname) : class_(0), classname_(classname) { if (Tcl::instance().interp()!=NULL) { // the interpreter already exists! bind(); } else { // the interpreter doesn't yet exist // add this class to a linked list that is traversed when // the interpreter is created next_ = all_; all_ = this; } }
嗯，看起来是非常的简单。。。在判断Otcl解释器存在之后就调用了一个名为bind的成员函数，现在再来看看这个bind函数的具体实现
void TclClass::bind() { Tcl& tcl = Tcl::instance(); //Register classname in OTCL tcl.evalf("SplitObject register %s", classname_); class_ = OTclGetClass(tcl.interp(), (char*)classname_); //Add 2 method for this class //create-shadow & delete-shadow OTclAddIMethod(class_, "create-shadow", create_shadow, (ClientData)this, 0); OTclAddIMethod(class_, "delete-shadow", delete_shadow, (ClientData)this, 0); otcl_mappings(); }
这下就豁然开朗了，原来是bind函数调用SplitObject的register方法注册了一个名为classname_Otcl类，然后再在 该类中添加了两个方法：create-shadow和delete-shadow，这就是我们上面讲到的在创建和销毁Otcl对象是调用的两个方法，它们 分别和TclClass中的两个成员函数：create_shadow和delete_shadow绑定了起来。那么现在就来看看 create_shadow的部分实现(~/tclcl.*/)
int TclClass::create_shadow(ClientData clientData, Tcl_Interp *interp, int argc, CONST84 char *argv[]) { TclClass* p = (TclClass*)clientData; TclObject* o = p->create(argc, argv); /*以下代码省略…*/ }
从开头的代码可以看出，它其实是调用了纯虚函数virtual TclObject* create(int argc, const char*const*argv) = 0; 那么这个create函数究竟又是干什么的呢？接下来以TclClass的一个派生类AgentClass为例来说明，其定义如下(~/ns2.*/common/Agent.cc)
static class AgentClass : public TclClass { public: AgentClass() : TclClass("Agent") {} TclObject* create(int, const char*const*) { return (new Agent(PT_NTYPE)); } } class_agent;
首先我们注意到了关键字static，说明AgentClass是一个静态类，也就是说当NS2刚开始初始化的时候，便会调用该类的构造函数，而构 造函数又做了什么工作呢？上面我们已经分析了，其实就是在Otcl中注册了一个名为Agent的Otcl解释类。当Otcl脚本调用new方法实例化这个 Agent类的时候，最终会调用到AgentClass的create函数，该create函数的实现很简单，就是实例化了一个C++的Agent对象， 并返回该对象的指针。至此Otcl对象终于和C++对象关联起来了。