std::thread の子スレッドが親より後に終了した際のエラー回避について

Question

スレッド（以下：親）からスレッド（以下：子）を作成した時、子が終了した時すでに親が終了している場合、ライブラリ内部で abort() を呼ばれてしまうため、対処方法を模索しております。

#include <stdio.h>
#include <thread>

void ThreadA(void* data){
	printf("%c", ((char*)data)[0]);
	return; // これは大丈夫
}

void ThreadChild(void* data){
	printf("%c", ((char*)data)[0]);
	return; // この後にエラー
}

void ThreadB(void* data){
	std::thread tC(ThreadChild, data); // スレッド内部でスレッドを作成する
	//tC.join();
	return;
}

int main(){

	char a, b;
	a = 'A';
	b = 'B';

	std::thread tA(ThreadA, &a);
	std::thread tB(ThreadB, &b);

	tA.join();
	tB.join();

	getchar();
	return 0;
}

うまくいけば、AB と表示された後入力待ちになりますが、上記のままですと、『return; // この後にエラー』の行の後で異常終了してしまいます。

子の終了を先に待つように 『//tC.join();』のコメントアウトを解除すると問題がないのですが、実践的な処理としては、親の状態にかかわりなく子を無事に完了させたいと考えております。

親子関係かかわりなく個別にスレッドを終了する方法はありますでしょうか？
よろしくお願いします。

Answer 1

アボートしているのはThreadChild関数ではなく、ThreadB関数の方です。threadクラスは、joinまたはdetachしないままデストラクタが呼ばれると、アボートする仕様となっています。

何らかの方法でThreadB関数で作成したthreadオブジェクトをmain関数に引き渡してjoinさせる必要があります。

threadクラスはムーブが可能なので、main関数で空のtCオブジェクトを作成し、out引数としてThreadBに渡すという方法が考えられます。

Comments

[kobaya_c]

ありがとうございます。もし他の方法でうまくいかなかった場合、別口に管理構造を作り確保させる、ということも視野に入れたいと思います。

Answer 2

kobaya_cさんのやりたいことが完全に理解できていませんが、
tC.join(); を tC.detach(); にすれば、ThreadBはブロックされません。
cpprefjp std::thread

Comments

[kobaya_c]

ありがとうございます！　detach() を使用することで、親子関係にあっても並列処理のようにできました。

[catsforepaw]

念のため補足しておきます。detachすると子スレッドの「完了」は保証できなくなりますのでご注意を。

[JADEN]

>> 親の状態にかかわりなく子を無事に完了させたいと考えております。
とあるので、確かにまずいですね。
下で回答されている方法以外では、std::promise<void>を使ってもできそうですね。

[kobaya_c]

catsforepaw さん、ありがとうございます。今回のテストコードではすぐ終わるので表面化しませんでしたが、完了が把握できなくなるのは後々困りそうですね。
JADEN さん、違う関数のご紹介ありがとうございます。こちらの方の機能も確認してみたいと思います。