C++核心准则T.23:通过增加新的使用模式，从更加普遍的场景中区分更精炼的概念

Posted 2022-07-29 大连木匠

T.23: Differentiate a refined concept from its more general case by adding new use patterns.

T.23:通过增加新的使用模式，从更加普遍的场景中区分更精炼的概念

 

Reason（原因）

Otherwise they cannot be distinguished automatically by the compiler.

否则它们无法被编译器自动区分。

 

Example (using TS concepts)（示例（使用TS概念））

template<typename I>
concept bool Input_iter = requires(I iter)  ++iter; ;

template<typename I>
concept bool Fwd_iter = Input_iter<I> && requires(I iter)  iter++; 

The compiler can determine refinement based on the sets of required operations (here, suffix ++). This decreases the burden on implementers of these types since they do not need any special declarations to "hook into the concept". If two concepts have exactly the same requirements, they are logically equivalent (there is no refinement).

编译器可以决定基于一套必要操作（这里是++后缀）的提炼。由于这种方式不需要深入概念内部的特别定义，因而减轻了实现这些类型的负担。如果两个概念具有完全相同的需求，它们逻辑上就是等价的（这里不存在提炼）

 

Enforcement（实施建议）

• Flag a concept that has exactly the same requirements as another already-seen concept (neither is more refined). To disambiguate them, see T.24.
• 标记和其他已经见过的概念（两者都没有被提炼）具有完全相同的需求的概念。

​原文链接

​​https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#t23-differentiate-a-refined-concept-from-its-more-general-case-by-adding-new-use-patterns​​

 

 

新书介绍

​​《实战Python设计模式》​​是作者最近出版的新书，拜托多多关注！

本书利用Python 的标准GUI 工具包tkinter，通过可执行的示例对23 个设计模式逐个进行说明。这样一方面可以使读者了解真实的软件开发工作中每个设计模式的运用场景和想要解决的问题；另一方面通过对这些问题的解决过程进行说明，让读者明白在编写代码时如何判断使用设计模式的利弊，并合理运用设计模式。

对设计模式感兴趣而且希望随学随用的读者通过本书可以快速跨越从理解到运用的门槛；希望学习Python GUI 编程的读者可以将本书中的示例作为设计和开发的参考；使用Python 语言进行图像分析、数据处理工作的读者可以直接以本书中的示例为基础，迅速构建自己的系统架构。

 

---

 

觉得本文有帮助？请分享给更多人。

关注微信公众号【面向对象思考】轻松学习每一天！

面向对象开发，面向对象思考！