使用不同的enable_if條件選擇成員函數
enable_if元函數用於指定模板函數參數並根據它們選擇合適的成員函數。考慮以下程式碼:
template
struct Point
{
// Check if T is int and call MyFunction for int
void MyFunction(typename std::enable_if<:is_same int>::value, T &>::type* = 0)
{
std::cout ::value, float &>::type* = 0)
{
std::cout 但是,此程式碼可能會導致編譯器錯誤,指示「'struct std::enable_if'中沒有名為'type'的型別」。
理解enable_if
enable_if 確保在重載決策期間僅考慮可行的函數重載。如果模板參數替換失敗,則將從候選集中刪除該重載。
在上面的範例中,在實例化成員函數時模板參數 T 是已知的。為了實現所需的行為,我們可以建立一個預設為 T 的虛擬範本參數並使用它來執行 SFINAE:
template
struct Point
{
template
typename std::enable_if<:is_same int>::value>::type
MyFunction()
{
std::cout
typename std::enable_if<:is_same float>::value>::type
MyFunction()
{
std::cout
免責聲明: 提供的所有資源部分來自互聯網,如果有侵犯您的版權或其他權益,請說明詳細緣由並提供版權或權益證明然後發到郵箱:[email protected] 我們會在第一時間內為您處理。
Copyright© 2022 湘ICP备2022001581号-3