14

看看这段代码：

#include <iostream>
#include <string>

void foo(int(*f)()) {
    std::cout << f() << std::endl;
}

void foo(std::string(*f)()) {
    std::string s = f();
    std::cout << s << std::endl;
}

int main() {
    auto bar = [] () -> std::string {
        return std::string("bla");
    };

    foo(bar);

    return 0;
}

编译它

g++ -o test test.cpp -std=c++11

导致：

bla

就像它应该做的那样。编译它

clang++ -o test test.cpp -std=c++11 -stdlib=libc++

导致：

zsh: illegal hardware instruction  ./test

并编译它

clang++ -o test test.cpp -std=c++11 -stdlib=stdlibc++

还导致：

zsh: illegal hardware instruction  ./test

Clang/GCC 版本：

clang version 3.2 (tags/RELEASE_32/final)
Target: x86_64-pc-linux-gnu
Thread model: posix

gcc version 4.7.2 (Gentoo 4.7.2-r1 p1.5, pie-0.5.5)

任何人有什么建议是怎么回事？

提前致谢！

4

2 回答 2

11

是的，这是 Clang++ 中的一个错误。我可以在 i386-pc-linux-gnu 中使用 CLang 3.2 重现它。

现在进行一些随机分析...

我发现错误在于从 labmda 到指针到函数的转换：编译器创建了一种具有适当签名的thunk调用 lambda，但它具有指令ud2而不是ret.

ud2众所周知，指令是显式引发“无效操作码”异常的指令。也就是说，故意留下未定义的指令。

看看反汇编：这是thunk函数：

main::$_0::__invoke():
        pushl   %ebp
        movl    %esp, %ebp
        subl    $8, %esp
        movl    8(%ebp), %eax
        movl    %eax, (%esp)
        movl    %ecx, 4(%esp)
        calll   main::$_0::operator()() const ; this calls to the real lambda
        subl    $4, %esp
        ud2   ; <<<-- What the...!!!

因此，该错误的最小示例将是：

int main() {
    std::string(*f)() = [] () -> std::string {
        return "bla";
    };
    f();
    return 0;
}

奇怪的是，如果返回类型是简单类型，例如int. 那么生成的thunk是：

main::$_0::__invoke():
        pushl   %ebp
        movl    %esp, %ebp
        subl    $8, %esp
        movl    %eax, (%esp)
        calll   main::$_0::operator()() const
        addl    $8, %esp
        popl    %ebp
        ret

我怀疑问题出在返回值的转发上。如果它适合一个寄存器，如eax一切顺利。但是如果它是一个很大的结构，比如std::string它在堆栈中返回，编译器就会感到困惑并发出ud2绝望的声音。

于 2013-04-03T22:57:14.120 回答
5

这很可能是 clang 3.2 中的一个错误。我无法用铿锵的树干重现崩溃。

于 2013-04-03T21:42:07.553 回答