오버로딩 연산자에서 세그먼트 화 오류 =

Question

FeatureCount와 FeatureCount의 배열을 가리키는 포인터 멤버가 _rects 인 클래스 FeatureRandomCounts에 대한 대입 연산자에 과부하가 걸렸습니다. 다른 날짜 멤버는 비 포인터 :

FeatureRandomCounts & FeatureRandomCounts::operator=(const FeatureRandomCounts &rhs) 
{ 
    if (_rects) delete [] _rects; 

    *this = rhs; // segment fault 

    _rects = new FeatureCount [rhs._dim]; 
    for (int i = 0; i < rhs._dim; i++) 
    { 
    _rects[i]=rhs._rects[i]; 
    } 

    return *this;  
} 

누군가 실마리가 있습니까? 고마워, 안부!

Answer 1

언급 한대로 무한 재귀가 있습니다. 그러나,에 추가, 여기 = 연산을 구현하는 절대 안전한 방법 :

struct T { 
    T(T const& other); 
    T& operator=(T copy) { 
    swap(*this, copy); 
    return *this; 
    } 
    friend void swap(T& a, T& b); 
}; 

는 정확한 복사 ctor에 스왑 및 예외 안전성과 모든 가장자리 경우가 당신을 위해 처리됩니다 쓰기!

복사본 매개 변수는 값이으로 전달 된 다음 변경되었습니다. 현재 인스턴스가 파기해야하는 리소스는 복사본이 파괴 될 때 처리됩니다. 이것은 current recommendations을 따르고 self-assignment을 깨끗하게 처리합니다.그것은 수동으로 관리 회원 (페이지) 또는 RAII/SBRM 스타일의 구성원 (의) 중 하나와 함께 작동

---

#include <algorithm> 
#include <iostream> 

struct ConcreteExample { 
    int* p; 
    std::string s; 

    ConcreteExample(int n, char const* s) : p(new int(n)), s(s) {} 
    ConcreteExample(ConcreteExample const& other) 
    : p(new int(*other.p)), s(other.s) {} 
    ~ConcreteExample() { delete p; } 

    ConcreteExample& operator=(ConcreteExample copy) { 
    swap(*this, copy); 
    return *this; 
    } 

    friend void swap(ConcreteExample& a, ConcreteExample& b) { 
    using std::swap; 
    //using boost::swap; // if available 
    swap(a.p, b.p); // uses ADL (when p has a different type), the whole reason 
    swap(a.s, b.s); // this 'method' is not really a member (so it can be used 
        // the same way) 
    } 
}; 

int main() { 
    ConcreteExample a (3, "a"), b (5, "b"); 
    std::cout << a.s << *a.p << ' ' << b.s << *b.p << '\n'; 
    a = b; 
    std::cout << a.s << *a.p << ' ' << b.s << *b.p << '\n'; 
    return 0; 
} 

알 수 있습니다.

Answer 2

*this = rhs; 

은 작성중인 함수 인 operator =()를 호출합니다. 무한 반복 재귀, 스택 오버플로, 충돌.

또한 C 스타일 배열 대신 std :: vector를 사용하면 operator =()를 전혀 구현할 필요가 없을 것입니다.

Answer 3

다음 줄 :

*this = rhs; // segment fault 

재귀 스택 오버 플로우의 결과로 당신의 operator=() 함수를 호출합니다.

다양한 멤버 필드의 직선적 인 할당으로 대체해야합니다.

As Neil said과 같은 코드를 사용하면 std::vector<>과 같은 코드를 사용하면 많은 책임을 코드에서 제거 할 수 있습니다. 어떤 이유로 든 std::vector<>을 사용할 수 없거나 사용하지 않으려는 경우 할당 연산자에 '스왑 이디엄'을 사용하는 것이 좋습니다. 이렇게하면 함수의 예외가 안전 해집니다 (배열 FeatureCount에 대한 메모리 할당이 실패하고 예외가 발생하면 원래 할당 된 객체는 변경되지 않습니다). 다음과 같은 뭔가 :

void FeatureRandomCounts::swap(FeatureRandomCounts& other) 
{ 
    FeatureCount* tmp_rects = other._rects; 
    int tmp_dim    = other._dim; // or whatever type _dim is 

    // similarly for other members of FeatureRandomCounts... 

    // now copy the other contents to 
    this->_rects = other._rects; 
    this->_dim = other._dim; 

    // assign other members of rhs to lhs 

    other._rects = tmp_rects; 
    other._dim = tmp_dim; 

    // etc. 

    return; 
} 

지금 과제가 같이 할 수 있습니다 당신은이 작업을 할 수있는 적절한 복사 생성자가 필요

FeatureRandomCounts & FeatureRandomCounts::operator=(const FeatureRandomCounts &rhs) 
{ 
    FeatureRandomCounts tmp(rhs); // make a copy 

    tmp.swap(*this);    // swap the contents of the copy and *this 

    return *this; 
            // the contents of tmp (which has the old 
            // stuff that was in *this) gets destructed 
} 

참고하지만, 주어진 Big 3 rule 이미 적절한 복사 ctor에 필요 .

Answer 4

*this = rhs; // segment fault 

이 할 수있는 방법은 결정적으로 하지입니다. 내장 된 대입 연산자를 호출하지 않고 =을 재귀 적으로 호출합니다. 변수를 하나씩 할당하십시오. 게으르지 마라.