แลมบ์ดาชนิดใดเมื่ออนุมานด้วย“ auto” ใน C ++ 11

ฉันเข้าใจว่าแลมบ์ดาเป็นตัวชี้ฟังก์ชั่น เมื่อฉันทำการทดสอบต่อไปนี้ฉันพบว่ามันผิด ( สาธิต )

#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 !
}

รหัสข้างต้นหายไปจุดใด? ถ้าไม่เช่นtypeofนั้นแลมบ์ดานิพจน์คืออะไรเมื่ออนุมานด้วยautoคำหลัก?

ประเภทของการแสดงออกแลมบ์ดาไม่ได้ระบุไว้

แต่โดยทั่วไปพวกมันจะเป็นเพียงน้ำตาล syntactic สำหรับหน้าที่ แลมบ์ดาแปลโดยตรงไปเป็นนักแสดง สิ่งใดที่อยู่ภายใน[]จะกลายเป็นตัวสร้างพารามิเตอร์และสมาชิกของวัตถุ functor และพารามิเตอร์ที่อยู่ภายใน()จะกลายเป็นพารามิเตอร์สำหรับ operator()functor

แลมบ์ดาที่จับตัวแปรไม่ได้ (ไม่มีอะไรอยู่ข้างใน[]) สามารถแปลงเป็นตัวชี้ฟังก์ชั่น (MSVC2010 ไม่สนับสนุนสิ่งนี้หากเป็นคอมไพเลอร์ของคุณ แต่การแปลงนี้เป็นส่วนหนึ่งของมาตรฐาน)

แต่แลมบ์ดาชนิดที่แท้จริงไม่ใช่ตัวชี้ฟังก์ชัน เป็นประเภท functor ที่ไม่ระบุ

มันเป็นโครงสร้างที่ไม่มีชื่อที่ไม่ซ้ำใครซึ่งทำให้ผู้ประกอบการเรียกฟังก์ชั่นโอเวอร์โหลด ตัวอย่างของแลมบ์ดาแนะนำประเภทใหม่

ในกรณีพิเศษของแลมบ์ดาที่ไม่มีการจับภาพโครงสร้างเพิ่มเติมมีการแปลงโดยนัยไปยังตัวชี้ฟังก์ชัน

[C++11: 5.1.2/3]: ประเภทของแลมบ์ดา - นิพจน์ (ซึ่งเป็นประเภทของวัตถุปิด) เป็นประเภทที่ไม่ซ้ำกันและไม่มีชื่อประเภท - เรียกว่าประเภทปิด - ซึ่งมีคุณสมบัติอธิบายไว้ด้านล่าง ประเภทของคลาสนี้ไม่ใช่การรวม (8.5.1) ประเภทการปิดประกาศในขอบเขตที่เล็กที่สุดบล็อกขอบเขตชั้นเรียนหรือขอบเขต namespace ที่มีที่สอดคล้องกันแลมบ์ดาแสดงออก [ .. ]

ส่วนคำสั่งไปที่รายการคุณสมบัติที่แตกต่างของประเภทนี้ นี่คือไฮไลท์บางส่วน:

[C++11: 5.1.2/5]:ประเภทปิดสำหรับแลมบ์ดาแสดงออกมีประชาชนinlineผู้ประกอบการฟังก์ชั่นการโทร (13.5.4) ที่มีค่าพารามิเตอร์และชนิดกลับมีการอธิบายโดยแลมบ์ดาแสดงออกของพารามิเตอร์การประกาศข้อและต่อท้ายผลตอบแทนชนิดตามลำดับ [ .. ]

[C++11: 5.1.2/6]:ประเภทการปิดสำหรับlambda-expression ที่ไม่มีlambda-captureมีฟังก์ชั่นการแปลง const แบบ non-virtual non-virtual ที่ไม่ชัดเจนเพื่อชี้ไปยังฟังก์ชั่นที่มีพารามิเตอร์เดียวกันและประเภทการส่งคืนเป็นตัวดำเนินการเรียกฟังก์ชันของ ค่าที่ส่งคืนโดยฟังก์ชันการแปลงนี้จะเป็นที่อยู่ของฟังก์ชันที่เมื่อเรียกใช้จะมีผลเช่นเดียวกับการเรียกใช้ตัวดำเนินการเรียกฟังก์ชันของประเภทการปิด

ผลที่ตามมาของทางเดินสุดท้ายนี้ก็คือว่าถ้าคุณใช้การแปลงที่คุณจะสามารถที่จะกำหนดไปLAMBDApFptr

#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;
}

ประเภทฟังก์ชั่นนั้นเหมือนกัน แต่แลมบ์ดาแนะนำประเภทใหม่ (เช่น functor)

ควรสังเกตว่าแลมบ์ดานั้นสามารถแปลงเป็นตัวชี้ฟังก์ชันได้ อย่างไรก็ตาม typeid <> ส่งคืนออบเจกต์ที่ไม่ใช่ trvial ซึ่งควรแตกต่างจากแลมบ์ดาถึงตัวชี้ฟังก์ชันทั่วไป ดังนั้นการทดสอบ typeid <> จึงไม่ใช่ข้อสันนิษฐานที่ถูกต้อง โดยทั่วไป C ++ 11 ไม่ต้องการให้เรากังวลเกี่ยวกับข้อมูลจำเพาะของประเภทสิ่งที่สำคัญถ้าประเภทที่กำหนดนั้นสามารถแปลงเป็นประเภทเป้าหมายได้

วิธีแก้ปัญหาในทางปฏิบัติจากฉันจะเก็บ boost :: bind object เป็นสมาชิกคลาสได้อย่างไร ลองหรือboost::function<void(int)>std::function<void(int)>