関数から「ベクター」を返すのはなぜですか？

このコードを検討してください。このタイプのコードを何度か見ました。wordsローカルベクトルです。関数から返すにはどうすればよいですか？

死なないことを保証できますか？

 std::vector<std::string> read_file(const std::string& path)
 {
    std::ifstream file("E:\\names.txt");

    if (!file.is_open())
    {
        std::cerr << "Unable to open file" << "\n";
        std::exit(-1);
    }

    std::vector<string> words;//this vector will be returned
    std::string token;

    while (std::getline(file, token, ','))
    {
        words.push_back(token);
    }

    return words;
}

死なないことを保証できますか？

参照が返されない限り、そのようにしても問題ありません。words結果を受け取る変数に移動されます。

ローカル変数はスコープ外になります。移動（またはコピー）された後。

C ++ 11より前：

関数はローカル変数ではなく、そのコピーを返します。ただし、コンパイラは、実際のコピーアクションが行われない最適化を実行する場合があります。

この質問と回答を見るを参照してください。

C ++ 11：

関数は値を移動します。詳細については、この回答を参照してください。

私はあなたがC（およびC ++）で関数から配列を返すことが許可されていない（または少なくとも期待どおりに機能しない）問題を参照していると思います-これは配列が返されるためです（あなたがそれを書いた場合）単純な形式）は、スタック上の実際の配列へのポインターを返し、関数が戻るとすぐに削除されます。

しかし、この場合は機能します。これstd::vectorは、クラスであり、構造体と同様に、クラスを呼び出し元のコンテキストにコピーできるためです。[実際、ほとんどのコンパイラは「戻り値の最適化」と呼ばれるものを使用してこの特定のタイプのコピーを最適化します。特に、関数から返されたときにラージオブジェクトがコピーされないようにするために導入されましたが、これは最適化であり、プログラマの観点からは、オブジェクトに対して割り当てコンストラクタが呼び出されたかのように動作します]

返される関数内にあるものへのポインターまたは参照を返さない限り、問題ありません。

動作をよく理解するには、次のコードを実行します。

#include <iostream>

class MyClass
{
  public:
    MyClass() { std::cout << "run constructor MyClass::MyClass()" << std::endl; }
    ~MyClass() { std::cout << "run destructor MyClass::~MyClass()" << std::endl; }
    MyClass(const MyClass& x) { std::cout << "run copy constructor MyClass::MyClass(const MyClass&)" << std::endl; }
    MyClass& operator = (const MyClass& x) { std::cout << "run assignation MyClass::operator=(const MyClass&)" << std::endl; }
};

MyClass my_function()
{
  std::cout << "run my_function()" << std::endl;
  MyClass a;
  std::cout << "my_function is going to return a..." << std::endl;
  return a;
}

int main(int argc, char** argv)
{
  MyClass b = my_function();

  MyClass c;
  c = my_function();

  return 0;
}

出力は次のとおりです。

run my_function()
run constructor MyClass::MyClass()
my_function is going to return a...
run constructor MyClass::MyClass()
run my_function()
run constructor MyClass::MyClass()
my_function is going to return a...
run assignation MyClass::operator=(const MyClass&)
run destructor MyClass::~MyClass()
run destructor MyClass::~MyClass()
run destructor MyClass::~MyClass()

この例はC ++ 03コンテキストで提供されたものであり、C ++> = 11の場合は改善される可能性があることに注意してください。

私は同意しないとんはお勧めしませ戻るにはvector：

vector <double> vectorial(vector <double> a, vector <double> b)
{
    vector <double> c{ a[1] * b[2] - b[1] * a[2], -a[0] * b[2] + b[0] * a[2], a[0] * b[1] - b[0] * a[1] };
    return c;
}

これははるかに高速です：

void vectorial(vector <double> a, vector <double> b, vector <double> &c)
{
    c[0] = a[1] * b[2] - b[1] * a[2]; c[1] = -a[0] * b[2] + b[0] * a[2]; c[2] = a[0] * b[1] - b[0] * a[1];
}

Visual Studio 2017でテストしましたが、リリースモードでは次の結果が得られました。

参照による8.01 MOPs
5.09 MOPs戻りベクトル

デバッグモードでは、事態はさらに悪化します。

参照による0.053 MOPS
戻りベクトルによる0.034 MOP

これは実際には設計の失敗です。プリミティブではないものに対しては、比較的簡単なことではないものに対して戻り値を使用するべきではありません。

理想的なソリューションは、参照/ポインターの決定を伴う戻りパラメーターと、記述子としての「const \ 'y \' ness」の適切な使用を通じて実装する必要があります。

さらに、CおよびC ++の配列のラベルは事実上ポインターであり、そのサブスクリプションは事実上オフセットまたは加算記号であることを理解する必要があります。

したがって、ラベルまたはptr array_ptr ===配列ラベル、つまりfoo [offset]を返すことは、メモリポインターの場所foo + returnタイプのオフセットのreturn要素を実際に言っていることになります。