设为首页 加入收藏

TOP

条款01:视C++ 为一个语言联邦
2013-10-07 13:18:40 来源: 作者: 【 】 浏览:68
Tags:条款 一个 语言 联邦

1. 让自己习惯C++(www.cppentry.com)

Accustoming Yourself to C++(www.cppentry.com)

不论你的编程(www.cppentry.com)背景是什么,C++(www.cppentry.com) 都可能让你觉得有点儿熟悉。它是一个威力强大的语言,带着众多特性,但是在你可以驾驭其威力并有效运用其特性之前,你必须先习惯C++(www.cppentry.com) 的办事方式。本书谈的便是这个。总有某些东西比其他更基础些,本章就是最基本的一些东西。

条款01:视C++(www.cppentry.com) 为一个语言联邦

View C++(www.cppentry.com) as a federation of languages.

一开始,C++(www.cppentry.com)只是C加上一些面向对象特性。C++(www.cppentry.com) 最初的名称C with Classes也反映了这个血缘关系。

但是当这个语言逐渐成熟,它变得更活跃更无拘束,更大胆更冒险,开始接受不同于C with Classes的各种观念、特性和编程(www.cppentry.com)战略。Exceptions(异常)对函数的结构化带来不同的做法(见条款29),templates(模板)将我们带到新的设计思考方式(见条款41), STL则定义了一个前所未见的伸展性做法。

今天的C++(www.cppentry.com) 已经是个多重范型编程(www.cppentry.com)语言(multiparadigm programming language), 一个同时支持过程形式(procedural)、面向对象形式(object-oriented)、函数形式(functional)、泛型形式(generic)、元编程(www.cppentry.com)形式(metaprogramming)的语言。这些能力和弹性使C++(www.cppentry.com) 成为一个无可匹敌的工具,但也可能引发某些迷惑:所有"适当用法"似乎都有例外。我们该如何理解这样一个语言呢?

最简单的方法是将C++(www.cppentry.com) 视为一个由相关语言组成的联邦而非单一语言。在其某个次语言(sublanguage)中,各种守则与通例都倾向简单、直观易懂、并且容易记住。然而当你从一个次语言移往另一个次语言,守则可能改变。为了理解C++(www.cppentry.com),你必须认识其主要的次语言。幸运的是总共只有四个:

C。说到底C++(www.cppentry.com) 仍是以C为基础。区块(blocks)、语句(statements)、预处理器(preprocessor)、内置数据类型(built-in data types)、数组(arrays)、指针(pointers)等统统来自C。许多时候C++(www.cppentry.com) 对问题的解法其实不过就是较高级的C解法(例如条款2谈到预处理器之外的另一选择,条款13谈到以对象管理资源),但当你以C++(www.cppentry.com) 内的C成分工作时,高效编程(www.cppentry.com)守则映照出C语言的局限:没有模板(templates),没有异常(exceptions),没有重载(overloading)……

Object-Oriented C++(www.cppentry.com)。这部分也就是C with Classes所诉求的:classes(包括构造函数和析构函数),封装(encapsulation)、继承(inheritance)、多态(polymorphism)、virtual函数(动态绑定)……等等。这一部分是面向对象设计之古典守则在C++(www.cppentry.com) 上的最直接实施。

Template C++(www.cppentry.com)。这是C++(www.cppentry.com) 的泛型编程(www.cppentry.com)(generic programming)部分,也是大多数程序员经验最少的部分。Template相关考虑与设计已经弥漫整个C++(www.cppentry.com),良好编程(www.cppentry.com)守则中"惟template适用"的特殊条款并不罕见(例如条款46 谈到调用template functions时如何协助类型转换)。实际上由于templates威力强大,它们带来崭新的编程(www.cppentry.com)范型(programming paradigm),也就是所谓的template metaprogramming(TMP,模板元编程(www.cppentry.com))。条款48对此提供了一份概述,但除非你是template激进团队的中坚骨干,大可不必太担心这些。TMP相关规则很少与C++(www.cppentry.com) 主流编程(www.cppentry.com)互相影响。

STL。STL是个template程序库,看名称也知道,但它是非常特殊的一个。它对容器(containers)、迭代器(iterators)、算法(algorithms)以及函数对象(function objects)的规约有极佳的紧密配合与协调,然而templates及程序库也可以其他想法建置出来。STL有自己特殊的办事方式,当你伙同STL一起工作,你必须遵守它的规约。

记住这四个次语言,当你从某个次语言切换到另一个,导致高效编程(www.cppentry.com)守则要求你改变策略时,不要感到惊讶。例如对内置(也就是C-like)类型而言pass-by-value通常比pass-by-reference高效,但当你从C part of C++(www.cppentry.com) 移往Object-Oriented C++(www.cppentry.com),由于用户自定义(user-defined)构造函数和析构函数的存在,pass-by-reference-to-const往往更好。运用Template C++(www.cppentry.com) 时尤其如此,因为彼时你

甚至不知道所处理的对象的类型。然而一旦跨入STL你就会了解,迭代器和函数对象都是在C指针之上塑造出来的,所以对STL的迭代器和函数对象而言,旧式的C pass-by-value守则再次适用(参数传递方式的选择细节请见条款20)。

因此我说,C++(www.cppentry.com) 并不是一个带有一组守则的一体语言;它是从四个次语言组成的联邦政府,每个次语言都有自己的规约。记住这四个次语言你就会发现C++(www.cppentry.com) 容易了解得多。

请记住

C++(www.cppentry.com) 高效编程(www.cppentry.com)守则视状况而变化,取决于你使用C++(www.cppentry.com) 的哪一部分。

】【打印繁体】【投稿】【收藏】 【推荐】【举报】【评论】 【关闭】 【返回顶部
分享到: 
上一篇命名习惯(Naming Conventions) 下一篇条款04:确定对象被使用前已先被..

评论

帐  号: 密码: (新用户注册)
验 证 码:
表  情:
内  容: