《Effective C++》笔记:I

条款2:Prefer consts,enums,and inlines to #defines

译:尽量以const,enums,inline替换#define。

#define是预处理器中宏定义。

举个例子#define PI = 3.1415926,这句话就相当于把代码中所有出现的symbol在编译前替换成数值3.1415926 。

书中提到这种盲目替换,如果因某些原因在运用该常量时得到一个错误信息,这个错误信息会提到3.1415926而不是PI,而我们对3.1415926这个值以及其来自何处毫无概念,于是要花费大量时间追踪它。

原因就是编译器并没有把PI这个符号放入符号表(symbol table)中。

解决办法很简单,用一个常量替换这个宏:const double PI = 3.1415926。

书中还提到了了一个enumb hack用于数组声明式(编译器要求在编译期间知道数组的大小),用enum可以替换#define声明数组容量的场景。

enum hack是模板元编程的基础技术,这在条款48有详细介绍(不过我对模板元编程的了解知之甚少)

其实#define带来的麻烦并不只这些。最常见的就是宏定义一个函数,如#define Max(int a,int b) a>b?a:b;

前面提到了,#define就相当于编辑器里的ctrl+h替换功能,如果这个类似于两者比较取大者函数的Max被应用于这样的表达式中:if(50+Max(10,50) >= 100),你想要的结果可能是10与50之中取较大者加上50跟100比较大小,即50+50 >= 100 为true,但实际上编译器会这样解释50 + 10 >50 ? 10:50, 最终50+Max(10,50)会返回10 >= 100 为false。

宏定义在替换的时候经常要考虑运算符的优先级,无论何时你在写类似Max这种宏同时又想让它正确工作,请对所有实参加一个小括号。而且宏定义因为是在编译之前被处理,它是不参与翻译过程的语法检查的。

但实际上我们完全可以避免这种宏的使用。书中提到了用template inline函数来实现,同时拥有宏带来的效率以及一般函数的所有可预料行为和类型安全性。

对于常量,用const、enum替换#define。

对于类似函数的宏,用inline函数替换#define

条款3:Use const whenever possible

译:尽可能使用const

const是C++一个多才多艺的关键字。它允许我们指定一个语义约束(也就是指定一个在任何情况“不该被改动”的对象)。

我们可以在变量,函数,成员变量,指针等等地方加上const修饰,使其被标明为不可修改。

值得一提的是关于指针声明为const,可以是把指针声明为常量,亦可以是把指针所指物(指针内容)声明

书中这段原话我觉得很不错:如果关键字const出现在星号左边,表示被指物是常量;如果出现在星号右边,表示指针自身是常量;如果出现在星号两边,表示被指物和指针两者都是常量。

此外,还提到了bitwise constness和logical constness.其中提到编译器认为的bitwise const实际上还是可以被修改,书中例子是用一个指针指向const成员函数返回的地址,然后修改了该指针内容。

然后是logical constness,const成员函数可以修改它所处理对象内的某些变量。书中提到用mutable(可变的)关键字释放 掉non-static成员变量的bitwise constness约束。这种情况我倒是遇到过,因为需要在const函数中对检查状态的修改,不过我当时用强制转型解决了,也不知道当时做的是否正确。

最后就是const和non-const成员函数避免重复了,当const和non-const成员函数的内容基本一致,为了避免代码重复,应该只实现一次并重复使用它,即令其中一个调用另一个。

然后要进行常量性转除(casting away constness),而转型不是个好的方法(条款27),正确的做法是令non-const方法调用const方法避免代码重复,这过程需要一个转型动作

嗯,本来想用书中代码,还是自己写个实例吧。

#include <iostream>
class A
{
public:
    enum {arySize = 10};
    A() :m_text("123456789")
    {
    }

    ~A()
    {
    }

    const char& operator[](std::size_t pos) const
    {
        printf("const function\n");
        return m_text[pos];
    }

    char& operator[](std::size_t pos)
    {
        printf("non-const function\n");
        return const_cast<char&>(static_cast<const A&>(*this)[pos]);
    }

private:
    std::string m_text;
};

int main()
{
    A a;
    const A b = a;
    b[0];//输出const function
    a[0];//输出non-const function\n const function
    return 0;
}

这就是一次实现,重复调用,避免代码的重复。看起来好像只是省了一句代码,但实际上若在返回前还做一堆大处理,什么边界检查、状态检查的,这样实现就会达到我们的目的:代码复用。

const可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。声明为const可以帮助编译器检测错误,减少调试查错的时间成本。

当const和non-const成员函数有着实质等价的实现时,令non-const版本偏用const版本可避免代码重复,反之不可行。

时间: 2024-10-13 17:40:23

《Effective C++》笔记:I的相关文章

Effective C++笔记:构造/析构/赋值运算

条款05:了解C++默默编写并调用哪些函数 默认构造函数.拷贝构造函数.拷贝赋值函数.析构函数构成了一个类的脊梁,只有良好的处理这些函数的定义才能保证类的设计良好性. 当我们没有人为的定义上面的几个函数时,编译器会给我们构造默认的. 当成员变量里有const对象或引用类型时,编译器会不能合成默认的拷贝赋值函数:当一个基类把它的拷贝赋值函数定义为private时,它的派生类也不无生成默认的拷贝赋值函数,因为它无法完成基类成份的赋值. 条款06:若不想使用编译器自动生成的函数,就该明确拒绝 将拷贝构

Effective C++笔记06:继承与面向对象设计

关于OOP 博客地址:http://blog.csdn.net/cv_ronny 转载请注明出处! 1,继承可以是单一继承或多重继承,每一个继承连接可以是public.protected或private,也可以是virtual或non-virtual. 2,成员函数的各个选项:virtual或non-virtual或pure-virtual. 3,成员函数和其他语言特性的交互影响:缺省参数值与virtual函数有什么交互影响?继承如何影响C++的名称查找规则?设计选项有如些?如果class的行为

Effective c++(笔记)之继承关系与面向对象设计

1.公有继承(public inheritance) 意味着"是一种"(isa)的关系 解析:一定要深刻理解这句话的含义,不要认为这大家都知道,本来我也这样认为,当我看完这章后,就不这样认为了. 公有继承可以这样理解,如果令class D以public 的形式继承了class B ,那么可以这样认为,每一个类型为D的对象同时也可以认为是类型为B的对象,但反过来是不成立的,对象D是更特殊化更具体的的概念,而B是更一般化的概念,每一件事情只要能够施行于基类对象身上,就一定可以应用于派生类对

Effective c++(笔记) 之 类与函数的设计声明中常遇到的问题

1.当我们开始去敲代码的时候,想过这个问题么?怎么去设计一个类? 或者对于程序员来说,写代码真的就如同搬砖一样,每天都干的事情,但是我们是否曾想过,在c++的代码中怎么样去设计一个类?我觉得这个问题可比我们"搬砖"重要的多,大家说不是么? 这个答案在本博客中会细细道来,当我们设计一个类时,其实会出现很多问题,例如:我们是否应该在类中编写copy constructor 和assignment运算符(这个上篇博客中已说明),另外,我们是让编写的函数成为类的成员函数还是友元还是非成员函数,

Effective C++笔记05:实现

条款26:尽可能延后变量定义式的出现时间 博客地址:http://blog.csdn.net/cv_ronny 转载请注明出处! 有些对象,你可能过早的定义它,而在代码执行的过程中发生了导常,造成了开始定义的对象并没有被使用,而付出了构造成本来析构成本. 所以我们应该在定义对象时,尽可能的延后,甚至直到非得使用该变量前一刻为止,应该尝试延后这份定义直到能够给它初值实参为止. 这样做的好处是:不仅可以避免构造(析构)非必要对象,还可以避免无意义的default构造行为. 遇到循环怎么办?此时往往我

[Effective JavaScript 笔记]第28条:不要信赖函数对象的toString方法

js函数有一个非凡的特性,即将其源代码重现为字符串的能力. (function(x){ return x+1 }).toString();//"function (x){ return x+1}" 反射获取函数源代码的功能很强大,使用函数对象的toString方法有严重的局限性.toString方法的局限性ECMAScript标准对函数对象的toString方法的返回结果(即该字符串)并没有任何要求.这意味着不同的js引擎将产生不同的字符串,甚至产生的字符串与该函数并不相关. 如果函数

Effective c++(笔记)----类与函数之实现

上篇博客中集中说明了在设计一个类的时候常遇到的问题,当然博客中还夹杂着我随时想到的一些知识,发现自己写博客没很多人写的好,可能是自己语言不会组织,要么就是写的东西大家不愿意看,反正是有这方面的专业问题或者博客中有什么明显的错误和问题,大家提出来,我也好改进哈! 回归正题,这篇博客就大概的把Effective c++中类与函数这节看到的知识点做个笔记. 设计好一个类后,自己就要去实现这个类(实现类中的成员函数.友元.非成员函数等) 可能大家会遇到以下问题 1.在类的成员函数中,尽量避免返回内部数据

[Effective JavaScript 笔记]第27条:使用闭包而不是字符串来封装代码

函数是一种将代码作为数据结构存储的便利方式,代码之后可以被执行.这使得富有表现力的高阶函数抽象如map和forEach成为可能.它也是js异步I/O方法的核心.与此同时,也可以将代码表示为字符串的形式传递给eval函数以达到同样的功能.程序员面临一个选择:应该将代码表示为函数还是字符串?毫无疑问,应该将代码表示为函数.字符串表示代码不够灵活的一个重要原因是:它们不是闭包. 闭包回顾 看下面这个图 js的函数值包含了比调用它们时执行所需要的代码还要多的信息.而且js函数值还在内部存储它们可能会引用

java effective 读书笔记

java effective 读书笔记 [1]创建和销毁对象 1 静态工厂方法 就是“封装了底层 暴露出一个访问接口 ” 门面模式 2 多参数时 用构建器,就是用个内部类 再让内部类提供构造好的对象 3 枚举 singleton 不知道怎么操作,觉得意义不大 单例模式 4 私有化构造器不能实例化,也不可被子类继承 5 能用原生类的就尽量不用对象 [2]对于所有对象都通用的方法 reflexivity 自反性 symmetry 对称性 [3]类成员 降低可访问性 尽量把公有域 变成私有域,并提供

Effective c++(笔记) 之 杂项讨论

看到了Effective c++的最后一章,最开始的那章---内存管理还没搞清楚,准备那章搞清楚完也写篇博客,不管怎样,有好的开始就应该让它有个完美的结束,杂项讨论这章是作者将那些分到哪章都不合适的就索性放到了最后讨论,我看完后从中摘出自己认为重要的坐下笔记,如果能帮得到大家,那就更荣幸了哈! 1.当我们定义一个类时,编译器会自动给我产生哪些成员函数? 解析:我们都知道,当我们定义类时,如果我们没有定义某些成员函数的话,编译器会总会给我们自动合成,这就是编译器默默为我们完成和调用函数,这些函数主