不必须。如果一个接口不需要数据时,无须在作为接口定义的类中赋予数据。代之以在派生类中给出它们。参见“为什么编译要花这么长的时间?”。
有时候,你必须在一个类中赋予数据。考虑一下复数类的情况:
template<class Scalar> class complex {
public:
complex() : re(0), im(0) { }
complex(Scalar r) : re(r), im(0) { }
complex(Scalar r, Scalar i) : re(r), im(i) { }
// ...
complex& operator+=(const complex& a)
{ re+=a.re; im+=a.im; return *this; }
// ...
private:
Scalar re, im;
};
设计这种类型的目的是将它当做一个内建(built-in)类型一样被使用。在声明处赋值是
必须的,以保证如下可能:建立真正的本地对象(genuinely local objects)(比如
那些在栈中而不是在堆中分配的对象),或者使某些简单操作被适当地inline 化。对于那
些支持内建的复合类型的语言来说,要获得它们提供的效率,真正的本地对象和 inline
化都是必要的。