浅析const关键字

const关键字它允许你指定一个语义的约束,也就是不允许被改动的对象,而编译器会帮助你实施这样的约束,这有有助于在团队协作中不去违反这样的规则。
const可以用到的地方很多,你可以在classes外部去修饰global或者namespace作用域中的常量,或者修饰文件、函数、区块作用域中被声明为static的对象,也可以用它修饰classes内部的成员变量,而面对指针,你可以可以指出是对于指针自身,还是指针所指物,或者两个都不是。

char authorName[] = "HookCoco";
char* name = authorName;                    //1
const char* name = authorName;              //2
char* const name = authorName;              //3
const char* const name = authorName;        //4
  1. 指针可修改,数据可修改
  2. 指针可修改,数据不可修改
  3. 指针不可修改,数据可修改
  4. 指针不可修改,数据不可修改

简单来说如果const出现在星号的左边,表示被指物是常量,如果出现在右边,表示指针自身是常量,如果都出现,表示被指物和指针自身都是常量。而对于被指物是常量的写法有以下两种:

void f1(const char* name);
void f2(char const * name);

这两种写法都是可行的,使用哪一种都可以,我习惯于用前者。

STL迭代器系以指针为根据塑模出来,所以迭代器的作用就像一个T指针,申明迭代器为const就想声明指针为const一样(T* const),它表示这个迭代器不能指向不同的东西,但是内容数据是可以修改的,如果你希望迭代器所指的东西不可被改动,你需要的是const_iterator:

std::vector<int> vec;
...
const std::vector<int>::iterator iter = vec.begin();
*iter = 10;      //1
++iter;          //2
std::vector<int>::const_iterator cIter = vec.begin();
*cIter = 10;    //3
++cIter;        //4

上述代码不完全正确,你觉得哪些是对的,哪些是错的呢?

  1. 这句是对的,因为iter的被指物是可以被修改的
  2. 这句不对,因为iter是const
  3. 这句不对,因为*cIter是const
  4. 这句是对的,可以改变cIter

好了热身已经结束了,const最有威力的作用是面对函数声明时的应用,在一个函数声明中,你可以在参数,函数自身,返回值使用const

让函数的返回值为一个常量值,往往可以降低因客户错误而造成的意外而又不至于放弃安全性和高效性,举个栗子!

class Rational {...};
const Rational operator* (const Rational& lhs,const Rational& rhs);

很多人就要问了,为什么要返回一个const对象?
原因很简单,避免某些人错误的使用这样的函数:

Rational a,b,c;
(a * b) = c;

如果不返回const关键字,这样做就是可行的,编译器并不会阻止你敢这样的蠢事。

if( a * b = c)

如果你手误写出这样代码,编译器也是不会阻止你的。
返回const常量可以避免没必要的赋值操作,进而可以避免造成更多的错误,何乐而不为呢?

const成员函数


将const实施与成员函数的目的,是为了确认该成员函数可以作用于const对象身上。这一类函数很重要,原因有二:

  1. 这样做使class接口比较容易被理解,因为知道哪些函数可以改动对象内容而哪些函数不行是很重要的一件事。
  2. 它们使“操作const”对象成为可能。

很多人是忽视这样一个事实:两个成员函数如果只是常量性不同,可以被重载。这是C++的一个很重要很重要很重的特性。考虑以下这个class,用于表现一个长文本:

class TextBlock
{
public:
  ···
  const char& operator[](std::size_t position) const { return text[position]; }
  char& operator[](std::size_t position) const { return text[position]; }
private:
  std::string text;
};

TextBlock的operator[]s可被这样使用:

TextBlock tb("Hello");
std::cout << tb[0];
const TextBlock ctb("World");
std::cout << ctb[0];

前者调用non-const函数,后者调用const函数。
顺带提一下,真实的程序中const对象大多用于 passed by pointer-to-const 或者 passed reference-to-const,比如下面:

void print(const TextBlock& ctb)
{
  std::cout << ctb[0]
  ···
}

回到刚刚的话题,只要重载operator[]并对不同的版本给予不同的返回值类型,就可以令const和non-const获得不同的处理:

std::cout << tb[0];
tb[0] = 'X';
std::cout << ctb[0];
ctb[0] = 'X';

上面这段代码的最后一行很明显是错误的,因为ctb是const类型的对象,不允许修改数据。
还有一点也需要注意,non-const operator[]方法的返回值为reference to char,而不是char,若果是后者的话,第二行的这样的语句也无法通过编译,那是因为如果函数的返回值是一个内置类型,那么改动函数返回值从来就不合法,即使是合法的,C++以by value返回对象这一个规则意味被改动的其实是tb.text[0]的副本,不是tb.text[0]本身,不搞清楚这点的话,很多初学者都会头疼,比如以前的我····2333333

这一次我们就讲到这里,下一次我们会更加深入的探讨const关键字,如果你有时间,你可以仔细的考虑下operator[]的两个方法,他们其实是有些问题的。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 前言 把《C++ Primer》[https://book.douban.com/subject/25708312...
    尤汐Yogy阅读 9,533评论 1 51
  • C++运算符重载-下篇 本章内容:1. 运算符重载的概述2. 重载算术运算符3. 重载按位运算符和二元逻辑运算符4...
    Haley_2013阅读 1,457评论 0 49
  • 关键字const多才多艺,你可以用它在class外部修饰global或namespace作用域中的常量,或修饰文件...
    何幻阅读 278评论 0 0
  • 题目类型 a.C++与C差异(1-18) 1.C和C++中struct有什么区别? C没有Protection行为...
    阿面a阅读 7,706评论 0 10
  • 提高财富积累的能力是目前迫切所期望的。 今年,与钱有关发生过一些事情。 个人方面: 小投资了几个网络理财产品,小有...
    芦荟加冰阅读 241评论 0 0