C ++ 11'de “otomatik” ile çıkartıldığında lambda türü nedir?

Ben bir lambda türü bir işlev işaretçisi olduğunu bir algı vardı. Aşağıdaki testi yaptığımda, yanlış olduğunu gördüm ( demo ).

#define LAMBDA [] (int i) -> long { return 0; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok
  assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

Yukarıdaki kodda herhangi bir nokta eksik mi? Değilse, anahtar kelime typeofile çıkarıldığında lambda ifadesi autonedir?

Bir lambda ifadesinin tipi belirtilmemiş.

Ancak genellikle functors için sadece sözdizimsel şekerdir. Bir lambda doğrudan bir fonktöre çevrilir. İçindeki her şey []yapıcı parametrelerine ve functor nesnesinin üyelerine dönüştürülür ve içindeki parametreler ()functor'ların parametrelerine dönüştürülür operator().

Hiçbir değişkeni yakalamayan bir lambda ( []'in içindeki hiçbir şey ) bir işlev işaretçisine dönüştürülemez (derleyiciniz bu ise MSVC2010 bunu desteklemez, ancak bu dönüşüm standardın bir parçasıdır).

Ancak lambda'nın gerçek türü bir işlev işaretçisi değildir. Bazı belirtilmemiş işlev türü.

Fonksiyon çağrısı operatörünü aşırı yükleyen benzersiz bir isimsiz yapıdır. Her lambda örneği yeni bir tip sunar.

Yakalamayan bir lambda özel durumunda, yapı ayrıca bir fonksiyon işaretçisine dolaylı bir dönüştürmeye sahiptir.

[C++11: 5.1.2/3]: Tipi lambda ekspresyon (aynı zamanda kapatma nesne türü) , benzersiz, isimsiz kaynaşmama sınıf tipidir - adı kapalı tip , özellikleri aşağıda açıklanmıştır -. Bu sınıf türü toplu değildir (8.5.1). Kapatma türü, karşılık gelen lambda ifadesini içeren en küçük blok kapsamı, sınıf kapsamı veya ad alanı kapsamı içinde bildirilir . [..]

Madde, bu türün değişen özelliklerini listelemeye devam eder. İşte bazı önemli noktalar:

[C++11: 5.1.2/5]:Bir için kapalı tip lambda ifade ortak sahip inlineolan parametreleri ve dönüş türü tarif edilmektedir işlev çağrısı operatörü (13.5.4) , lambda-ifade sitesindeki parametre beyanı-madde ve arka-dönüş-tipi , sırasıyla. [..]

[C++11: 5.1.2/6]:Lambda yakalaması olmayan bir lambda ifadesi için kapatma türünün, kapatma türünün işlev çağrısı operatörü ile aynı parametreye ve dönüş türlerine sahip işlevlere işaret etmek için genel bir sanal olmayan açık olmayan const dönüştürme işlevi vardır. Bu dönüştürme işlevi tarafından döndürülen değer, çağrıldığında, kapatma türünün işlev çağrısı operatörünü çağırmakla aynı etkiye sahip bir işlevin adresi olmalıdır.

Bu son pasajın sonucu, bir dönüşüm kullandıysanız, atama LAMBDAyapabilmenizdir pFptr.

#include <iostream>
#include <typeinfo>

#define LAMBDA [] (int i)->long { return 0l; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok

  std::cout<<typeid( *pAuto ).name() << std::endl;
  std::cout<<typeid( *pFptr ).name() << std::endl;

  std::cout<<typeid( pAuto ).name() << std::endl;
  std::cout<<typeid( pFptr ).name() << std::endl;
}

İşlev türleri gerçekten aynıdır, ancak lambda yeni bir tür (bir işlev elemanı gibi) sunar.

Ayrıca lambda'nın işlev işaretçisine dönüştürülebilir olduğunu da not etmeliyiz. Ancak typeid <>, lambda'dan genel işlev işaretçisine değişmesi gereken üç boyutlu bir nesne döndürür. Bu yüzden <> typeid testi geçerli bir varsayım değildir. Genel olarak C ++ 11, tip spesifikasyonu hakkında endişelenmemizi istemez; belirli bir tip, hedef tipe dönüştürülebilirse önemli olan her şeydir.

Bir boost :: bind nesnesini sınıf üyesi olarak nasıl saklayabilirim? , deneyin boost::function<void(int)>veya std::function<void(int)>.