C++核心准则T.11:只要可能就使用标准概念

时间:2022-07-24
本文章向大家介绍C++核心准则T.11:只要可能就使用标准概念,主要内容包括其使用实例、应用技巧、基本知识点总结和需要注意事项,具有一定的参考价值,需要的朋友可以参考一下。

天人菊

T.11: Whenever possible use standard concept

T.11:只要可能就使用标准概念

Reason(原因)

"Standard" concepts (as provided by the GSL and the Ranges TS, and hopefully soon the ISO standard itself) save us the work of thinking up our own concepts, are better thought out than we can manage to do in a hurry, and improve interoperability.

“标准”的概念(由GSL或Range技术规格提供,很有可能很快ISO标准也会提供)可以节约我们设计自用概念的工作,而且标准概念会比我们匆忙之间设计的概念更好,也更具互换性。

Note(注意)

Unless you are creating a new generic library, most of the concepts you need will already be defined by the standard library

除非你在开发新的通用库,大部分你需要的概念应该已经在标准库中有定义而不需要另外设计。

Example (using TS concepts)(实例(使用TS概念))

template<typename T>
    // don't define this: Sortable is in the GSL
concept Ordered_container = Sequence<T> && Random_access<Iterator<T>> && Ordered<Value_type<T>>;

void sort(Ordered_container& s);

This Ordered_container is quite plausible, but it is very similar to the Sortable concept in the GSL (and the Range TS). Is it better? Is it right? Does it accurately reflect the standard's requirements for sort? It is better and simpler just to use Sortable:

Ordered_container相当合理,但是它和GSL(和RangeTS)中的Sortable概念非常相似。这么做更好么?这么做正确么?它准确地反映了排序的标准需求么?直接使用Sortable的方式更简单也更好。

void sort(Sortable& s);   // better
Note(注意)

The set of "standard" concepts is evolving as we approach an ISO standard including concepts.

在我们努力将概念引入ISO标准的过程中,这一套“标准”概念也在逐步发展。

Note(注意)

Designing a useful concept is challenging.

设计一个有用的概念是一种挑战。

Enforcement(实施建议)

Hard.

很难

  • Look for unconstrained arguments, templates that use "unusual"/non-standard concepts, templates that use "homebrew" concepts without axioms.
  • 寻找使用没有约束的参数,使用“不一般的”/非标准概念的模板,使用没有经过严密论证的自己定义的概念的模板。
  • Develop a concept-discovery tool (e.g., see an early experiment).
  • 设计一个发现概念的工具 参见 :https://www.stroustrup.com/sle2010_webversion.pdf

原文链接

https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#t11-whenever-possible-use-standard-concepts