一、說(shuō)明

Boost.EnableIf

Boost.Enable If 可以禁用重載函數(shù)模板或?qū)Ｓ妙?lèi)模板。禁用意味著編譯器忽略相應(yīng)的模板。這有助于防止出現(xiàn)模棱兩可的情況，即編譯器不知道要使用哪個(gè)重載函數(shù)模板。它還可以更輕松地定義不僅可用于特定類(lèi)型而且可用于一組類(lèi)型的模板。

從 C++11 開(kāi)始，Boost.EnableIf 已經(jīng)成為標(biāo)準(zhǔn)庫(kù)的一部分。您可以在不使用 Boost 庫(kù)的情況下調(diào)用本章介紹的函數(shù)；只需包含頭文件 type_traits。

二、Boost.EnableIf的示例

示例 49.1。在返回值上使用 boost::enable_if 重載函數(shù)

#include <boost/utility/enable_if.hpp>
#include <type_traits>
#include <string>
#include <iostream>
template <typename T>
typename boost::enable_if<std::is_same<T, int>, T>::type create()
{
  return 1;
}
template <typename T>
typename boost::enable_if<std::is_same<T, std::string>, T>::type create()
{
  return "Boost";
}
int main()
{
  std::cout << create<std::string>() << '\n';
}

Example49.1

示例 49.1 定義了函數(shù)模板 create()，它返回作為模板參數(shù)傳遞的類(lèi)型的對(duì)象。該對(duì)象在 create() 中初始化，不接受任何參數(shù)。兩個(gè) create() 函數(shù)的簽名沒(méi)有區(qū)別。在這方面，create() 不是重載函數(shù)。如果 Boost.EnableIf 沒(méi)有啟用一個(gè)函數(shù)而禁用另一個(gè)，編譯器將報(bào)告錯(cuò)誤。

Boost.EnableIf 提供類(lèi) boost::enable_if，這是一個(gè)需要兩個(gè)參數(shù)的模板。第一個(gè)參數(shù)是條件。如果條件為真，第二個(gè)參數(shù)是 boost::enable_if 表達(dá)式的類(lèi)型。訣竅在于，如果條件為假，則此類(lèi)型不存在，在這種情況下，boost::enable_if 表達(dá)式是無(wú)效的 C++ 代碼。然而，當(dāng)涉及到模板時(shí)，編譯器不會(huì)抱怨無(wú)效代碼。相反，它會(huì)忽略模板并搜索另一個(gè)可能適合的模板。這個(gè)概念被稱(chēng)為 SFINAE，它代表“替換失敗不是錯(cuò)誤”。

在示例 49.1 中，boost::enable_if 表達(dá)式中的兩個(gè)條件都使用類(lèi) std::is_same。此類(lèi)在 C++11 標(biāo)準(zhǔn)庫(kù)中定義，允許您比較兩種類(lèi)型。因?yàn)檫@樣的比較不是真就是假，所以使用 std::is_same 來(lái)定義條件就足夠了。

如果條件為真，相應(yīng)的 create() 函數(shù)應(yīng)返回作為模板參數(shù)傳遞給 create() 的類(lèi)型的對(duì)象。這就是 T 作為第二個(gè)參數(shù)傳遞給 boost::enable_if 的原因。如果條件為真，則整個(gè) boost::enable_if 表達(dá)式將替換為 T。在示例 49.1 中，編譯器會(huì)看到返回 int 的函數(shù)或返回 std::string 的函數(shù)。如果使用 int 或 std::string 以外的任何其他類(lèi)型調(diào)用 create()，編譯器將報(bào)告錯(cuò)誤。

示例 49.1 顯示提升。

示例 49.2。使用 boost::enable_if 為一組類(lèi)型專(zhuān)門(mén)化函數(shù)

#include <boost/utility/enable_if.hpp>
#include <type_traits>
#include <iostream>
template <typename T>
void print(typename boost::enable_if<std::is_integral<T>, T>::type i)
{
  std::cout << "Integral: " << i << '\n';
}
template <typename T>
void print(typename boost::enable_if<std::is_floating_point<T>, T>::type f)
{
  std::cout << "Floating point: " << f << '\n';
}
int main()
{
  print<short>(1);
  print<long>(2);
  print<double>(3.14);
}

Example49.2

示例 49.2 使用 boost::enable_if 為一組類(lèi)型特化一個(gè)函數(shù)。該函數(shù)稱(chēng)為 print() 并需要一個(gè)參數(shù)。它可以被重載，盡管重載要求您使用具體類(lèi)型。要對(duì)一組類(lèi)型（如 short、int 或 long）執(zhí)行相同的操作，您可以使用 boost::enable_if 定義適當(dāng)?shù)臈l件。示例 49.2 使用 std::is_integral 來(lái)做到這一點(diǎn)。第二個(gè) print() 函數(shù)為所有浮點(diǎn)數(shù)重載了 std::is_floating_point。

練習(xí)

使 print_has_post_increment() 寫(xiě)入標(biāo)準(zhǔn)輸出，無(wú)論類(lèi)型是否支持后增量運(yùn)算符。例如，對(duì)于 int 程序應(yīng)該輸出“int has a post increment operator”：

#include <string>
template <class T>
void print_has_post_increment()
{
    // TODO: Implement this function.
}
int main()
{
    print_has_post_increment<int>();
    print_has_post_increment<long>();
    print_has_post_increment<std::string>();
}

到此這篇關(guān)于C++ Boost EnableIf函數(shù)使用介紹的文章就介紹到這了,更多相關(guān)C++ Boost EnableIf內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論