c++ - lambda 对象 + c 回调 sigsegv

Question

如果我像这样实现 C 回调:

register_callback([](/*some args*/){/*some stuff*/});

当它触发时我得到一个 SIGSEGV，但是如果我这样注册它:

auto const f([](/*some args*/){/*some stuff*/});

register_callback(f);

然后它工作正常。 (对我而言)特别感兴趣的是地址 sanitizer 产生的堆栈跟踪:

ASAN:SIGSEGV
=================================================================
==22904==ERROR: AddressSanitizer: SEGV on unknown address 0x7f1582c54701 (pc 0x7f1582c54701 sp 0x7f1582c544a8 bp 0x7f1582c54510 T2)
    #0 0x7f1582c54700 ([stack:22906]+0x7fc700)

AddressSanitizer can not provide additional info.
SUMMARY: AddressSanitizer: SEGV ??:0 ??

看起来，好像函数指针指向堆栈。将 lambda 插入堆栈是否将代码插入堆栈？由于我什么也没捕获，函数指针的位置对我来说是个谜。怎么了？没有使用优化标志。我不是在寻找解决方法。

编辑:显然“+”是工作示例的关键。我不知道为什么有必要。删除“+”和带有编译的示例，但 SIGSEGV 将同时被 clang-3.5 和 gcc-4.9 触发。

#include <curl/curl.h>

#include <ostream>

#include <iostream>

int main()
{
  auto const curl(curl_easy_init());

  if (curl)
  {
    curl_easy_setopt(curl, CURLOPT_URL, "cnn.com");

    curl_easy_setopt(curl, CURLOPT_FOLLOWLOCATION, 1L);

/*
    auto const f([](char* const ptr, size_t const size, size_t const nmemb,
      void* const data)
      {
        *static_cast<::std::ostream*>(data) << ptr;

        return size * nmemb;
      }
    );

    curl_easy_setopt(curl, CURLOPT_WRITEFUNCTION, +f);
*/

    curl_easy_setopt(curl, CURLOPT_WRITEFUNCTION,
      +[](char* const ptr, size_t const size, size_t const nmemb,
        void* const data)
        {
          *static_cast<::std::ostream*>(data) << ptr;

          return size * nmemb;
        }
    );

    curl_easy_setopt(curl, CURLOPT_WRITEDATA, &::std::cout);

    curl_easy_perform(curl);

    curl_easy_cleanup(curl);
  }

  return 0;
}

Answer 1

curl_easy_setopt 定义为(在 curl/easy.h 中):

CURL_EXTERN CURLcode curl_easy_setopt(CURL *curl, CURLoption option, ...);

这意味着第三个参数 param 必须是可以作为 C 可变参数传递的类型。不幸的是，虽然 curl_easy_setopt 需要一个函数指针，但传递类对象(lambda 是类对象)“有条件地支持实现定义的语义”([ expr.call]/7)，所以编译器接受了它，但随后 curl_easy_setopt 试图将 lambda 对象解释为函数指针，结果是灾难性的。

您实际传递的对象是一个无捕获的 lambda，这意味着它是一个空类对象，大小为 1 个字节(所有最派生对象的大小必须至少为一个字节)。编译器将该参数提升为字长整数(32 位 4 字节，64 位 8 字节)并传递 0 或保留该寄存器/堆栈槽未设置，这意味着垃圾被传递(因为 lambda 在调用时实际上并不使用它的内存占用)。