Mengapa Potongan Jenis Templat Gagal dengan `inisializer_list` dalam C?

initializer_list dan Potongan Jenis Templat

Potongan jenis templat ialah ciri berkuasa C yang membolehkan pengkompil membuat kesimpulan jenis argumen templat daripada argumen yang dihantar kepada templat. Walau bagaimanapun, dalam beberapa kes, pengkompil tidak dapat menyimpulkan argumen jenis, dan templat mesti dinyatakan secara eksplisit dengan argumen jenis yang diingini.

Pertimbangkan fungsi berikut:

template<typename T>
void printme(T&& t) {
  for (auto i : t)
    std::cout << i;
}

Ini fungsi menjangkakan satu parameter dengan jenis didayakan begin()/end(). Persoalannya, mengapa kod berikut menyalahi undang-undang?

printme({'a', 'b', 'c'});

Apabila semua ini sah:

printme(std::vector<char>({'a', 'b', 'c'}));
printme(std::string("abc"));
printme(std::array<char, 3> {'a', 'b', 'c'});

Kita juga boleh menulis ini:

const auto il = {'a', 'b', 'c'};
printme(il);

Atau:

printme<std::initializer_list<char>>({'a', 'b', 'c'});

Barisan pertama kod adalah menyalahi undang-undang kerana hujah templat T tidak dapat disimpulkan. Jika hujah templat dinyatakan secara eksplisit, ia akan berfungsi, cth.:

printme<std::vector<char>>({'a', 'b', 'c'})

Atau:

printme<std::initializer_list<char>>({'a', 'b', 'c'})

Baris kod yang lain adalah sah kerana hujah itu mempunyai jenis yang jelas , jadi hujah templat T boleh disimpulkan dengan baik.

Bahagian yang mungkin mengelirukan ialah auto akan memilih jenis std::initializer_list tetapi hujah templat tidak akan. Ini kerana § 14.8.2.5/5 daripada piawaian C 11 secara eksplisit menyatakan bahawa ini ialah konteks tidak disimpulkan untuk hujah templat:

A function parameter for which the associated argument is an initializer list (8.5.4) but the parameter does not have std::initializer_list or reference to possibly cv-qualified std::initializer_list type.

Walau bagaimanapun, dengan auto, § 7.1.6.4/6 mempunyai sokongan eksplisit untuk std::initializer_list<>:

if the initializer is a braced-init-list (8.5.4), with std::initializer_list<U>.

Atas ialah kandungan terperinci Mengapa Potongan Jenis Templat Gagal dengan `inisializer_list` dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!