概念_(C++)

「 概念 」 ( concept ) 已於2009年7月份的 C++ 委員會會議中被投票否決 ， 已經從 C++ 0X標準中正式被移除 。 本文紀錄的是最後一篇有出現 「 概念 」 的工作文件 。 在針對 C++ 進行修訂的 C++ 0x 中 ， 概念 ( concept ) 和與其相關的一組公設 ( axiom ) 被提出作爲 C++ 模板系統的擴充 。 它們被設計用來增進編譯器發現問題代碼所產生的錯誤訊息 ， 並讓程序員能在他們所編寫的樣板中定義樣板參數所具備的屬性 。 這些屬性讓代碼能指引編譯器做某些優化 ， 同時也可能透過形式驗證工具來檢驗實作與規格是否相符以增進可靠性 。 2009年7月 ， 因爲概念被認爲還未準備好進入 C++ 0x ， C++ 0x 委員會決定從標準草案中將其移除 。 目前有些非正式的計劃以某種形式將概念再次納入標準 ， 但仍未有正式的決定 。 一個針對概念的初步實作是 。