C++相談室 part157

**デフォルトの名無しさん** · 2021/08/09(月) 10:57:31.60

前スレ
C++相談室 part156
https://mevius.5ch.net/test/read.cgi/tech/1621389313/

**デフォルトの名無しさん** · 2021/10/25(月) 18:04:59.44

>>857の原因判明しました。
同一の問題がstackoverflowで解決されていたのでリンクだけ貼っておきます。
https://stackoverflow.com/questions/52845621/cant-stream-stdendl-with-overloaded-operator-for-stdvariant

上記に従った対策コードは以下のとおりです。
https://godbolt.org/z/8e9o3MnaG

**デフォルトの名無しさん** · 2021/10/25(月) 20:01:58.87

>>866
リザーブの演算子持っとけって言いたいんだろうけどこう言う奴はいくつ持ってても足りねーとか言うからw

**デフォルトの名無しさん** · 2021/10/25(月) 21:34:55.28

演算子オーバーロードって自分で書くにはいいけど他人のコードを読むのが地獄だな。

**デフォルトの名無しさん** · 2021/10/25(月) 21:35:04.23

while (fread(&x, sizeof(double), 1, fin) > 0) {
fprintf(fout, "%5.4f\n", x);
}

こんな風に書くとコベリティ君がfreadは読み込んだバイト数を返すが使っていませんみたいなこと言い出すんだが
は？使ってますけど？みたいな気持ちしかないんだけど
何を求められてるんだろうか。

**デフォルトの名無しさん** · 2021/10/26(火) 06:12:19.30

>>874
そんなのシノプシスに聞けよ…

**デフォルトの名無しさん** · 2021/10/26(火) 06:48:54.44

>>870
昔のAPLとかかｗ

**デフォルトの名無しさん** · 2021/10/26(火) 08:08:42.05

演算子に限らず、ある関数を特定の名前空間の内部だけ使えるように限定できたっけ？
「あるスコープだけこういう使い方」ならまだ混乱も少ないかね。

**デフォルトの名無しさん** · 2021/10/26(火) 08:14:06.41

ん？それこそが名前空間の可視性制御だろ

**デフォルトの名無しさん** · 2021/10/26(火) 08:14:48.16

関数内で構造体を定義し、その中でstatic関数を定義する

**デフォルトの名無しさん** · 2021/10/26(火) 08:15:27.77

あ、違った
class内のprivate関数でいいんじゃね

**デフォルトの名無しさん** · 2021/10/26(火) 08:27:02.14

>>878
名前空間の外にお漏らししないようにできたっけ？
同じ名前空間にクラス定義しなければADLも気にしないでいいのかしらん。

**デフォルトの名無しさん** · 2021/10/26(火) 09:22:33.47

>>881
この手の話？
http://cpp.aquariuscode.com/adl-firewall

**デフォルトの名無しさん** · 2021/10/26(火) 10:05:37.17

>>874
fprintfはええんか？

**デフォルトの名無しさん** · 2021/10/26(火) 10:21:21.31

niebloidの出番じゃないの？演算子オーバーロードには使えないが

**デフォルトの名無しさん** · 2021/10/26(火) 12:31:52.75

>>882
そうそう、そんな感じ。

実際には演算子を閉じ込めたい名前空間の中でクラスを定義しなければADLは影響しないけど、もし定義するとしてもこの技法で回避できそうだね。

**デフォルトの名無しさん** · 2021/10/26(火) 12:54:35.40

今日もまた単発IDの曖昧発言onlyですね

**ハノン** ◆QZaw55cn4c · 2021/10/31(日) 10:43:09.43

テステス

**デフォルトの名無しさん** · 2021/11/01(月) 17:04:38.20

std::function を引数にとる関数を作ってるんだが、参照で渡すのとコピーで渡すのでどのように動作が変わるかわからない
参照で渡して良いですか

**デフォルトの名無しさん** · 2021/11/01(月) 17:28:34.89

std::funcて中身は関数ポインタ―でしょ
コピーで済むものを参照で渡す必要はそもそもないんじゃないの
受け取り先で書き換えて返すなら別だけど

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/01(月) 17:29:06.34

>>888
「引数にとる」というのは実引数の型も std::function 型という意味？

**デフォルトの名無しさん** · 2021/11/01(月) 17:41:35.71

保存目的なら値渡しのほうがよいらしい
https://stackoverflow.com/questions/18365532/should-i-pass-an-stdfunction-by-const-reference

**デフォルトの名無しさん** · 2021/11/01(月) 17:42:17.47

コピーだろー

**デフォルトの名無しさん** · 2021/11/01(月) 17:54:17.61

>>890
関数を想定しています

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/01(月) 17:58:12.22

>>893
仮引数の側を std::function の参照にしたところで、実引数の側が std::function ではないときは
変換して一時オブジェクトを作ってからその参照をとる形になるんだよ。
これは std::function に限らない一般原則。
どちらにしても新しいオブジェクトを構築するので参照にする意味がない。

**デフォルトの名無しさん** · 2021/11/01(月) 18:35:36.43

クラスのメンバーにstd::functionをいくつか用意しておいて、
条件によりどれかのstd::functionを引数に取るprivateなメンバ関数とかなら参照にする意味はあるかもしれないw

**デフォルトの名無しさん** · 2021/11/01(月) 19:28:38.40

この流れで質問をば。

std::functionだと単体のR opetator()(Arg...)しか指定できないけど、複数のメソッドを指定できるように拡張するにはどうしたらいいかしらん？

継承じゃなくてtype erasure を使ったgeneral smart pointerとでもいうようなやつが欲しいんだけど、どこかに実装ないかなぁ。

**デフォルトの名無しさん** · 2021/11/01(月) 19:49:46.26

anyの使いどころ？

**896** · 2021/11/01(月) 20:35:42.39

anyだとメソッドを呼び出せないから機能が足りないですな。
メソッド呼び出しできるインターフェイス付きanyみたいな感じ。
用途は「指定したメソッドがあれば継承関係無しでブチ込める親クラスみたいなanyみたいなshared_ptr」だけど。

**デフォルトの名無しさん** · 2021/11/01(月) 20:39:54.69

理解できてないけど普通のテンプレート引数を持つ関数じゃいかんの？

**896** · 2021/11/01(月) 21:35:17.71

Haskellの型タイプというのがイメージに近いか。

具体例をだしてみると、
class A { public: string test1() { return string("A1"); }; string test2() { return string("A2"); }; };
class B { public: string test1() { return string("B1"); }; string test2() { return string("B2"); }; };
vector<generic_ptr<string test()>>c;
c.push_back(make_shared<A>());
c.push_back(make_shared<B>());
c[0]->test1(); // A1
c[1]->test1(); // B1
c[0]->test2(); // A2
c[1]->test2(); // B2
みたいに、anyみたいに雑多なオブジェクトをブチ込むけど、
anyとは違ってそのまま共通メソッドを呼び出せるようにする、
というのが狙いね。

**デフォルトの名無しさん** · 2021/11/01(月) 22:33:44.83

>>900 https://www.google.com/search?q=Boost.TypeErasure

**896** · 2021/11/02(火) 00:28:12.27

>901
ありがとう。こういうのもあるのね

……でも BOOST_TYPE_ERASURE_MEMBER を使ったコンセプトがWandboxで上手く動かないなぁ。
もうちょっと試してみるか。

**デフォルトの名無しさん** · 2021/11/02(火) 10:51:55.89

std::thread で作られるスレッドって
スタックサイズはデフォルトいくつなん？
変更とかできるん？

**デフォルトの名無しさん** · 2021/11/02(火) 10:59:21.25

>>903
スタックなんて概念がないのに制御できるわけがない

**デフォルトの名無しさん** · 2021/11/02(火) 11:48:47.80

linuxならulimit -sかpthread_attr_setstacksizeで設定できる
ただ確保されるのは仮想メモリなので現実的にはその設定あんまり使い所がない
そしてC++とか関係ない

**デフォルトの名無しさん** · 2021/11/02(火) 13:09:21.89

stdよりposixのほうが洗練されてるよな

**デフォルトの名無しさん** · 2021/11/02(火) 17:28:47.39

何いってんの？この人

**デフォルトの名無しさん** · 2021/11/02(火) 19:04:22.54

意味わかんなくてpthread使ってんなら相当頭悪い

**デフォルトの名無しさん** · 2021/11/02(火) 19:13:49.36

むだに喧嘩すんなよ

**デフォルトの名無しさん** · 2021/11/02(火) 19:28:12.57

比較対象がおかしいんだからしょうがなくね？ｗ

**デフォルトの名無しさん** · 2021/11/05(金) 00:18:59.36

基底クラスに定数持たせるけど値は継承先で決めたい。
例)Carクラスには計算に使うが変更はしない定数 weight hight width があり、それは継承した車種クラス毎に異なる、など。
下記でコンパイル通るようですが、定数増えると見づらく、もっとスマートなやり方あったらご教授願いたく。

class Car
{
protected:
const double weight, height, width;

public:
Car(double w, double h, double wd)
: weight(w)
, height(h)
, width(wd)
{}
};

class CarA : public Car
{
CarA() : Car(1000.0, 1.8, 1,8) {}
};

**デフォルトの名無しさん** · 2021/11/05(金) 00:22:58.93

別に普通だと思うけどどの辺が見づらいと思うんだ？

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/05(金) 01:26:19.60

値が const であるだけでなく static であって欲しいという意図なんじゃないかと想像する。

**デフォルトの名無しさん** · 2021/11/05(金) 01:29:07.53

クラステンプレート化すればいいじゃない
template<double W, double H, double WD>

**デフォルトの名無しさん** · 2021/11/05(金) 01:41:20.30

doubleってテンプレート引数OKになったの？

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/05(金) 01:48:57.72

>>915
C++20 で非型テンプレート引数の大幅な緩和があった。

**デフォルトの名無しさん** · 2021/11/05(金) 02:25:46.30

C++20では普通に使えるかもだけど、引数に名前を付ける風のトリックがあるらしい
https://www.fluentcpp.com/2018/12/14/named-arguments-cpp/

**デフォルトの名無しさん** · 2021/11/05(金) 05:55:16.82

>>911
virtual double weight() const = 0;
じゃあかんの？

**デフォルトの名無しさん** · 2021/11/05(金) 06:25:31.61

>>912
引数が数値ばかりで10個とかあると確かに何を指定してるのかぱっと見わかんなくなりそう
C++なら>>918に一票だけど参照する時に ( ) が要るからこう言うケースだとC#のプロパティが欲しくなる

**デフォルトの名無しさん** · 2021/11/05(金) 07:38:38.22

C++20で指示付き初期化が出来るようなので、もしC++20が使えるなら定数を構造体にまとめたらいいかも

https://cpprefjp.github.io/lang/cpp20/designated_initialization.html

**デフォルトの名無しさん** · 2021/11/05(金) 08:22:45.14

>>911
Builderパターンとか？
面倒だったらDirectorクラスは省略しても問題なさそう。
類型的な車種ごとにBuilderを派生させてデフォルト値を決めといてもいいかと。

**デフォルトの名無しさん** · 2021/11/05(金) 12:38:49.71

>>919
参照するときに（）ていうのは
a=car.weight();　ていうこと？
a=car.weight;　と表記したいならoperator=をオーバーロードすればいいかと

**デフォルトの名無しさん** · 2021/11/05(金) 13:46:37.13

>>920
C++20で使えるのそれそれ。gccでは元々使えるけど...

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/05(金) 13:57:04.43

>>923
C (C99 以降) には有るからついでに C++ でも使えるようにするのは gcc 的にはたいした手間でもなかったんだろうと思う。

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/05(金) 14:01:00.76

ところで C の designated initializer では配列要素を指示することも出来るんだけど、 C++20 にはこれは入らなかったんだね。
↓ こういうの。

const char *foo[5] = {
[2]="bar"
};

**デフォルトの名無しさん** · 2021/11/05(金) 14:04:47.27

c++17以前でも引数を構造体にまとめれば{}で区切って記述できるようになるから多少マシにはなるよね
IntelliSenseが効きにくくなるのが欠点だけど

**デフォルトの名無しさん** · 2021/11/05(金) 14:10:59.42

>>922
君は何を言っているんだい？

**デフォルトの名無しさん** · 2021/11/05(金) 14:27:51.72

そのCの記述素晴らしいよね
C++的でないのはわかるがどうせ初期化時でしか使わんのだしとっとと入れるべきだった

**デフォルトの名無しさん** · 2021/11/05(金) 16:10:31.37

>>925 ラムダ式のキャプチャと競合するためと書いてるね

**デフォルトの名無しさん** · 2021/11/07(日) 16:47:32.00

https://ideone.com/d05dJ9
#include <iostream>
#include <vector>
#include <memory>
using namespace std;
#define MAX_SIZE 100
template <class T>
// template <class T, size_t C=MAX_SIZE>
class SizeLimitedAllocator {
public:
typedef T value_type;
using traits = allocator_traits<allocator<T>>;
T *allocate(size_t n) {
if (n > MAX_SIZE) throw bad_alloc();
// if (n > C) throw bad_alloc();
return traits::allocate(_allocator, n);
}
void deallocate(T *p, size_t n) {
traits::deallocate(_allocator, p, n);
}
private:
allocator<T> _allocator;
};
int main()
{
vector<char,SizeLimitedAllocator<char>> vec(MAX_SIZE);
try { vec.resize(MAX_SIZE+1); }
catch (bad_alloc& e) { cerr << e.what() << endl; }
return 0;
}
このコードをコメント側に変更してコンパイルするとこけるんだけど、なんで？

**デフォルトの名無しさん** · 2021/11/07(日) 17:51:19.26

>>928
aggregate限定だね

**デフォルトの名無しさん** · 2021/11/07(日) 17:56:01.13

>>930
https://en.cppreference.com/w/cpp/named_req/Allocator#cite_note-2
> rebind is only optional (provided by std::allocator_traits) if this allocator is a template of the form SomeAllocator<T, Args>, where Args is zero or more additional template type parameters.

これですかね？
カスタムアロケータ自分で定義したことないのでじゃあどうすればいいかは分かりませんが……

**デフォルトの名無しさん** · 2021/11/07(日) 18:53:11.25

rebind_allocが悪さしてたりして

**デフォルトの名無しさん** · 2021/11/07(日) 19:23:12.01

>>930
SizeLimitedAllocatorの定義にこれ追加すればいいよ
template<typename U>
struct rebind {using other = SizeLimitedAllocator<U,C>;};

**デフォルトの名無しさん** · 2021/11/08(月) 00:05:22.17

https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/ptr_traits.h#L62-L69
この辺の定義にある
定数値という型でないものがテンプレート引数に入ったため、__replace_first_argの下側の定義が使われず
上側の定義が使用されtypeも入らず
https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/alloc_traits.h#L80
でrebindできなくなったことが原因でした。
これを回避するためには、>>934のように
https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/alloc_traits.h#L51-L57
この下の定義に当てはまるrebind<U>::otherを定義しておく必要があるようです。

定数値でなく型がテンプレート引数に追加された場合は、otherの定義は必要ありませんでした。

**デフォルトの名無しさん** · 2021/11/10(水) 17:04:45.91

グーグルテストのASSERTの片辺に期待値をマジックナンバーじゃなくマクロ定数で指定すると赤線引いて来やがるんだけどVSだけ？
ビルドは通るしテストもできるから全く問題ないんだけどうぜー

**デフォルトの名無しさん** · 2021/11/10(水) 20:17:21.11

warningの種類ごとにon/offしたくなる

**デフォルトの名無しさん** · 2021/11/11(木) 00:05:50.61

大体のコンパイラはそういう#pragma持ってるだろ
MSVCなら#pragma warning
GCCなら#pragma GCC diagnostic

**デフォルトの名無しさん** · 2021/11/12(金) 12:50:12.26

改行コードとかタブコードとかが含まれた文字列を
\nとか\tとかにエスケープしてくれる関数ってある？

**デフォルトの名無しさん** · 2021/11/12(金) 12:53:25.82

速度気にしないなら正規表現で

**デフォルトの名無しさん** · 2021/11/12(金) 13:28:00.04

quote?

**デフォルトの名無しさん** · 2021/11/12(金) 14:16:51.83

std::replaceは?
sjisだとまずいかも

**デフォルトの名無しさん** · 2021/11/12(金) 20:51:39.15

文字コード周りはカオスすぎて標準も手に負えず匙投げたからライブラリ使った方がいいよ

**デフォルトの名無しさん** · 2021/11/12(金) 23:22:09.10

>>939
C/C++の場合、1文字単位での文字列処理が得意なので、自作するのも簡単。
0x09 や 0x0a は、SJISやUtf8などの多バイト文字の中には含まれて無いから、
なおさら。
例えば、std::stringでも、新しい文字列変数dstを作って、srcの文字列
から1バイト単位で読み取って、dstに1文字ずつ末尾追加していけばいい。

**デフォルトの名無しさん** · 2021/11/12(金) 23:28:15.13

>>944
[具体例]
MFCのCStringなら、以下のようにするだけでよい:

CString src　= "元の文字列";
CString dst;　// 変換後の文字列を入れる変数。
const char *ptr = (const char *)src;　// CString の 0 終端文字列の先頭アドレスを取得するための変換関数を呼び出している。
while ( *ptr != 0 ) {
　if ( *ptr == 0x0a ) {
　　dst += "\\n";
　}
　else if ( *ptr == 0x09 ) {
　　dst += "\\t";
　}
　else {
　　dst += *ptr;
　}
　ptr++;
}

**デフォルトの名無しさん** · 2021/11/12(金) 23:33:56.40

>>945
[補足]
このプログラムは、1バイトずつ読み取っているが、文字符合は、このままでも、
無修正で ASCIIだけでなく、SJISやUTF8やEUCにも対応している。
後者のような符合では、例えば、SJISの"あ"の文字だと、1文字単位ではなく、
1バイトずつ処理され、2回ループが回るが、問題ない。
UTF8だと3回ループされる。
つまり、このプログラムでは、SJISの1文字は、2文字のように
UTF8の"あ"の文字は、3文字のように処理される。
しかし、それでも結果的には問題ない。
なぜなら、0x0aや0x09は、多バイト文字の中には含まれてないから。

ただし、SJISの場合、\ の文字コードが含まれているので注意が必要ではあるが、
今回は問題ない。

**デフォルトの名無しさん** · 2021/11/12(金) 23:39:04.51

>>946
[補足2]
char は、C言語が登場した時には、「文字」の意味であったが、
今は少なくとも C言語では文字の意味はほぼなく、1バイト(8BIT)の意味である。
そして、C言語でcharが1バイト(8BIT)で無い処理系は、主流ではないので無視
してよい。
Javaなどでは、charが必ず16BITであるのとは対照的である。
ただし、Javaもサロゲートペアの文字に対しては、charは文字の一部であって
本当の1文字には対応していない。
※結局、どの言語も、1文字を固定長で扱い続けることは避けている。

**デフォルトの名無しさん** · 2021/11/13(土) 02:30:33.64

メモリ確保が多発しそうなプログラムやね

**デフォルトの名無しさん** · 2021/11/13(土) 06:30:48.47

老害が一生懸命考えたんだろw
メモリリークしまくられるよりマシ

**デフォルトの名無しさん** · 2021/11/13(土) 07:45:14.90

CStringにせよbasic_stringにせよメモリ確保の多発なんて心配しなくていいよ
JavaのStringじゃないんだから

**デフォルトの名無しさん** · 2021/11/13(土) 08:44:09.90

こういう時reserveしてなくても問題ないの？
最大容量わかってるやん。

**デフォルトの名無しさん** · 2021/11/13(土) 09:34:35.76

メモリ2倍取るのと再配置とどっちが無駄かはそれこそ環境と目的次第だろ

**デフォルトの名無しさん** · 2021/11/13(土) 11:06:02.43

>>945
CStringA
もしくは _T("\\t")他

**デフォルトの名無しさん** · 2021/11/13(土) 11:44:37.82

vectorもそうだけど、倍々にメモリを再配置していくアルゴリズムがそこそこ効率的なので、
たいていの場合はreserveしようがしまいが有意な差は出ないよね

**デフォルトの名無しさん** · 2021/11/13(土) 12:34:40.00

>>943
ほんそれ
std::codecvt_utf8_utf16とか黒歴史でしかない

**デフォルトの名無しさん** · 2021/11/13(土) 12:36:34.59

>>944-945
良い子は真似をしないように

**デフォルトの名無しさん** · 2021/11/13(土) 12:49:12.18

プログラミングとしてはiso2020使ってた頃と大して変わらんよね
低レベルで吸収してくれんとやってられん

**デフォルトの名無しさん** · 2021/11/13(土) 13:24:23.81

ファイル読み取りもシステムコール側が独自にバッファリングしていることが多いから
プログラマ側ががんばってバッファリングしても二度手間だったりする

**ハノン** ◆QZaw55cn4c · 2021/11/13(土) 15:53:45.28

>>955
utf32<->utf8
utf32<->utf16
で十分だと思っていますが

というか、 utf16 自体が黒歴史…

**ハノン** ◆QZaw55cn4c · 2021/11/13(土) 15:54:13.83

>>958
stdio.h をディするのはそこまでだ

**デフォルトの名無しさん** · 2021/11/13(土) 17:16:26.07

文字コードなんて事実上iconvが標準だろ
せいぜいicuくらい
他は一部のプラットフォーム固有の関数くらい
制御コードはISO2022でもなければ使わんし、いうてwhite spaceの類は使われてないから気にすんな
真面目にやると文字の境界見つけんのがだるいし、合成文字の扱いも微妙、異常系の仕様も要件次第になるし、Unicodeのバージョンも無限に上がりそうだけどなｗ
ってわけでC++とか関係ない話だからどうでもいいよ

**デフォルトの名無しさん** · 2021/11/13(土) 18:02:09.89

C++ なら strstream やろ

**デフォルトの名無しさん** · 2021/11/13(土) 18:03:36.59

>>959
utf32<->utf8
utf32<->utf16

どちらも std:: のは黒歴史

**ハノン** ◆QZaw55cn4c · 2021/11/13(土) 18:39:04.73

>>963
そうなんですか…
なぜなんですか？

**デフォルトの名無しさん** · 2021/11/13(土) 19:29:59.64

>>964
知ってるくせに
https://cpprefjp.github.io/reference/codecvt.html
https://cpprefjp.github.io/reference/codecvt/codecvt_utf8.html
https://cpprefjp.github.io/reference/codecvt/codecvt_mode.html
https://cpprefjp.github.io/reference/locale/wstring_convert.html

**デフォルトの名無しさん** · 2021/11/13(土) 21:14:20.03

自分はHTML5の仕様に従って変換してます！

**デフォルトの名無しさん** · 2021/11/14(日) 08:24:14.02

>>959
結合文字列があるから、結局コードポイントに必ず1文字が対応しているとは限らないし、
何使ってもUnicodeは闇じゃないか。
まあ、UTF32使えばコードポイントがぶっ壊れることは避けられるけれども。

**デフォルトの名無しさん** · 2021/11/14(日) 09:14:46.42

この場合同じコードポイントでの変換なわけだし一文字がどうとか関係ないが。

**デフォルトの名無しさん** · 2021/11/14(日) 10:38:12.94

>>948
Perl/Ruby/JSなんかで正規表現を使って置換する場合でも、
同じようなアルゴリズムを使ってるはずだから、これが
特に非効率なわけではないし、代わりになるアルゴリズムで
これよりトータルで効率の良いものも恐らく存在しない。

1.例えば、0x0aと0x09の出現回数を最初に数えれば、必要な
　dstのバイト数を見積もることは可能だが、その場合は、
　二回もパースが必要になるし、プログラムも分かりにくくなる。
　二回パースすることによる速度低下も有る。

2.dstのサイズはsrcのサイズの2倍を越えないので、単純に
　dstの内部バッファをsrcのバイト数の2倍として予約しておけば
　メモリ確保は一回で済むが、srcが巨大な時、メモリを圧迫し、
　余り良いアルゴリズムとは言えない。

**デフォルトの名無しさん** · 2021/11/14(日) 10:52:13.79

>>951
文字列のバッファは、不足すると2倍、2倍、・・・で確保されていくので
確保される回数は、最終的な文字列のバイト数を N としたとき、大体、
log2(N) 回程度となり、バッファがコピーされるトータルのバイト数は、
b = a + a*2 + a*2^2 + a* 2^3 + ... + a* 2^k
k = log2(N) 程度
a = 文字列クラスの内部バッファの初期バイト数。
となり、大体で言えば、2N を越えない。
1 + 2 + 2^2 + 2^3 + ... + 2^k
は 2進数で考えれば、全てのビットが 1 に成っている整数で、
2^{k+1} = 2*2^k = 2*2^{log2(N)} = 2 * N
であることに注意する。

ただし、bの値は大体で書いたので、厳密には少し違うだろう。