แลมบ์ดาจับภาพอ้างอิง const

มันเป็นไปได้ที่จะจับโดยอ้างอิง const ในการแสดงออกแลมบ์ดา?

ฉันต้องการให้การบ้านที่ระบุไว้ด้านล่างล้มเหลวตัวอย่างเช่น:

#include <cstdlib>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
    string strings[] = 
    {
        "hello",
        "world"
    };
    static const size_t num_strings = sizeof(strings)/sizeof(strings[0]);

    string best_string = "foo";

    for_each( &strings[0], &strings[num_strings], [&best_string](const string& s)
      {
        best_string = s; // this should fail
      }
    );
    return 0;
}

อัปเดต:เนื่องจากเป็นคำถามเก่ามันอาจจะดีถ้าหากมีสิ่งอำนวยความสะดวกใน C ++ 14 เพื่อช่วยในเรื่องนี้ ส่วนขยายใน C ++ 14 อนุญาตให้เราจับภาพวัตถุที่ไม่ใช่ const โดยอ้างอิง const หรือไม่ ( สิงหาคม 2558 )

const ไม่ได้อยู่ในไวยากรณ์สำหรับการดักจับตั้งแต่ n3092:

capture:
  identifier
  & identifier
  this

ข้อความกล่าวถึงการดักจับโดยการคัดลอกและการดักจับโดยอ้างอิงและไม่ได้กล่าวถึงการเรียงลำดับใด ๆ

รู้สึกเหมือนเป็นการกำกับดูแลฉัน แต่ฉันไม่ได้ทำตามกระบวนการมาตรฐานอย่างใกล้ชิด

ใน C ++ 14ใช้static_cast/ const_cast:

[&best_string = static_cast<const std::string&>(best_string)](const string& s)
{
    best_string = s; // fails
};

การสาธิต

ใน C ++ 17ใช้std::as_const:

[&best_string = std::as_const(best_string)](const string& s)
{
    best_string = s; // fails
};

ตัวอย่าง 2

ฉันคิดว่าส่วนการจับภาพไม่ควรระบุconstเนื่องจากการดักจับหมายถึงต้องการวิธีเข้าถึงตัวแปรขอบเขตด้านนอกเท่านั้น

ตัวระบุจะระบุได้ดีกว่าในขอบเขตด้านนอก

const string better_string = "XXX";
[&better_string](string s) {
    better_string = s;    // error: read-only area.
}

ฟังก์ชั่นแลมบ์ดาเป็น const (ไม่สามารถเปลี่ยนค่าในขอบเขตของมัน) ดังนั้นเมื่อคุณจับตัวแปรโดยค่าตัวแปรไม่สามารถเปลี่ยนแปลงได้ แต่การอ้างอิงไม่ได้อยู่ในขอบเขตแลมบ์ดา

ฉันเดาว่าคุณไม่ได้ใช้ตัวแปรเป็นพารามิเตอร์ของ functor คุณควรใช้ระดับการเข้าถึงของฟังก์ชั่นปัจจุบัน หากคุณคิดว่าคุณไม่ควรแยกแลมบ์ดาออกจากฟังก์ชั่นนี้มันไม่ได้เป็นส่วนหนึ่งของมัน

อย่างไรก็ตามคุณสามารถบรรลุสิ่งเดียวกันกับที่คุณต้องการโดยใช้การอ้างอิง const อื่นแทน:

#include <cstdlib>
#include <vector>
#include <string>
#include <algorithm>
using namespace std;

int main()
{
    string strings[] = 
    {
        "hello",
        "world"
    };
    static const size_t num_strings = sizeof(strings)/sizeof(strings[0]);

    string best_string = "foo";
    const string& string_processed = best_string;

    for_each( &strings[0], &strings[num_strings], [&string_processed]  (const string& s)  -> void 
    {
        string_processed = s;    // this should fail
    }
    );
    return 0;
}

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

ฉันคิดว่าคุณมีสามตัวเลือกที่แตกต่างกัน:

• อย่าใช้การอ้างอิง const แต่ใช้การดักจับการคัดลอก
• ไม่สนใจความจริงที่ว่ามันแก้ไขได้
• ใช้ std :: bind เพื่อผูกอาร์กิวเมนต์หนึ่งตัวของฟังก์ชันเลขฐานสองซึ่งมีการอ้างอิง const

ใช้สำเนา

ส่วนที่น่าสนใจเกี่ยวกับ lambdas ที่มีการถ่ายสำเนาคือพวกมันอ่านได้อย่างเดียวเท่านั้นและทำในสิ่งที่คุณต้องการ

int main() {
  int a = 5;
  [a](){ a = 7; }(); // Compiler error!
}

ใช้ std :: ผูก

std::bindลด arity ของฟังก์ชัน อย่างไรก็ตามโปรดทราบว่าสิ่งนี้อาจ / จะนำไปสู่การเรียกใช้ฟังก์ชันทางอ้อมผ่านตัวชี้ฟังก์ชัน

int main() {
  int a = 5;
  std::function<int ()> f2 = std::bind( [](const int &a){return a;}, a);
}

มีวิธีที่สั้นกว่า

โปรดทราบว่าไม่มีเครื่องหมายแอมเปอร์แซนด์ก่อน "best_string"

มันจะเป็นของ "const std :: reference_wrapper << T >>" ประเภท

[best_string = cref(best_string)](const string& s)
{
    best_string = s; // fails
};

http://coliru.stacked-crooked.com/a/0e54d6f9441e6867

ใช้เสียงดังกราวหรือรอจนกระทั่งข้อผิดพลาด gcc นี้ได้รับการแก้ไข: ข้อผิดพลาด 70385: การดักจับ Lambda โดยการอ้างอิง const อ้างอิงล้มเหลว [ https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70385 ]

การใช้ const จะทำให้อัลกอริธึมแอมเปอร์แซนด์ตั้งค่าสตริงเป็นค่าดั้งเดิมหรืออีกนัยหนึ่งแลมบ์ดาจะไม่นิยามตัวเองเป็นพารามิเตอร์ของฟังก์ชันแม้ว่าขอบเขตโดยรอบจะมีตัวแปรพิเศษ ... โดยไม่ต้องกำหนด แม้ว่ามันจะไม่ได้กำหนดสตริงเป็น [&, & best_string] ทั่วไป (string const s) ดังนั้นมันน่าจะดีกว่าถ้าเราปล่อยไว้ที่นั้นพยายามจับภาพการอ้างอิง