Почему деструктор вызывается два раза?

[220Volt]

Здравствуйте.
Столкнулся со странной проблемой, локализовал ее и не могу понять почему так происходит:

#include <iostream>
#include <thread>
using namespace std;


class guarded_thread : public std::thread
{
public:
    using std::thread::thread;
    ~guarded_thread(void)       
    {
        std::cout << "here\n"; 
        if(this->joinable()) 
        this->join(); 
    }
    guarded_thread &operator=(guarded_thread &&) = default;
};

void tr_fn() { this_thread::sleep_for(chrono::seconds(2)); }

guarded_thread th;


int main() 
{
    th = guarded_thread {tr_fn};
    return 0;
}
// cout:
//       here
//       here

Как видно деструктор вызывается дважды. Сначала подумал баг (у меня gcc 4.8.1), попробовал запустить это код на онлайн компиляторе (clang 3.4) - результат тот же. Если запустить поток в месте объявления th а не в main, то деструктор вызывается один раз. Почему так происходит?

[220Volt]

Если добавить еще глобальную структуру, то получим:

#include <iostream>
#include <thread>
using namespace std;


class guarded_thread : public std::thread
{
public:
    using std::thread::thread;
    ~guarded_thread(void)       
    {
        std::cout << "here\n"; 
        if(this->joinable()) 
        this->join(); 
    }
    guarded_thread &operator=(guarded_thread &&) = default;
};

void tr_fn() { this_thread::sleep_for(chrono::seconds(2)); }

guarded_thread th;

struct GG
{
    ~GG() {cout << "GG::destructor\n";}
}gg;

int main() 
{
    th = guarded_thread {tr_fn};
    return 0;
}
// cout:
//       here
//       GG::destructor
//       here

[Rififi]

220Volt

Как видно деструктор вызывается дважды. Сначала подумал баг (у меня gcc 4.8.1), попробовал запустить это код на онлайн компиляторе (clang 3.4) - результат тот же.

как ты думаешь, сколько в этой программе создается объектов guarded_thread?

[220Volt]

Сообщение от Rififi

220Volt
...
как ты думаешь, сколько в этой программе создается объектов guarded_thread?

Думаю один. Пожалуйста, давайте без загадок, укажите конкретно что по-вашему не так.

[220Volt]

Понял, я туплю, вопрос закрыт.

[220Volt]

Я не за то зацепился, но вопросы остались:

#include <FL/Fl.H>
#include <FL/Fl_Window.H>
#include <iostream>
#include <thread>
using namespace std;


class guarded_thread : public std::thread
{
public:
    using std::thread::thread;
    ~guarded_thread(void)       
    {
        if(this->joinable()) 
        this->join(); 
    }
    guarded_thread &operator=(guarded_thread &&) = default;
};

void tr_fn() 
{ 
    this_thread::sleep_for(chrono::seconds(1)); 
    Fl_Window *p = new Fl_Window {0, 0, Fl::w() / 2, Fl::h() / 2};
    p->show();
    Fl::run();
}

guarded_thread th;

int main() 
{
    th = guarded_thread {tr_fn};
    this_thread::sleep_for(chrono::seconds(2));  // #1
    return 0;
}

Если #1 закомментировать то окно не появится (не понимаю почему). Т.е. если поток в main отработает до того как порожденный поток успеет отобразить окно, то оно не появляется. Наверное мало у кого установлена FLTK, но может кто сталкивался.

[Son Of Pain]

А если переменную с потоком объявить локальной внутри main, поведение меняется?

[220Volt]

Сообщение от Son Of Pain

А если переменную с потоком объявить локальной внутри main, поведение меняется?

Так работает:

int main() 
{
    guarded_thread th {tr_fn};
    if(th.joinable()) th.join();

    return 0;
}
}

Задал вопрос на FLTK форуме https://groups.google.com/forum/#!to...al/uVsf73_b-mI

Не понятна мне логика - как завершение потока в main() влияет на остальные части программы? Ведь пока все потоки не завершатся ничего не должно быть разрушено.

[Son Of Pain]

Нет. После выхода из main уничтожаются все глобальные/статические объекты, и программа завершает работу, независимо от того, что происходит в остальных потоках.

Подозреваю, что в твоем случае в главном потоке успевает уничтожиться какой-то важный для fltk глобальный или статический объект до вызова деструктора второго потока. А второй поток тем временем пытается создать окно, не может этого сделать и спокойно джойнится.

[220Volt]

Сообщение от Son Of Pain

Нет. После выхода из main уничтожаются все глобальные/статические объекты, и программа завершает работу, независимо от того, что происходит в остальных потоках.
....

Не буду утверждать, но сомневаюсь:

//#include <cstdlib>
#include <thread>
#include <iostream>

using namespace std;


struct Before {
    ~Before() { cout << "Before::destr\n"; }
}before;

void thr_fn()
{
    this_thread::sleep_for( chrono::seconds(3) );  // Ждем 3 секунды - можно успеть разрушить все глоб. объекты
    for(int i = 3;  i > 0;  -- i) {  
        cout << "tick\n";
        this_thread::sleep_for( chrono::seconds(1) );
    }
}

struct After {
    ~After() { cout << "After::destr\n"; }
}after;

guarded_thread thr;

int main() 
{
    thr = guarded_thread {thr_fn};
    return 0;
}
// tick
// tick
// tick
// After::destr
// Before::destr

Работает как положено. Да и очень не логично уничтожать объекты пока есть при_join_еные потоки.