c语言的成员函数,C++常量成员函数

通过引用或通过指针传递给函数的形参可能会被该函数修改。但是如果在形参中使用 const 关键字，则可以防止调用的函数修改它。

例如，某个函数的声明如下：

void fun (const string &str);

该函数釆用了一个字符串对象的引用作为形参，但不能修改该对象。有一个类似的机制，可以用来保护隐含的形参 *this，使它不会被成员函数修改。当定义成员函数时，可以在形参列表后面放置 const 关键字，这实际上就是告诉编译器，该成员函数未被允许修改其对象。如果成员函数定义在类外面，则类内的声明和类外的定义都必须具有 const，示例如下：

class ConstExample

{

int x;

public:

ConstExample(int a){ x = a;}

void setValue(int);

int getValue() const;

};

getValue 函数定义语句应如下：

int ConstExample::getValue() const

{

return x;

}

具有常量形参 X 的函数无法转向，并将 X 作为非常量形参传递给另一个函数。换句话说，承诺不修改 X 的函数不能将X传递给另一个函数，除非第二个函数也承诺不修改 X。这种情况有时也可能会以不明显的方式发生。

以下程序使用带有常量形参的函数来打印数组的第一个元素，但是它不会编译，因为它在 const 的使用方面不一致：

#include

using namespace std;

class K

{

public:

void output () // 丢矢了 const

{

cout << "Output of a K object" << endl;

}

};

void outputFirst(const K arr[])

{

arr[0] .output ();

}

int main(int argc, char** argv)

{

K arr [] = { K() };

outputFirst(arr);

return 0;

}

该程序之所以不能编译，是因为编译器不能保证 const 数组的元素在作为隐含的 this 形参传递给 output 成员函数时不会被修改：

arr[0].output();

要让该程序可以编译，则可以使 output() 成员函数变成一个 const 成员函数，以表示它有一个作为常量的 this 形参，示例如下：

class K

{

public:

void output() const

{

cout << "Output of a K object" << endl;

}

};