Fungsi generik ialah kelas berguna yang menyediakan cara mudah untuk mengendalikan fungsi dengan senarai argumen yang berbeza-beza. Walau bagaimanapun, mengakses jenis argumen penunjuk fungsi dalam kelas ini boleh menjadi satu cabaran.
Pertimbangkan kelas functor berikut:
<code class="cpp">template <typename... ARGS> class Foo { std::function<void(ARGS...)> m_f; public: Foo(std::function<void(ARGS...)> f) : m_f(f) {} void operator()(ARGS... args) const { m_f(args...); } };</code>
Sementara anda boleh mengakses dengan mudah args... dalam kaedah operator() menggunakan fungsi "peeling" rekursif, mendapatkan jenis hujah dalam pembina adalah lebih kompleks.
Untuk menangani perkara ini, anda boleh melaksanakan kelas function_traits:
<code class="cpp">template<typename T> struct function_traits; template<typename R, typename ...Args> struct function_traits<std::function<R(Args...)>> { static const size_t nargs = sizeof...(Args); typedef R result_type; template<size_t i> struct arg { typedef typename std::tuple_element<i, std::tuple<Args...>>::type type; }; };</code>
Dengan kelas ini, anda boleh menentukan jenis argumen, jenis pulangan dan bilangan argumen penuding fungsi.
Kod berikut menunjukkan kefungsian:
<code class="cpp">struct R {}; struct A {}; struct B {}; void main() { typedef std::function<R(A, B)> fun; cout << std::is_same<R, function_traits<fun>::result_type>::value << endl; cout << std::is_same<A, function_traits<fun>::arg<0>::type>::value << endl; cout << std::is_same<B, function_traits<fun>::arg<1>::type>::value << endl; }</code>
Atas ialah kandungan terperinci Bagaimana untuk Mendapatkan Jenis Argumen Penunjuk Fungsi dalam Kelas Templat Variadic?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!