クラスへのポインタのvectorを返す関数でSIGILL / SIGSEGV

Question

あるクラスのポインタのvectorを返す関数を作成している時にSIGILLエラーとsegmentation faultが出て困っています．

関数はstd::vector<ClassA*>を返す関数で，ある条件に引っかかった場合は空のvectorを返し，それ以外の場合は必要に応じてpointerをpush_backして出来上がったvectorを返すという設計です．

std::vector<ClassA*> func()
{
    std::vector<ClassA*> aPtrs;

    if (/* some condition */) // early termination
    {
        return aPtrs;
    }

    while(/* some condition */)
    {
        ...
        aPtrs.push_back(ptr_to_class_A)
    }
    return aPtrs;
}

mainのコード側は以下のようになっています．

std::vector<ClassA*> APtr_vec = func();

最初のifの条件に引っかかった場合は，SIGILLのエラーが出ており，引っかからなかった場合はsegmentation faultが出ています．何が原因として考えられるでしょうか？
ご回答お待ちしております．

Answer 1

こんなコードを書いてみました。

#include <iostream>
#include <vector>

struct ClassA{ int mem; };

// 引数: 1 early termination
// 引数: 2 ローカル変数を指すポインタをpush_backし返す
// 引数: 3 ヒープ領域にメモリ確保したポインタをpush_backし返す
std::vector<ClassA*> func(int pattern) {
    std::vector<ClassA*> aPtrs;

    if (pattern == 1) return aPtrs;

    if (pattern == 2) {
        ClassA a;
        a.mem = 10;
        ClassA *c = &a;
        aPtrs.push_back(c);
        return aPtrs;
    }

    if (pattern == 3) {
        ClassA *c;
        c = new ClassA();
        c->mem = 20;
        aPtrs.push_back(c);
        return aPtrs;
    }

    return aPtrs;
}

int main() {
    std::vector<ClassA*> APtr_vec1 = func(1);
    std::vector<ClassA*> APtr_vec2 = func(2);
    std::vector<ClassA*> APtr_vec3 = func(3);
    std::cout << "pattern1の要素数: " << APtr_vec1.size() << std::endl;
    std::cout << "pattern2の要素数: " << APtr_vec2.size() << std::endl; // ポインタで指している変数は破棄されている
    std::cout << "pattern3の要素数: " << APtr_vec3.size() << std::endl; // ポインタで指している変数は破棄されない
    delete APtr_vec3.at(0);
}

いずれの場合にしてもsegmentation faultは出ません。
そのため、記載されているコード外の箇所で起きているのではないかと思います。
破棄された変数、または範囲外の要素にアクセスしている、などかもしれません。

Comments

[nishiys]

ご回答ありがとうございます．コードを再確認したところ，最初のearly terminationに引っかかった場合，segmentation faultではなくSIGILLのエラーが出ていました．それ以外の場合は現在原因究明中です...

Answer 2

皆さんご回答ありがとうございました．おかげで原因切り分けが進み，解決できました．

1. SIGILLエラーに関してはコードの掲載部と関係ない部分が原因でした．

2. SIGSEGVに関しては，これも掲載していない部分で定義していたClassAのlocalなオブジェクトのメモリアクセスに失敗していたのが原因だったようです．

Answer 3

ローカル変数(aPtrs)は、関数を抜けると無効に成ります。・・・気をつけましょう。

Comments

[episteme]

return時にコピーされるだろうから vector自体は問題ない(と思われる)。

気を付けるべきは vector内の要素(ポインタ)がローカル変数のポインタだったとき。

[nishiys]

ご回答ありがとうございます．「vector内の要素(ポインタ)がローカル変数のポインタ」の可能性はearly terminationに引っかからなかった場合はありえるかもしれません（コードが少し複雑なので現在確認中です．）が，early terminationになった場合はSIGSEGVではなくSIGILLのエラーが出ていることに気付きました．std::vector<ClassA*> aPtrs;の定義の後はこのvectorへの処理は何もありません．何か他の可能性はありますでしょうか？