C ++에서 "객체를 반환"하는 방법은 무엇입니까?

비슷한 질문이 많을수록 제목이 익숙한 것으로 알고 있지만 문제의 다른 측면을 요구하고 있습니다 (스택에 물건을 두는 것과 더미에 넣는 것의 차이점을 알고 있습니다).

Java에서는 항상 "로컬"객체에 대한 참조를 반환 할 수 있습니다

public Thing calculateThing() {
    Thing thing = new Thing();
    // do calculations and modify thing
    return thing;
}

C ++에서 비슷한 것을하기 위해 두 가지 옵션이 있습니다.

(1) 객체를 "반환"해야 할 때마다 참조를 사용할 수 있습니다

void calculateThing(Thing& thing) {
    // do calculations and modify thing
}

그런 다음 이렇게 사용하십시오

Thing thing;
calculateThing(thing);

(2) 또는 동적으로 할당 된 객체에 대한 포인터를 반환 할 수 있습니다

Thing* calculateThing() {
    Thing* thing(new Thing());
    // do calculations and modify thing
    return thing;
}

그런 다음 이렇게 사용하십시오

Thing* thing = calculateThing();
delete thing;

첫 번째 방법을 사용하면 수동으로 메모리를 비울 필요가 없지만 코드를 읽기가 어렵습니다. 두 번째 접근 방식의 문제점은을 기억해야한다는 것 delete thing;입니다. 비효율적이기 때문에 복사 된 값을 반환하고 싶지 않습니다 (제 생각에). 여기에 질문이 있습니다.

• 세 번째 해결책이 있습니까 (값을 복사하지 않아도 됨)?
• 첫 번째 해결책을 고수하면 문제가 있습니까?
• 두 번째 솔루션을 언제, 왜 사용해야합니까?

비효율적이므로 복사 된 값을 반환하고 싶지 않습니다.

증명 해봐

RVO 및 NRVO 및 C ++ 0x 이동 시맨틱을 검색하십시오. 대부분의 경우 C ++ 03에서 out 매개 변수는 코드를 추악하게 만드는 좋은 방법 일 뿐이며 C ++ 0x에서는 out 매개 변수를 사용하여 실제로 상처를 입을 수 있습니다.

깨끗한 코드를 작성하고 값으로 반환하십시오. 성능에 문제가 있으면 프로파일 링 (추측 중지)하고 수정을 위해 수행 할 수있는 작업을 찾으십시오. 아마도 함수에서 물건을 반환하지 않을 것입니다.

즉, 그런 식으로 글을 쓰지 않으면 out 매개 변수를 사용하고 싶을 것입니다. 보다 안전하고 일반적으로 더 빠른 동적 메모리 할당을 피합니다. 함수를 호출하기 전에 객체를 생성 할 수있는 방법이 필요하지만 모든 객체에 항상 적합한 것은 아닙니다.

동적 할당을 사용하려면 수행 할 수있는 최소한의 방법을 스마트 포인터에 넣으십시오. (이것은 어쨌든 항상 수행되어야합니다.) 그러면 아무것도 삭제하는 것에 대해 걱정하지 않아도됩니다. 예외가 안전합니다. 유일한 문제는 어쨌든 값으로 반환하는 것보다 느릴 것입니다!

객체를 생성하고 반환하십시오.

Thing calculateThing() {
    Thing thing;
    // do calculations and modify thing
     return thing;
}

최적화를 잊고 읽을 수있는 코드를 작성하면 나중에 호의를 보일 것이라고 생각합니다 (나중에 프로파일 러를 실행해야하지만 사전 최적화하지는 마십시오).

다음과 같은 객체를 반환하십시오.

Thing calculateThing() 
{
   Thing thing();
   // do calculations and modify thing
   return thing;
}

이것은 Things에 대한 복사 생성자를 호출하므로 직접 구현할 수 있습니다. 이처럼 :

Thing(const Thing& aThing) {}

약간 느리게 수행 될 수 있지만 전혀 문제가되지 않을 수 있습니다.

최신 정보

컴파일러는 아마도 복사 생성자에 대한 호출을 최적화하므로 추가 오버 헤드가 없습니다. (dreamlax와 마찬가지로 의견에서 지적했습니다).

auto_ptr과 같이 스마트 포인터를 사용하려고 했습니까 (Thing이 실제로 크고 무거운 개체 인 경우).

std::auto_ptr<Thing> calculateThing()
{
  std::auto_ptr<Thing> thing(new Thing);
  // .. some calculations
  return thing;
}


// ...
{
  std::auto_ptr<Thing> thing = calculateThing();
  // working with thing

  // auto_ptr frees thing 
}

복사 생성자가 호출되는지 확인하는 빠른 방법 중 하나는 클래스의 복사 생성자에 로깅을 추가하는 것입니다.

MyClass::MyClass(const MyClass &other)
{
    std::cout << "Copy constructor was called" << std::endl;
}

MyClass someFunction()
{
    MyClass dummy;
    return dummy;
}

전화 someFunction; 얻을 수있는 "복사 생성자 호출"행의 수는 0, 1 및 2 사이에서 다양합니다. 아무 것도 얻지 못하면 컴파일러는 반환 값을 최적화했습니다 (허용 된 값). 0을하지 않는 얻을, 당신의 복사 생성자가 터무니없이 비싼 경우, 다음 당신의 기능에서 인스턴스를 반환하는 다른 방법을 검색합니다.

첫째로 당신은 코드에서 오류를 가지고, 당신은 의미 Thing *thing(new Thing());만, return thing;.

• 사용하십시오 shared_ptr<Thing>. 포인터라고 간주하십시오. 포함 된 항목에 대한 마지막 참조 Thing가 범위를 벗어나면 삭제됩니다 .
• 첫 번째 솔루션은 순진한 라이브러리에서 매우 일반적입니다. 그것은 약간의 성능과 구문상의 오버 헤드를 가지고 있으며 가능하면 피하십시오
• 예외가 발생하지 않거나 성능이 절대적으로 중요하지 않은 경우에만 두 번째 솔루션을 사용하십시오 (이와 관련되기 전에 C 또는 어셈블리와 인터페이스합니다).

C ++ 전문가가 더 나은 답변을 얻을 것이라고 확신하지만 개인적으로 두 번째 접근법을 좋아합니다. 스마트 포인터를 사용하면 잊어 버리는 문제를 피하는 데 도움이됩니다. delete손으로 미리 객체를 생성 해야하는 것보다 더 깔끔해 보입니다 (그리고 힙에 할당하려는 경우 여전히 삭제해야 함).