วิธีการทำงานของ SFINAE ใน C ++

ฉันใช้ฟังก์ชั่น SFINAE อย่างหนักในโครงการและไม่แน่ใจว่ามีความแตกต่างใด ๆ ระหว่างสองวิธีต่อไปนี้ (นอกเหนือจากสไตล์):

#include <cstdlib>
#include <type_traits>
#include <iostream>

template <class T, class = std::enable_if_t<std::is_same_v<T, int>>>
void foo()
{
    std::cout << "method 1" << std::endl;
}

template <class T, std::enable_if_t<std::is_same_v<T, double>>* = 0>
void foo()
{
    std::cout << "method 2" << std::endl;
}

int main()
{
    foo<int>();
    foo<double>();

    std::cout << "Done...";
    std::getchar();

    return EXIT_SUCCESS;
}

ผลลัพธ์ของโปรแกรมเป็นไปตามที่คาดไว้:

method 1
method 2
Done...

ฉันเคยเห็นวิธีที่ 2 ใช้บ่อยใน stackoverflow แต่ฉันชอบวิธีที่ 1

มีสถานการณ์ใดบ้างที่ทั้งสองแนวทางนี้ต่างกัน?

ฉันเคยเห็นวิธีที่ 2 ใช้บ่อยใน stackoverflow แต่ฉันชอบวิธีที่ 1

คำแนะนำ: ชอบวิธีที่ 2

ทั้งสองวิธีสามารถใช้งานได้กับฟังก์ชั่นเดียว ปัญหาเกิดขึ้นเมื่อคุณมีมากกว่าฟังก์ชั่นที่มีลายเซ็นเหมือนกันและคุณต้องการเปิดใช้งานฟังก์ชั่นเดียวเท่านั้นของชุด

สมมติว่าคุณต้องการเปิดใช้งานfoo()รุ่นที่ 1 เมื่อbar<T>()(แสร้งทำเป็นว่ามันเป็นconstexprฟังก์ชั่น) เป็นtrueและfoo()รุ่นที่ 2 เมื่อเป็นbar<T>()false

กับ

template <typename T, typename = std::enable_if_t<true == bar<T>()>>
void foo () // version 1
 { }

template <typename T, typename = std::enable_if_t<false == bar<T>()>>
void foo () // version 2
 { }

คุณได้รับข้อผิดพลาดในการคอมไพล์เนื่องจากคุณมีความกำกวม: สองfoo()ฟังก์ชันที่มีลายเซ็นเดียวกัน (พารามิเตอร์เทมเพลตเริ่มต้นไม่เปลี่ยนลายเซ็น)

แต่ทางออกต่อไปนี้

template <typename T, std::enable_if_t<true == bar<T>(), bool> = true>
void foo () // version 1
 { }

template <typename T, std::enable_if_t<false == bar<T>(), bool> = true>
void foo () // version 2
 { }

ใช้งานได้เพราะ SFINAE ปรับเปลี่ยนลายเซ็นของฟังก์ชัน

การสังเกตที่ไม่เกี่ยวข้อง: นอกจากนี้ยังมีวิธีที่สาม: เปิดใช้งาน / ปิดใช้งานชนิดส่งคืน (ยกเว้นตัวสร้างคลาส / โครงสร้าง

template <typename T>
std::enable_if_t<true == bar<T>()> foo () // version 1
 { }

template <typename T>
std::enable_if_t<false == bar<T>()> foo () // version 2
 { }

เป็นวิธีที่ 2 วิธีที่ 3 เข้ากันได้กับการเลือกฟังก์ชั่นทางเลือกที่มีลายเซ็นเดียวกัน

นอกจากคำตอบของ max66แล้วเหตุผลอีกข้อหนึ่งที่ชอบวิธีที่ 2 ก็คือด้วยวิธีที่ 1 คุณสามารถ (โดยไม่ตั้งใจ) ผ่านพารามิเตอร์ประเภทที่ชัดเจนว่าเป็นอาร์กิวเมนต์เท็มเพลตที่สองและเอาชนะกลไก SFINAE ได้อย่างสมบูรณ์ สิ่งนี้อาจเกิดขึ้นได้จากข้อผิดพลาดที่พิมพ์ผิดคัดลอก / วางหรือการกำกับดูแลในกลไกแม่แบบที่มีขนาดใหญ่กว่า

#include <cstdlib>
#include <type_traits>
#include <iostream>

// NOTE: foo should only accept T=int
template <class T, class = std::enable_if_t<std::is_same_v<T, int>>>
void foo(){
    std::cout << "method 1" << std::endl;
}

int main(){

    // works fine
    foo<int>();

    // ERROR: subsitution failure, as expected
    // foo<double>();

    // Oops! also works, even though T != int :(
    foo<double, double>();

    return 0;
}

การสาธิตสดที่นี่