const 값으로 반환하는 목적은 무엇입니까?

Question

const의 목적은 무엇입니까?

const Object myFunc(){ 
    return myObject; 
} 

난 그냥 효과적인 C++ 및 항목을 읽기 시작했습니다 3 옹호자이와 Google 검색이 유사한 제안뿐만 아니라 반례를 선택합니다. 나는 여기서 const를 사용하는 것이 어떻게 더 바람직한 지 알 수 없다. 값으로 반환한다고 가정하면 반환 된 값을 보호 할 이유가 없습니다. 이것이 도움이 될 수있는 이유에 대한 예제는 의도하지 않은 반환 값의 bool 캐스트를 방지하는 것입니다. 실제 문제는 암시 적 bool 캐스트가 명시 적 키워드로 방지되어야한다는 것입니다.

const를 사용하면 할당하지 않고 임시 개체를 사용할 수 없습니다. 그래서 나는 그 객체들로 산술 식을 수행 할 수 없었다. 이름없는 const가 유용 할 때도있는 것처럼 보이지 않습니다.

여기에서 const를 사용하면 무엇을 얻을 수 있습니까?

편집 : 할당 전에 수행 할 수있는 개체를 수정하는 함수로 산술 예제를 변경하십시오.

Answer 1

는 실수로 호출하지 못하도록 이 작업은 임시로 수행됩니다. +는 const가 아닌 값을 반환 상상해, 당신은 쓸 수 :

(a + b).expensive(); 

를 C++ 11 세의 나이에, 그러나, 강력 전체 취할 수 있도록 const가 아닌 같은 값을 반환하는 것이 좋습니다 rvalue 참조의 장점. 비 rvalues에 대해서만 의미가 있습니다.

요약하면, 은이 관행의 근거이지만 본질적으로 쓸모가 없습니다.

Answer 2

It's prettypointless 함수에서 const 값을 반환합니다. 이 모든인지 여부를

struct T {}; 

const T foo() { 
    return T(); 
} 

int main() { 
    foo() = T(); 
} 

// error: passing ‘const T’ as ‘this’ argument of ‘T& T::operator=(const T&)’ discards qualifiers 

는 의심의 :

const int foo() { 
    return 3; 
} 

int main() { 
    int x = foo(); // copies happily 
    x = 4; 
} 

and :

const int foo() { 
    return 3; 
} 

int main() { 
    foo() = 4; // not valid anyway for built-in types 
} 

// error: lvalue required as left operand of assignment 

you can notice if the return type is a user-defined type 비록

그것은 당신의 코드에 어떤 영향을 미칠 얻을 difficult입니다 누구에게나 이익이된다.

참조를 반환하는 것은 다르지만 Object이 일부 템플릿 매개 변수가 아니라면 그렇게하지 않는 것입니다.

Answer 3

개인 상수 데이터 형식에 대한 참조를 반환하는 래퍼 함수로 사용할 수 있습니다. 예를 들어 링크드리스트에서 tail과 head라는 상수가 있고 노드가 꼬리 또는 머리 노드인지 확인하려면 해당 함수가 반환 한 값과 비교할 수 있습니다. const를 값으로 반환 어떤 최적화가 가장 가능성이 어쨌든을 최적화 할 비록

... 당신이 객체에 잠재적으로 비용이 const가 아닌 작업을 수행 할 수있는 가상의 상황에서

Answer 4

myObject는 포인터 일 수 있습니다. 'const'는 myObject가 가리키는 값을 보호합니다.

Answer 5

반환 된 개체 (해당 시점의 RValue)는 수정할 수 없습니다. 이것은 할 수없는 사용자가이 같은 생각 확인합니다 :

myFunc() = Object(...); 

잘 작동합니다 참조로 반환하지만, 거의 확실 값에 의해 반환 된 버그 myFunc 경우 (그리고 아마도에 의해 체포되지 않습니다 컴파일러). 물론 그것의 rvalues와 C + + 11에서,이 컨벤션은 const 객체가 옮겨 질 수 없기 때문에 이전처럼 많은 의미를 가지지 않으므로 성능에 상당한 영향을 미칠 수 있습니다.

Answer 6

C++ 11은 이동 전용 개체에 유용합니다. 예를 들어 :

const std::unique_ptr<T> myFunc(); 

unique_ptr 복사 할 수없는 종류의 파일입니다; 그것은 단지 움직일 수 있습니다. 그러나 const 유형에서는 std::move으로 전화 할 수 없습니다. 따라서이를 저장할 수있는 유일한 방법은 const& 또는 const&& 함께 :

const std::unique_ptr<T> &ptr = myFunc(); 

그것은 const unique_ptr 이래로, 그것은에서 이동할 수 없습니다. 또한 복사 할 수 없습니다. 어떤 의미에서 그것은 매우 장기간 실제로 저장할 수 없다는 것을 의미합니다. 스택에 놓을 수 있습니다. 그러나 그것을 클래스의 멤버로 만드는 것은 (정의되지 않은 동작을 호출하지 않고) 불가능합니다.

이렇게하면 포인터가 장기간 저장되지 않을 수 있습니다. 이렇게하면 삭제자인 unique_ptr의 특수 버전을 만들면 실제로 메모리가 삭제되지 않습니다. 그런 식으로 함수는 사용자가 어디에도 저장할 수 없다는 것을 알고 포인터를 반환 할 수 있습니다.

물론 이것은 호출자가 값을 반환하기가 다소 어렵습니다. 그래서 단점이 있습니다.