class内のoperator演算子でconst char*型にキャストしたい。

Question

#目的
IntIntクラスのメンバ変数"int_1"と"int_2"の値を
"( int_1の値 , int_2の値 )"と出力したい。

以下のソースコードのどの部分を直せばよいでしょうか。
また、危険な書き方等ありましたら指摘して頂けると幸いです。

#ソースコード

#include <cstdio>
#include <string>
#include <iostream>
#include <sstream>

struct IntInt
{
	int int_1=0;
	int int_2=0;

	IntInt() = default;
	constexpr IntInt(const int int1_, const int int2_) :int_1(int1_), int_2(int2_) {}

	operator const char*()
	{
		std::stringstream ss;
		ss << '(' << int_1 << ',' << int_2 << ')';
		return ss.str().c_str();
	}
};

int main()
{
	IntInt ii(0, 0);
	std::cout << ii << std::endl;
	printf("%s\n", ii);

	return 0;
}

#上記コードの実行結果

ﾌ   bｰ0ｼｸ( O`ｵ         ｰ0ｼｸｰ ﾇx)
・ﾏ
(null)

Answer 1

こんにちは。

ssは自動変数なのでoperator const char*()から戻った時点で開放されます。
また、ss.str()はstd::string型を返却しますが、これは一時変数ですので、この文が終わった時点で開放されます。
operator const char*は、ss.str().c_str()を返却していますが、このように２重の意味で開放される変数内の領域へのポインタを返却していますので、戻った時点で無効になっています。

operator const char*()ではなく、operator std::string()としたいところですが、std::stringはテンプレートの明示的実体化なので、IntInt型からの暗黙の型変換に失敗するようです。（テンプレート・パラメータの型推論に失敗する。）

であれば、static領域に保持するのがお手軽でしょう。（TLS(thread_local)領域に確保しておけばスレッド安全になります。）

なお、printf()は対応する引数の型をコンパイラが「知らない」ことになっていますので、暗黙の型変換んは機能しません。必要であれば明示的に変換するしかないです。

#include <cstdio>
#include <string>
#include <iostream>
#include <sstream>

struct IntInt
{
    int int_1=0;
    int int_2=0;

    IntInt() = default;
    constexpr IntInt(const int int1_, const int int2_) :int_1(int1_), int_2(int2_) {}

    operator const char*()
    {
        std::stringstream ss;
        ss << '(' << int_1 << ',' << int_2 << ')';
        static thread_local std::string str;
        str=ss.str();
        return str.c_str();
    }
};

int main()
{
    IntInt ii(0, 0);
    std::cout << ii << std::endl;
//  printf("%s\n", ii);

    return 0;
}