這篇文章主要講解了“C++怎么為模板參數(shù)定義概念”，文中的講解內(nèi)容簡單清晰，易于學(xué)習(xí)與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學(xué)習(xí)“C++怎么為模板參數(shù)定義概念”吧！

成都創(chuàng)新互聯(lián)專注于企業(yè)成都營銷網(wǎng)站建設(shè)、網(wǎng)站重做改版、土默特右旗網(wǎng)站定制設(shè)計、自適應(yīng)品牌網(wǎng)站建設(shè)、H5場景定制、商城系統(tǒng)網(wǎng)站開發(fā)、集團(tuán)公司官網(wǎng)建設(shè)、外貿(mào)網(wǎng)站制作、高端網(wǎng)站制作、響應(yīng)式網(wǎng)頁設(shè)計等建站業(yè)務(wù)，價格優(yōu)惠性價比高，為土默特右旗等各大城市提供網(wǎng)站開發(fā)制作服務(wù)。

T.10：為所有的模板參數(shù)定義概念

Reason（原因）

Correctness and readability. The assumed meaning (syntax and semantics) of a template argument is fundamental to the interface of a template. A concept dramatically improves documentation and error handling for the template. Specifying concepts for template arguments is a powerful design tool.

正確性和可讀性。一個模板參數(shù)的假定含義（語法和語義）是模板接口的基礎(chǔ)。概念大幅度改善了模板的文檔化和錯誤處理。為模板參數(shù)定義概念是一個強有力的設(shè)計工具。

Example（實例）

template
//    requires Input_iterator
//             && Equality_comparable, Val>
Iter find(Iter b, Iter e, Val v)
{
   // ...
}

or equivalently and more succinctly:

或者使用下面功能等價但更簡潔的方式：

template
//    requires Equality_comparable, Val>
Iter find(Iter b, Iter e, Val v)
{
   // ...
}

Note（注意）

"Concepts" are defined in an ISO Technical Specification: concepts. A draft of a set of standard-library concepts can be found in another ISO TS: ranges Concepts are supported in GCC 6.1 and later. Consequently, we comment out uses of concepts in examples; that is, we use them as formalized comments only. If you use GCC 6.1 or later, you can uncomment them:

“概念”被ISO技術(shù)規(guī)格：concepts定義。一套標(biāo)準(zhǔn)庫concepts的初步版本可以在另一個ISO技術(shù)規(guī)格：ranges中找到。GCC6.1以后都支持concepts。因此我們在實例代碼中注釋掉使用concepts的部分；也就是說我們只是將它們用作標(biāo)準(zhǔn)的注釋。如果你使用GCC6.1之后的版本，可以打開注釋。

template

    requires Input_iterator
          && Equality_comparable, Val>
Iter find(Iter b, Iter e, Val v)
{
   // ...
}

Note（注意）

Plain typename (or auto) is the least constraining concept. It should be used only rarely when nothing more than "it's a type" can be assumed. This is typically only needed when (as part of template metaprogramming code) we manipulate pure expression trees, postponing type checking.

直接的類型名（或auto）是最小約束的概念。它應(yīng)該被極少使用，僅限于表現(xiàn)“它是一個類型”。這通常只在我們操作純表達(dá)式樹，延遲類型檢查時有（作為模板元編程的一部分）存在的必要。

感謝各位的閱讀，以上就是“C++怎么為模板參數(shù)定義概念”的內(nèi)容了，經(jīng)過本文的學(xué)習(xí)后，相信大家對C++怎么為模板參數(shù)定義概念這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是創(chuàng)新互聯(lián)，小編將為大家推送更多相關(guān)知識點的文章，歡迎關(guān)注！