จะยอมรับตัววนซ้ำทั่วไปได้อย่างไร

โดยทั่วไปตัววนซ้ำจะได้รับการยอมรับตามค่า จากนั้นจึงถูกเลือกปฏิบัติโดยการมอบหมายไปยังฟังก์ชันอื่นๆ

ตัวอย่างเช่น,

    template< typename iterator >
    Class( iterator it ) {
        init_class( * it, typename std::iterator_traits< iterator >::category() );
    }

    template< typename iterator >
    void init_class( iterator it, std::random_access_iterator_tag ) {
        for ( int i = 0; i != 42; i +=3 ) {
            do_something( it[ i ] );
        }
    }

    void do_something( MyClass * ) { … }
};

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

หากไม่จำเป็นต้องเลือกพฤติกรรมที่แตกต่างกัน แต่ต้องการให้แน่ใจว่าผู้ใช้ผ่านตัววนซ้ำการเข้าถึงแบบสุ่มมากกว่า MyClass * ให้ใช้ static_asserts คู่กับเงื่อนไข std::is_same เป็นคำตอบของ sbabbi ประสบการณ์ผู้ใช้ที่ได้นั้นดีกว่า SFINAE เพียงอย่างเดียว เนื่องจากข้อความแสดงข้อผิดพลาดแจ้งว่า "โปรดส่งตัววนซ้ำที่เข้าถึงโดยสุ่ม" ไม่ใช่ "ไม่พบโอเวอร์โหลด"

แล้ว:

template<class Iterator>
Class(Iterator it,
  typename std::enable_if<
          std::is_same<
                  typename std::iterator_traits<Iterator>::value_type,
                  MyClass*
          >::value //checks for value_type
          &&
          std::is_base_of<
                  std::random_access_iterator_tag,
                  typename std::iterator_traits<Iterator>::iterator_category
          >::value //checks for iterator category
    >::type * = 0);

แก้ไข นอกจากนี้ คุณควรพิจารณาแทนที่ std::is_same แรกด้วย std::is_convertible และตรวจสอบ const MyClass* หากคุณจะไม่แก้ไขอินพุต