Bagaimana cara menerima iterator generik?

Iterator biasanya diterima berdasarkan nilai, kemudian didiskriminasi dengan delegasi ke fungsi lain.

Misalnya,

    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 * ) { … }
};

Melewati iterator yang salah akan mengakibatkan kesalahan di dalam fungsi, yang mungkin tidak jelas bagi pengguna. Tapi itulah yang biasanya terjadi dalam implementasi perpustakaan standar, dan itulah cara iterator awalnya digunakan sebelum SFINAE ditemukan. Jika ada kesalahan umum pengguna, Anda dapat menjebaknya secara spesifik dan mengarahkan pengguna ke kesalahan/komentar tertentu.

Jika tidak perlu memilih perilaku yang berbeda, tetapi ingin memastikan pengguna meneruskan iterator akses acak ke MyClass *, gunakan beberapa static_asserts dengan kondisi std::is_same sebagai jawaban sbabbi. Pengalaman pengguna yang dihasilkan lebih baik daripada SFINAE murni karena pesan kesalahannya mengatakan "Harap berikan iterator akses acak", bukan "Tidak ditemukan kelebihan beban".

Bagaimana dengan:

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);

EDIT Anda juga harus mempertimbangkan untuk mengganti std::is_same pertama dengan std::is_convertible, dan memeriksa const MyClass* jika Anda tidak akan mengubah input.