std :: string_viewからstd :: stringへの変換は暗黙的です。委員会は何を考えましたか？

Question

真剣に、何が起こっていないのですか？ std::stringからstd::string_viewへの暗黙的な変換があり、安全でないとはみなされません。プログラマが慎重でない場合、これは確かに多くの不自然な参照を引き起こすかもしれません。一方

は、彼らが同じ引数が、全く逆の方法でを使用して std::stringから std::string_viewからの暗黙的な変換を却下している：プログラマが注意しないかもしれ ので。

それはそれは超混乱して骨までストリッピングしながら、彼らは生const char*ポインタの代替を作成したことを素敵だ：

• 暗黙const char* - >std::string：OK
• 暗黙std::string_view - >std::string：NOPE
• 割り当てstd::string = const char*：OK
• 割り当てstd::string = std::string_view：OK
• アペンドstd::string + = const char*：OK
• アペンドstd::string + = std::string_view：OK
• 連結const char* + std::string：OK
• 連結std::string_view + std::string：NOPE
• 連結std::string + const char*：OK
• 連結std::string + std::string_view：

は、私が何かをしないのですか、これは総ナンセンスであるNOPE？

結局のところ、この文字列ビューは、それをconst char*と似ている重要な部分をすべて持たないとどのくらい役に立ちますか？それを完全にするための最後のステップをしないうちに、stdlibの生態系にそれを統合することのポイントは何ですか？結局のところ、ストリングの一部を表すオブジェクトが必要な場合、私たち自身で作成することができます。実際には、数年前に既に多くの図書館が行っていました。何かを標準化することの重要なポイントは、それを幅広いユースケースに役立てることです。

C++ 2aでこれを修正しますか？

Answer 1

問題がstd::string_viewということです - >std::string_viewない - 暗黙のstd::stringが一方>std::stringは、ヒープの割り当てを完全根底にあるメモリのコピーを、作ります。最初にstd::string_viewを使用するのに気にかけてしまった場合、明らかにコピーが気になるので、暗黙的に起こることは望ましくありません。

この例を考えてみましょう：

void foo1(const std::string& x) 
{ 
    foo2(x); 
} 
void foo2(std::string_view x) 
{ 
    foo3(x); 
} 
void foo3(const std::string& x) 
{ 
    // Use x... 
} 

foo2がconst std::string&パラメータを使用し、あなたがstd::stringない文字列を渡す場合は、より効率的であることをstd::string_viewので使用していたかもしれない機能。そこには驚きはありません。しかし、パラメータをconst std::string&と指定した場合よりも効率が悪いです！

• foo2が（例えばfoo1によって）std::string引数で呼び出された場合：foo2コールfoo3が、それは文字列のコピーを作成します。それがconst std::string&引数を持っていれば、既に持っていたオブジェクトを使っていた可能性があります。
• foo2がconst char*引数で呼び出された場合：std::stringコピーを早くまたはそれ以降に作成する必要があります。 const std::string&パラメータでは以前に作成されていますが、全体的にちょうど1つのコピーがあります。今

foo2を想像してはfoo3のような複数の機能を呼び出し、またはループ内foo3呼び出します。それはまったく同じstd::stringオブジェクトを繰り返し作成しています。コンパイラがこれについてあなたに通知したいと思うでしょう。