Question

我写了一个小应用程序来演示这个问题，它并不漂亮，但是它可以完成这项工作。

#include <functional>
#include <iostream>
#include <mutex>
#include <queue>
#include <thread>

class A {
 public:
  A() : thread_(), tasks_(), mutex_(), a_(99999) {}

  void Start() {
    thread_ = std::thread([this] () { Run(); });
  }

 private:
  using Task = std::function<void()>;

 public:
  void AddTask(const Task& task) {
    std::lock_guard<std::mutex> lock(mutex_);

    tasks_.push(task);
  }

  bool Empty() {
    std::lock_guard<std::mutex> lock(mutex_);

    const bool empty = tasks_.empty();

    return empty;
  }

  Task GetTask() {
    std::lock_guard<std::mutex> lock(mutex_);

    const auto& task = tasks_.front();

    tasks_.pop();

    return task;
  }

  int GetInt() { return a_; }

  void Join() { thread_.join(); }

 private:
  void Run() {
    while (Empty());

    (GetTask())();
  }

  std::thread thread_;
  std::queue<Task> tasks_;
  std::mutex mutex_;
  int a_;
};

template <class Base>
class B : public Base {
 public:
  using Base::Base;

  void Start() {
    Base::Start();
std::cout << "A: " << this << std::endl;
    Base::AddTask([this] () { std::cout << "T: " << this << std::endl; Do(); });
  }

  void Do() {
    std::cout << "Do: " << this << std::endl;
    std::cout << "GetInt: " << Base::GetInt() << std::endl;
  }
};

int main() {
  B<A> app;
  app.Start();
  app.Join();
}

clang ++ -std = c ++ 11 -lpthread test_a.cpp

A: 0x7ffeb521f4e8
T: 0x21ee540
Do: 0x21ee540
GetInt: 0

注意'this'的变化和'GetInt'的值0。

我真的迷失在这里......非常感谢任何帮助，

感谢。

Answer 1

我将你的复制减少到：

#include <functional>
#include <iostream>
#include <queue>

struct foo {
  using Task = std::function<void()>;

  void Test() {
    std::cout << "In Test, this: " << this << std::endl;
    AddTask([this] { std::cout << "In task, this: " << this << std::endl; });
  }

  void AddTask(const Task& task) {
    tasks_.push(task);
  }

  Task GetTask() {
    const auto& task = tasks_.front();
    tasks_.pop();
    return task;
  }

  std::queue<Task> tasks_;
};

int main() {
  foo f;
  f.Test();
  auto func = f.GetTask();
  func();
}

你现在看到问题了吗？问题在于：

const auto& task = tasks_.front();
tasks_.pop();

在这里，您获取对象的引用，然后告诉队列继续并删除该对象。你的参考现在正在悬空，随之而来的是混乱。

你应该把它搬出去：

Task GetTask() {
  auto task = std::move(tasks_.front());
  tasks_.pop();
  return task;
}

C ++ 11：使用std :: thread和lambda函数的Segfault

1 个答案: