구조체멤버에 배열이나 class 가 있을때 대입하면 어떻게 되나요

girneter의 이미지

struct some_struct a,b;

가 있다고 하고
구조체 b에 이런저런 값을 넣고
a = b;

로 대입하면
compiler 가 이를 어떻게 처리하나요?

멤버값을 하나하나 복사하는건 절대 아닐테고
양쪽의 포인터를 가져다가 크기만큼
memcpy 를 하는건가요?

struct 에 int 나 char 만 있는 경우는 그냥
멤버값들이 복사된다고 생각하면 편한데
struct 안에 배열이나 다른 구조체, 클래스
등을 가지면 대입할때 어떻게 되는지 궁금합니다.

wafe의 이미지

C++ 에서라면, = 은 대입 연산자를 호출하게 됩니다. 따로 대입 연산자를 정의하지 않았다면 기본 대입 연산자가 사용됩니다.

C++에서의 구조체는 단순히 클래스일 뿐이므로 클래스와 별 차이가 없습니다. 클래스의 경우에는 클래스의 멤버에 대해서 모두 기본 대입 연산자를 호출하여 대입합니다. 따라서 포인터를 포함하지 않는 구조체나 클래스는 그냥 a = b 해도 전혀 문제 없고, 포인터를 포함하는 경우만 문제가 될 것입니다.

클래스가 포인터를 포함한다면 생성자, 복사 생성자, 대입 연산자를 모두 정의해야할 것입니다.

Heejoon Lee

doldori의 이미지

개념상으로는 멤버 대 멤버 복사를 하게 됩니다. 만약 POD type이면
(C의 struct와 호환 가능한 type이면) 대부분의 구현에서 memcpy처럼
하겠지요. 그리고 non-POD일 경우에는 그에 해당하는 대입연산자에 의해
대입을 합니다.

wafe의 이미지

질문에 대답하려고 테스트 코드를 작성해서 돌려보고는 알게 된 사실인데, 클래스 멤버에 배열이 포함되어 있으면 배열을 통채로 복사하더군요.

#include <iostream>

using namespace std;

class TestClass
{
public:
    char aa[10];
};

int main()
{
    TestClass ta;
    ta.aa[0] = 'a';
    ta.aa[1] = 'b';
    ta.aa[2] = '\0';

    TestClass tb;
    tb = ta;
    cout << "tb.aa: " << tb.aa << endl;
    ta.aa[0] = 'c';
    cout << "tb.aa: " << tb.aa << endl;
    cout << "ta.aa: " << ta.aa << endl;

    return 0;
}

실행결과가 이렇습니다.
tb.aa: ab
tb.aa: ab
ta.aa: cb

memcpy를 쓴다고 생각하면 당연한 일인데... C++에서 클래스의 기본 대입 연산은 모든 멤버의 대입 연산자를 호출한다고 알고 있었기에 이상하게 생각되는군요.

그래서 배열에도 대입 연산자를 부를 수 있는지 테스트해 보았습니다.

int main()
{
    char aaa[10] = "ab\0";
    char bbb[10];

    bbb = aaa;
    cout << "bbb: " << bbb << endl;
    aaa[0] = 'c';
    cout << "bbb: " << bbb << endl;
    cout << "aaa: " << aaa << endl;

    return 0;
}

g++ 2.95.4에서는 잘 되더군요. 결과가 이렇게 나옵니다.
bbb: ab
bbb: ab
aaa: cb

그런데 Visual C++ 6.0에서는 "bbb = aaa;" 에서 컴파일 에러가 납니다.

Heejoon Lee

KiHyunKang의 이미지

wafe wrote:
질문에 대답하려고 테스트 코드를 작성해서 돌려보고는 알게 된 사실인데, 클래스 멤버에 배열이 포함되어 있으면 배열을 통채로 복사하더군요.

.
.

memcpy를 쓴다고 생각하면 당연한 일인데... C++에서 클래스의 기본 대입 연산은 모든 멤버의 대입 연산자를 호출한다고 알고 있었기에 이상하게 생각되는군요.

아래는 C++ 표준입니다.

Quote:
-8- The implicitly-defined copy constructor for class X performs a memberwise copy of its subobjects. The order of copying is the same as the order of initialization of bases and members in a user-defined constructor (see class.base.init). Each subobject is copied in the manner appropriate to its type:

* if the subobject is of class type, the copy constructor for the class is used;
* if the subobject is an array, each element is copied, in the manner appropriate to the element type;
* if the subobject is of scalar type, the built-in assignment operator is used.
Virtual base class subobjects shall be copied only once by the implicitly-defined copy constructor (see class.base.init).

char[] 이니까 char 타입 원소를 하나씩 대입했다고 생각하면 되겠지요.

wafe wrote:
그래서 배열에도 대입 연산자를 부를 수 있는지 테스트해 보았습니다.
.
.
g++ 2.95.4에서는 잘 되더군요. 결과가 이렇게 나옵니다.

3.2.2 에서는 "ISO C++ forbids assignment of arrays" 에러가 납니다.

마지막으로..

테스트 프로그램의 결과로 무언가를 판단하는것은 좋은 습관이 아닙니다.
표준 문서를 참고하세요~ ^^