Mengapa Fungsi Lambda Rekursif Gagal dengan Inferens Jenis Auto dalam C?

Fungsi Lambda Rekursif dan Inferens Jenis

Pertimbangkan fungsi lambda rekursif berikut:

auto sum = [term,next,&sum](int a, int b)mutable ->int {
  if(a>b)
    return 0;
  else
    return term(a) + sum(next(a),b);
};

Kod ini gagal susun dengan ralat berikut:

error: ‘`((<lambda(int, int)>*)this)-><lambda(int, int)>::sum`’ cannot be used as a function

Isu itu berpunca daripada menggunakan auto untuk membuat kesimpulan jenis fungsi lambda. Apabila auto digunakan, pengkompil cuba membuat kesimpulan jenis daripada ungkapan permulaan. Walau bagaimanapun, dalam kes ini, ungkapan permulaan itu sendiri perlu mengetahui jenis yang ditangkapnya, mewujudkan kebergantungan bulat.

Untuk menyelesaikannya, seseorang boleh menggunakan jenis objek fungsi yang ditentukan sepenuhnya sebaliknya:

std::function<int(int,int)> sum = [term,next,&amp;sum](int a, int b)->int {
   if(a>b)
     return 0;
   else
     return term(a) + sum(next(a),b);
};

Dalam kes ini, pengkompil tidak perlu membuat kesimpulan jenis penutupan lambda dan lambda boleh dimaklumkan sepenuhnya tentang jenis yang ditangkapnya.

Walaupun fungsi lambda rekursif boleh berfungsi dengan inferens jenis, ia biasanya tidak dinasihatkan kerana ia boleh membawa kepada isu kompilasi. Sebaliknya, menyatakan jenis secara eksplisit memastikan bahawa pengkompil mempunyai semua maklumat yang diperlukan pada masa penyusunan.

Atas ialah kandungan terperinci Mengapa Fungsi Lambda Rekursif Gagal dengan Inferens Jenis Auto dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!