1

我已经在 gcc-4.8（通过 Coliru）和 Visual Studio 2013 RC 上测试了以下程序：

#include <iostream>
#include <functional>

using namespace std;

struct foo {
    void bar() {
        cout << "this = " << this << endl;
    }
};

int main() {
    try {
        foo *ptr = nullptr;
        function<void ()> fun = bind(&foo::bar, *ptr);
        fun();
    } catch (const bad_function_call &e) {
        // never reached
        cout << "bad_function_call thrown: " << e.what() << endl;
    } 

    cin.get();
}

我知道我通过取消引用 nullptr 导致了未定义的行为，但我不理解我的代码的输出。在我的理解中，这应该导致一个 bad_function_call （因为这是调用这个 std::function 时应该抛出的，从我的猜测）或者至少打印“this = 0”。

它没有。输出是“this =”，后跟一些在我测试的两个编译器上都不是 nullptr 的指针。但是，访问它会导致分段错误。

标准中是否有条款规定了这一点？还是只是实现定义的“未定义行为”？

编辑：作为补充：以下代码在我的机器上输出“this = 0”：

foo *ptr = nullptr;
ptr->bar();
4

2 回答 2

1

发生的是bind存储参数的副本。参数是类型的foo（因为您正在传递*ptr），因此制作了一个副本。当然，副本获得了一个无效的参数作为源，但它没有被使用，因此这似乎有效。结果，一个新的实例foo存储在绑定对象中，这就是您看到的地址。

当您说您看到分段错误时，您指的是您的真实代码，而不是您在此处给出的示例，对吗？在您的真实代码中，我猜 copy-ctor 似乎可以工作，但是会创建一个实例，当您访问它的（可能是无效的）成员时会导致分段错误。

于 2013-10-06T15:19:48.650 回答
0

“未定义”表示未定义。除非你的编译器记录了它的作用，否则推理当你有未定义的行为时会发生什么是徒劳的。

于 2013-10-06T15:26:25.267 回答