這篇文章主要介紹“C++使用模式術(shù)語定義方法是什么”,在日常操作中,相信很多人在C++使用模式術(shù)語定義方法是什么問題上存在疑惑,小編查閱了各式資料,整理出簡單好用的操作方法,希望對大家解答”C++使用模式術(shù)語定義方法是什么”的疑惑有所幫助!接下來,請跟著小編一起來學(xué)習(xí)吧!
成都創(chuàng)新互聯(lián)從2013年創(chuàng)立,是專業(yè)互聯(lián)網(wǎng)技術(shù)服務(wù)公司,擁有項(xiàng)目網(wǎng)站建設(shè)、成都網(wǎng)站設(shè)計(jì)網(wǎng)站策劃,項(xiàng)目實(shí)施與項(xiàng)目整合能力。我們以讓每一個(gè)夢想脫穎而出為使命,1280元肅南裕固族自治做網(wǎng)站,已為上家服務(wù),為肅南裕固族自治各地企業(yè)和個(gè)人服務(wù),聯(lián)系電話:13518219792
T.26:相比簡單的語法,根據(jù)使用模式術(shù)語定義概念更好
The definition is more readable and corresponds directly to what a user has to write. Conversions are taken into account. You don't have to remember the names of all the type traits.
這種定義方式更具可讀性,和用戶必須寫的內(nèi)容直接對應(yīng)。轉(zhuǎn)換也考慮在內(nèi)。你不必記住所有類型的特征。
Example (using TS concepts)(示例(使用TS概念))
You might be tempted to define a concept Equality like this:
你可能試圖像這樣定義Equality概念:
template concept Equality = has_equal && has_not_equal;
Obviously, it would be better and easier just to use the standard EqualityComparable, but - just as an example - if you had to define such a concept, prefer:
顯然,只是使用標(biāo)準(zhǔn)的EqualityComparable會更好,也更容易,但是只是一個(gè)例子,如果你必須定義這樣的概念,這樣更好:
template concept Equality = requires(T a, T b) {
bool == { a == b }
bool == { a != b }
// axiom { !(a == b) == (a != b) }
// axiom { a = b; => a == b } // => means "implies"
}
as opposed to defining two meaningless concepts has_equal and has_not_equal just as helpers in the definition of Equality. By "meaningless" we mean that we cannot specify the semantics of has_equal in isolation.
而不是只為了輔助定義Equality而定義無意義的has_equal和has_not_equal概念。通過“無意義”這個(gè)詞,我們想表達(dá)的是我們無法獨(dú)立地定義has_equal的語義。
到此,關(guān)于“C++使用模式術(shù)語定義方法是什么”的學(xué)習(xí)就結(jié)束了,希望能夠解決大家的疑惑。理論與實(shí)踐的搭配能更好的幫助大家學(xué)習(xí),快去試試吧!若想繼續(xù)學(xué)習(xí)更多相關(guān)知識,請繼續(xù)關(guān)注創(chuàng)新互聯(lián)網(wǎng)站,小編會繼續(xù)努力為大家?guī)砀鄬?shí)用的文章!