C++ 20 ヒープとスタックを区別するには

Question

前提・実現したいこと

引数に指定された文字or文字列がヒープにあるのかスタックにあるのか受け取り側で静的な振る舞いで変える方法ってあるんでしょうか？

該当のソースコード

つまりこんなことがしたい

template<class T>
class StringStrage;


template<HeapStringConcept T>
class StringStrage<T>
{
   T &obj;
   StringStrage(T obj):Value(move(obj)){};
}

template<StackStringConcept T>
class StringStrage<T>
{
   T &obj;
   StringStrage(T obj):Value(copy(obj)){};
}

int main()
{
  StringStrage heap =  StringStrage( new char[5]);
  char stack_arg[5]  = {'h','o','g','e','\0'};
  StringStrage stack = StringStrage(stack_arg);
}

もしかしたら、テンプレート引数が間違ってるかもしれません。

Comments

[maisumakun]

なぜそれを行いたいのでしょうか？

[bjnes]

まず、前提として、引数で渡されたオブジェクトがスタックに積まれているオブジェクトの場合、
それを指し示すポインタをずっと持ち続けるのは、良くないですよね。引数オブジェクトの寿命と生成するオブジェクトの寿命が異なる場合がありますから。
なので、スタックで渡されてきたものはヒープにコピーを取る必要があると思います。

一方で、ヒープにあるものは、所有権だけ譲渡してもらえれば、上記の無駄なコピーをやらなくて済むので
処理効率が上がるかなぁーと考えました。

私、なにかおかしいこと考えてますかね（汗

Answer 1

なので、スタックで渡されてきたものはヒープにコピーを取る必要があると思います。

前提が間違っています。一時オブジェクトへのポインタを渡して正しく動作しなくなってしまうのは、渡す側の責任です。呼ばれた側で対処すべきものではありません。

Comments

[maisumakun]

スマートポインタでラップすれば、そもそも「プログラマーがポインタの指し先を考える」ということからも解放されますが、それは取れない手段なのでしょうか？

[maisumakun]

文字列なら素直にstd::stringを使えばいいかと思います（中身は動的に確保されますので、「スタックに置かれる」ような事自体が起こりえません）。

[bjnes]

渡す側の責任と言ってしまえば、そこまでですが、最低限エラーですよー的な優しいナニカを
してあげたいなと考えてます。
スマートポインタやstd:stringの実装は引数を判別して、中身を動的に正しく確保してくれるのでしょうか？
だとしたら、それが知りたい答えのような気もします。

[maisumakun]

> スマートポインタやstd:stringの実装は引数を判別して、中身を動的に正しく確保してくれるのでしょうか？

初期化時は基本的にコピー、かと思います（特に、std::stringは領域管理も自前で行いますので、コピー以外の選択肢がありません）。

スマートポインタの方はムーブセマンティクスやコピー省略など、コンパイラで保証される範囲内でコピーを削減するテクニックがいくつかありますが、それらも使える条件がありますので、うまくいかないときはコピーになります。

[bjnes]

なるほど。
いろいろと教えていただいてありがとうございました。
割と考えがまとまりました。

Answer 2

MoreEffectiveC++　第27項

を使うと、スタックオブジェクトとヒープオブジェクトを判別できる。
スタック→ヒープへ最低限一回はコピーされるのかもね。