Bagaimana Anda Boleh Mengkhususkan Templat Berdasarkan Resolusi Lebihan?

Metaprogramming: Pengkhususan Berdasarkan Resolusi Lebihan

Dalam pengaturcaraan meta, adalah perkara biasa untuk mentakrifkan templat berdasarkan sifat jenis. Walau bagaimanapun, cabaran timbul apabila cuba memilih antara dua definisi templat berdasarkan sama ada beban lampau tertentu ditakrifkan untuk jenis tertentu.

Walter Brown memperkenalkan jenis yang berguna, void_t, yang mengembalikan batal jika tiada hujah templat disediakan . Berdasarkan konsep ini, kita boleh mentakrifkan ciri jenis untuk menyemak kewujudan std::to_string overload untuk jenis tertentu:

template<typename T, typename = void>
struct has_to_string
: std::false_type { };

template<typename T>
struct has_to_string<T, 
    void_t<decltype(std::to_string(std::declval<T>()))>>
: std::true_type { };

Dengan ciri jenis ini, kita kini boleh menulis templat dengan mudah pakar berdasarkan resolusi lebihan untuk std::to_string:

template<typename T>
enable_if_t<has_to_string<T>::value, string> stringify(T t){
    return std::to_string(t);
}

template<typename T>
enable_if_t<!has_to_string<T>::value, string> stringify(T t){
    return static_cast<ostringstream&>(ostringstream() << t).str();
}

Atas ialah kandungan terperinci Bagaimana Anda Boleh Mengkhususkan Templat Berdasarkan Resolusi Lebihan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!