03 2015 档案

摘要:set_new_handler允许客户指定一个函数,在内存分配无法获得满足时被调用。 Nothorw new 是一个颇为局限的工具,因为它只适用于内存分配;后继的构造函数调用还是可能抛出异常。 阅读全文
posted @ 2015-03-31 22:08 智者无惧 阅读(95) 评论(0) 推荐(0)
摘要:Template metaprogramming(TMP,模板元编程)可将工作由运行期移往编译期,因而得以实现早期错误侦测和更高的执行效率。 TMP可被用来生成“基于政策选择组合”(based on combinations of policy choices)的客户定制代码,也可用来避免生成对某些 阅读全文
posted @ 2015-03-31 11:50 智者无惧 阅读(112) 评论(0) 推荐(0)
摘要:Traits classes使得“类型相关信息”在编译期可用。它们以template和“templates特化”完成实现。 整合重载技术(overloading)后,traits classes有可能在编译期对类型执行if...else测试。 阅读全文
posted @ 2015-03-30 21:56 智者无惧 阅读(86) 评论(0) 推荐(0)
摘要:当我们编写一个class template,而它所提供之“与此template相关的”函数支持“所有参数之隐式类型转换”时,请将那些函数定义为“class template内部的friend函数”。 阅读全文
posted @ 2015-03-30 21:52 智者无惧 阅读(101) 评论(0) 推荐(0)
摘要:可在derived class templates内通过“this->“指涉base class templates内的成员名称,或藉由一个明白写出的”base class资格修饰符”完成。 阅读全文
posted @ 2015-03-22 22:34 智者无惧 阅读(87) 评论(0) 推荐(0)
摘要:请使用member function templates(成员函数模板)生成”可接受所有兼容类型“的函数。 如果你声明member templates 用于“泛化copy构造”或“泛化assignment操作”,你还是需要声明正常的copy构造函数和copy assignment操作符。 阅读全文
posted @ 2015-03-22 22:31 智者无惧 阅读(115) 评论(0) 推荐(0)
摘要:Templates生成多个classes和多个函数,所以任何template代码都不该与某个造成膨胀的template参数产生相依关系。 因非类型模板参数(non-type template parameters)而造成的代码膨胀,往往可消除,做法是以函数参数或class成员变量替换template 阅读全文
posted @ 2015-03-22 22:27 智者无惧 阅读(161) 评论(0) 推荐(0)
摘要:声明template参数时,前缀关键字class和typename可互换。 请使用关键字typename标识嵌套从属类型名称;但不得在base class lists(基类列)或member initialization list(成员初值列)内以它作为base class修饰符。 阅读全文
posted @ 2015-03-22 15:49 智者无惧 阅读(115) 评论(0) 推荐(0)
摘要:classes和templates都支持接口(interface)和多态(polymorphism)。 对classes而言接口是显式的(explicit),以函数签名为中心。多态则是通过virtual函数发生于运行期。 对template参数而言,接口是隐式的(implicit),奠基于有效表达式 阅读全文
posted @ 2015-03-21 22:01 智者无惧 阅读(111) 评论(0) 推荐(0)
摘要:多重继承比单一继承复杂。它可能导致新的歧义性,以及对virtual继承的需要。 virtual继承会增加大小、速度、初始化(及赋值)复杂度等等成本。如果virtual base classes不带任何数据,将是最具实用价值的情况。 多重继承的确有正当用途。其中一个情节涉及“public继承某个Int 阅读全文
posted @ 2015-03-21 21:51 智者无惧 阅读(116) 评论(0) 推荐(0)
摘要:Private继承意味is-implemented-in-terms of(根据某物实现出)。它通常比复合(composition)的级别低。但是当derived class需要访问protected base class的成员,或需要重新定义继承而来的virtual函数时,这么设计是合理的。 和复 阅读全文
posted @ 2015-03-21 21:43 智者无惧 阅读(190) 评论(0) 推荐(0)
摘要:复合(composition)的意义和public继承完全不同。 在应用域(application domain),复合意味has-a(有一个)。在实现域(implementation domain),复合意味is-implemented-in-terms-of(根据某物实现出)。 阅读全文
posted @ 2015-03-20 22:21 智者无惧 阅读(135) 评论(0) 推荐(0)
摘要:绝对不要重新定义一个继承而来的缺省参数值,因为缺省参数值都是静态绑定,而virtual函数 你唯一应该覆写的东西 却是动态绑定。 阅读全文
posted @ 2015-03-20 22:18 智者无惧 阅读(92) 评论(0) 推荐(0)
摘要:绝对不要重新定义继承而来的non-virtual函数。 阅读全文
posted @ 2015-03-20 22:14 智者无惧 阅读(84) 评论(0) 推荐(0)
摘要:virtual函数的替代方案包括NVI手法及Strategy设计模式的多种手法。NVI手法自身是一个特殊形式的Template Method设计模式。 将机能从成员函数移到class外部函数,带来的一个缺点是,非成员函数无法访问class的non-public成员。 tr1::function对象的 阅读全文
posted @ 2015-03-20 11:49 智者无惧 阅读(86) 评论(0) 推荐(0)
摘要:接口继承和实现继承不同。在public继承之下,derived classes总是继承base class的接口。 pure virtual函数只具体指定接口继承。 简朴的(非纯)impure virtual函数具体指定接口继承及缺省实现继承。 non-virtual函数具体指定接口继承以及强制性实 阅读全文
posted @ 2015-03-19 19:04 智者无惧 阅读(115) 评论(0) 推荐(0)
摘要:derived classes内的名称会遮掩base classes内的名称。在public继承下从来没有人希望如此。 为了让被遮掩的名称再见天日,可使用using声明式或转交函数(forwarding functions)。 阅读全文
posted @ 2015-03-18 17:13 智者无惧 阅读(126) 评论(0) 推荐(0)
摘要:“public继承”意味is-a。适用于base classes身上的每一件事情一定也适用于derived classes身上,因为每一个derive class对象也都是一个base class对象。 阅读全文
posted @ 2015-03-17 21:19 智者无惧 阅读(120) 评论(0) 推荐(0)
摘要:支持“编译依存性最小化”的一般构想是:相依于声明式,不要相依于定义式。基于此构想的两个手段是Handle classes 和 Interface classes. 程序库头文件应该以“完全且仅有声明式”(full and declaration-only forms)的形式存在。这种做法不论是否涉及 阅读全文
posted @ 2015-03-17 21:16 智者无惧 阅读(117) 评论(0) 推荐(0)
摘要:将大多数inlining限制在小型、被频繁调用的函数身上。这可使日后的调试过程和二进制升级(binary upgradability)更容易,也可使潜在的代码膨胀问题最小化,使程序的速度提升机会最大化。 不要只因为function templates出现在头文件,就将它们声明为inline。 阅读全文
posted @ 2015-03-14 16:21 智者无惧 阅读(148) 评论(0) 推荐(0)
摘要:异常安全函数(Exception-safe functions)即使发生异常也不会泄露资源或允许任何数据结构败坏。这样的函数区分为三种可能的保证:基本型、强烈型、不抛异常型。 “强烈保证”往往能够以copy-and-swap实现出来,但“强烈保证”并非对所有函数都可实现或具备现实意义。 函数提供的“ 阅读全文
posted @ 2015-03-14 11:52 智者无惧 阅读(167) 评论(0) 推荐(0)
摘要:避免返回handles(包括reference、指针、迭代器)指向对象内部。遵守这个条款可增加封装性,帮助const成员函数的行为像个const,并将发生“虚吊号码牌”(dangling handles)的可能性降至最低。 阅读全文
posted @ 2015-03-13 21:34 智者无惧 阅读(143) 评论(0) 推荐(0)
摘要:如果可以,尽量避免转型,特别是在注重效率的代码中避免dynamic_casts。如果有个设计需要转型动作,试着发展无需转型的替代设计。 如果转型是必要的,试着将它隐藏于某个函数背后。客户随后可以调用该函数,而不需将转型放进他们自己的代码内。 宁可使用c++-stytle(新式)转型,不要使用旧式转型 阅读全文
posted @ 2015-03-12 22:38 智者无惧 阅读(167) 评论(0) 推荐(0)
摘要:尽可能延后变量定义式的出现。这样做可增加程序的清晰度并改善程序效率。 阅读全文
posted @ 2015-03-12 16:33 智者无惧 阅读(120) 评论(0) 推荐(0)
摘要:当std::swap对你的类型效率不高时,提供一个swap成员函数,并确定这个函数不抛出异常。 如果你提供一个member swap,也该提供一个non-member swap用来调用前者。对于class(而非templates),也请特化std::swap。 调用swap时应针对std::swap 阅读全文
posted @ 2015-03-11 17:48 智者无惧 阅读(161) 评论(0) 推荐(0)
摘要:如果你需要为某个函数的所有参数(包括被this指针所指的那个隐喻参数)进行类型转换,那么这个函数必须是个non-member。 阅读全文
posted @ 2015-03-11 10:35 智者无惧 阅读(147) 评论(0) 推荐(0)
摘要:宁可拿non-member non-friend函数替换member函数。这样做可以增加封装性、包裹弹性(packaging flexibility)和机能扩充性。 阅读全文
posted @ 2015-03-10 21:13 智者无惧 阅读(138) 评论(0) 推荐(0)
摘要:切记将成员变量声明为private。这可赋予客户访问数据的一致性、可细微划分访问控制、允诺约束条件获得保证,并提供class作者以充分的实现弹性。 protected并不比public更具有封装性。 阅读全文
posted @ 2015-03-10 17:20 智者无惧 阅读(151) 评论(0) 推荐(0)
摘要:绝不要返回pointer或reference指向一个local stack对象,或返回reference指向一个heap-allocated对象,或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象。条款4已经为“在单线程环境中合理返回refer 阅读全文
posted @ 2015-03-10 10:38 智者无惧 阅读(120) 评论(0) 推荐(0)
摘要:尽量以pass-by-reference-to-const替换pass-by-value。前者通常比较高校,并可避免切割问题(slicing problem). 以上规则并不适用于内置类型,以及STL的迭代器和函数对象。对它们而言,pass-by-value往往比较适当。 阅读全文
posted @ 2015-03-09 22:15 智者无惧 阅读(115) 评论(0) 推荐(0)
摘要:Class的设计就是type的设计。在定义一个新type之前,请确定你已经考虑过本条款覆盖的所有讨论主题。 新type的对象应该如何被创建和销毁? 对象的初始化和对象的赋值该有什么样的区别? 新type的对象如果被passed by value(以值传递),意味着什么? 什么是新type的“合法值” 阅读全文
posted @ 2015-03-09 21:37 智者无惧 阅读(104) 评论(0) 推荐(0)
摘要:好的接口很容易被正确使用,不容易被误用。你应该在你IDE所有接口中努力达成这些性质。 “促进正确使用”的办法包括接口的一致性,以及与内置类型的行为兼容。 “阻止误用"的办法包括建立新类型、限制类型上的操作,束缚对象值,以及消除客户的资源管理责任。 tri::shared_ptr支持定制型删除器(cu 阅读全文
posted @ 2015-03-08 21:14 智者无惧 阅读(102) 评论(0) 推荐(0)