C++ Boost TypeTraits庫使用詳解
一、說明
反省是重點(diǎn)中的重點(diǎn),泛型在實(shí)踐中貫穿工程的始終。以下庫支持泛型編程。無需詳細(xì)了解模板元編程即可使用這些庫。 Boost.TypeTraits 提供了檢查類型屬性的函數(shù)。 Boost.EnableIf 可以與 Boost.TypeTraits 一起使用,例如,根據(jù)函數(shù)的返回類型重載函數(shù)。 Boost.Fusion 使創(chuàng)建異構(gòu)容器成為可能——其元素可以具有不同類型的容器。
二、庫Boost.TypeTraits
類型具有泛型編程所利用的不同屬性。 Boost.TypeTraits 庫提供了確定和更改類型屬性所需的工具。
從 C++11 開始,Boost.TypeTraits 提供的一些函數(shù)可以在標(biāo)準(zhǔn)庫中找到。您可以通過頭文件 type_traits 訪問這些函數(shù)。然而,Boost.TypeTraits 提供了額外的功能。
示例 48.1。確定類型類別
#include <boost/type_traits.hpp> #include <iostream> using namespace boost; int main() { std::cout.setf(std::ios::boolalpha); std::cout << is_integral<int>::value << '\n'; std::cout << is_floating_point<int>::value << '\n'; std::cout << is_arithmetic<int>::value << '\n'; std::cout << is_reference<int>::value << '\n'; }
示例 48.1 調(diào)用了幾個(gè)函數(shù)來確定類型類別。 boost::is_integral 檢查一個(gè)類型是否是整數(shù)——它是否可以存儲(chǔ)整數(shù)。 boost::is_floating_point 檢查類型是否存儲(chǔ)浮點(diǎn)數(shù)。 boost::is_arithmetic 檢查類型是否支持算術(shù)運(yùn)算符。并且 boost::is_reference 可用于確定類型是否為引用。
boost::is_integral 和 boost::is_floating_point 是互斥的。類型存儲(chǔ)整數(shù)或浮點(diǎn)數(shù)。但是,boost::is_arithmetic 和 boost::is_reference 可以應(yīng)用于多個(gè)類別。例如,整數(shù)和浮點(diǎn)類型都支持算術(shù)運(yùn)算。
Boost.TypeTraits 中的所有函數(shù)都提供一個(gè) true 或 false 值的結(jié)果。示例 48.1 為 is_integral<int> 和 is_arithmetic<int> 輸出 true,為 is_floating_point<int> 和 is_reference<int> 輸出 false。因?yàn)樗羞@些函數(shù)都是模板,所以在運(yùn)行時(shí)不會(huì)處理任何事情。該示例在運(yùn)行時(shí)的行為就像在代碼中直接使用值 true 和 false 一樣。
在示例 48.1 中,各種函數(shù)的結(jié)果是 bool 類型的值,可以直接寫入標(biāo)準(zhǔn)輸出。如果結(jié)果要由函數(shù)模板處理,則應(yīng)將其作為類型而不是布爾值轉(zhuǎn)發(fā)。
示例 48.2。 boost::true_type 和 boost::false_type
#include <boost/type_traits.hpp> #include <iostream> using namespace boost; int main() { std::cout.setf(std::ios::boolalpha); std::cout << is_same<is_integral<int>::type, true_type>::value << '\n'; std::cout << is_same<is_floating_point<int>::type, false_type>::value << '\n'; std::cout << is_same<is_arithmetic<int>::type, true_type>::value << '\n'; std::cout << is_same<is_reference<int>::type, false_type>::value << '\n'; }
除了值,來自 Boost.TypeTraits 的函數(shù)還提供類型結(jié)果。 value 是一個(gè) bool 值,type 是一個(gè)類型。就像只能設(shè)置為 true 或 false 的值一樣,類型只能設(shè)置為兩種類型之一:boost::true_type 或 boost::false_type。 type 允許您將函數(shù)的結(jié)果作為類型傳遞給另一個(gè)函數(shù)。
示例 48.2 使用了另一個(gè)來自 Boost.TypeTraits 的函數(shù),稱為 boost::is_same。此函數(shù)需要兩種類型作為參數(shù)并檢查它們是否相同。要將 boost::is_integral、boost::is_floating_point、boost::is_arithmetic 和 boost::is_reference 的結(jié)果傳遞給 boost::is_same,必須訪問 type。然后將類型與 boost::true_type 或 boost::false_type 進(jìn)行比較。然后再次讀取 boost::is_same 的結(jié)果。因?yàn)檫@是一個(gè)布爾值,所以它可以寫入標(biāo)準(zhǔn)輸出。
示例 48.3。使用 Boost.TypeTraits 檢查類型屬性
#include <boost/type_traits.hpp> #include <iostream> using namespace boost; int main() { std::cout.setf(std::ios::boolalpha); std::cout << has_plus<int>::value << '\n'; std::cout << has_pre_increment<int>::value << '\n'; std::cout << has_trivial_copy<int>::value << '\n'; std::cout << has_virtual_destructor<int>::value << '\n'; }
示例 48.3 介紹了檢查類型屬性的函數(shù)。 boost::has_plus 檢查類型是否支持運(yùn)算符 operator+ 以及是否可以連接兩個(gè)相同類型的對(duì)象。 boost::has_pre_increment 檢查類型是否支持預(yù)遞增運(yùn)算符 operator++。 boost::has_trivial_copy 檢查一個(gè)類型是否有一個(gè)平凡的復(fù)制構(gòu)造函數(shù)。 boost::has_virtual_destructor 檢查類型是否具有虛擬析構(gòu)函數(shù)。
示例 48.3 顯示 true 三次, false 一次。
示例 48.4。使用 Boost.TypeTraits 改變類型屬性
#include <boost/type_traits.hpp> #include <iostream> using namespace boost; int main() { std::cout.setf(std::ios::boolalpha); std::cout << is_const<add_const<int>::type>::value << '\n'; std::cout << is_same<remove_pointer<int*>::type, int>::value << '\n'; std::cout << is_same<make_unsigned<int>::type, unsigned int>::value << '\n'; std::cout << is_same<add_rvalue_reference<int>::type, int&&>::value << '\n'; }
示例 48.4 說明了如何更改類型屬性。 boost::add_const 添加常量到一個(gè)類型。如果類型已經(jīng)是常量,則沒有任何變化。代碼編譯沒有問題,類型保持不變。
boost::remove_pointer 從指針類型中刪除星號(hào)并返回指針引用的類型。 boost::make_unsigned 將帶符號(hào)的類型轉(zhuǎn)換為不帶符號(hào)的類型。 boost::add_rvalue_reference 將類型轉(zhuǎn)換為右值引用。
示例 48.4 將 true 寫入標(biāo)準(zhǔn)輸出四次。
到此這篇關(guān)于C++ Boost TypeTraits庫使用詳解的文章就介紹到這了,更多相關(guān)C++ Boost TypeTraits內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
關(guān)于PCL出現(xiàn)"無法找到?pcl_commond.dll?文件程序無法執(zhí)行"的問題及解決方法
這篇文章主要介紹了PCL出現(xiàn)"無法找到?pcl_commond.dll?文件程序無法執(zhí)行"的問題,本文給大家介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2022-07-07C語言一個(gè)函數(shù)如何實(shí)現(xiàn)好幾個(gè)return返回值
本文主要介紹了C語言一個(gè)函數(shù)如何實(shí)現(xiàn)好幾個(gè)return返回值,文中通過示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2022-08-08C++ Leetcode實(shí)現(xiàn)從英文中重建數(shù)字
本文主要介紹了當(dāng)給你一個(gè)字符串s,其中包含字母順序打亂的用英文單詞表示的若干數(shù)字(0-9)時(shí),如何通過Leetcode按升序返回原始的數(shù)字。感興趣的童鞋可以來看看2021-11-11epoll多路復(fù)用的一個(gè)實(shí)例程序(C實(shí)現(xiàn))
這篇文章主要為大家詳細(xì)介紹了epoll多路復(fù)用的一個(gè)實(shí)例程序,文中示例代碼介紹的非常詳細(xì),具有一定的參考價(jià)值,感興趣的小伙伴們可以參考一下2022-08-08基于對(duì)話框程序中讓對(duì)話框捕獲WM_KEYDOWN消息的實(shí)現(xiàn)方法
下面我們將通過程序給大家演示基于對(duì)話框的應(yīng)用程序?qū)M_KEYDOWN消息的捕獲。需要的朋友可以參考下2013-05-05