Mengakses Jenis Argumen Penunjuk Fungsi dalam Kelas Templat Variadic
Masalah ini timbul daripada pertanyaan sebelumnya mengenai mencipta functor generik untuk fungsi dengan hujah arbitrari senarai. Kelas functor yang diberikan, Foo, membenarkan seseorang untuk menggunakan penunjuk fungsi dengan sebarang bilangan argumen. Walau bagaimanapun, tugas sekarang ialah untuk mengekstrak jenis argumen daripada penuding fungsi dalam pembina Foo.
Dalam mentakrifkan kelas Foo, jenis hujah dirangkumkan sebagai ARGS... dalam pengisytiharan penuding fungsi pembina. Walaupun nilai argumen tidak tersedia pada masa pembinaan, jenisnya boleh diakses dalam penuding fungsi itu sendiri.
Untuk mendedahkan jenis argumen ini, seseorang boleh memanfaatkan kelas function_traits:
<code class="cpp">template<typename T> struct function_traits; template<typename R, typename ...Args> struct function_traits<std::function<R(Args...)>> { // Number of arguments static const size_t nargs = sizeof...(Args); // Return type typedef R result_type; // Argument types at specified index template <size_t i> struct arg { typedef typename std::tuple_element<i, std::tuple<Args...>>::type type; }; };</code>
Dalam pembina Foo, seseorang boleh mengakses jenis argumen ini menggunakan function_traits seperti berikut:
<code class="cpp">template<typename... ARGS> class Foo { ... Foo(std::function<void(ARGS...)> f) : m_f(f) { // Accessing the argument types static_assert(function_traits<std::function<void(ARGS...)>::nargs == sizeof...(ARGS), "Incorrect number of arguments"); ... } ... };</code>
Dengan menggunakan function_traits, jenis argumen boleh diekstrak dan dimanfaatkan dalam kelas Foo, mendayakan operasi canggih berdasarkan tandatangan fungsi.
Atas ialah kandungan terperinci Bagaimanakah saya boleh mengakses jenis hujah penunjuk fungsi dalam kelas templat variadic?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!