Цель возврата значения const?

Question

Какова цель const в этом?

const Object myFunc(){ 
    return myObject; 
} 

Я только начал читать Эффективное использование C++ и пункт 3 сторонников этого и поиск Google поднимает подобные предложения, но и контрпримеры. Я не вижу, как использование const здесь было бы предпочтительнее. Предполагая, что возвращение по значению желательно, я не вижу причин для защиты возвращаемого значения. Приведенный пример, почему это может быть полезно, - это предотвращение непреднамеренных отклонений bool от возвращаемого значения. Фактическая проблема заключается в том, что неявные команды bool должны быть предотвращены с явным ключевым словом.

Использование функции const предотвращает использование временных объектов без назначения. Поэтому я не мог выполнять арифметические выражения с этими объектами. Не похоже, что когда-нибудь случается, что неназванный const полезен.

Что получается при использовании функции const здесь и когда было бы предпочтительнее?

EDIT: Измените пример арифметики на любую функцию, которая изменяет объект, который вы хотите выполнить перед назначением.

Answer 1

В гипотетической ситуации, когда вы могли бы выполнить потенциально дорогостоящую неконстантную операцию на объекте, возвращаясь по константной стоимости предотвращает случайный вызов эта операция выполняется на временной основе. Представьте себе, что + вернулся неконстантное значением, и вы могли бы написать:

(a + b).expensive(); 

В возрасте C++ 11, однако, настоятельно рекомендуются возвращать значения, как неконстантные, так что вы можете взять полные преимущество ссылок rvalue, которые имеют смысл только на непостоянных значениях r.

Таким образом, является обоснованием для этой практики, но это по сути устарело.

Answer 2

It's prettypointless для возврата значения const из функции.

Это difficult, чтобы получить его, чтобы иметь какой-либо эффект на ваш код:

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:

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 

сомнительно ли это какой-либо выгоду для всех.

Возврат ссылки другой, но если Object не является параметром шаблона, вы этого не делаете.

Answer 3

Его можно использовать как функцию обертки для возврата ссылки на частный тип данных констант. Например, в связанном списке есть хвост и голова констант, и если вы хотите определить, является ли узел хвостом или головным узлом, вы можете сравнить его со значением, возвращаемым этой функцией.

Хотя любой оптимизатор, скорее всего, оптимизировать его в любом случае ...

Answer 4

myObject может быть указателем. «Const» защищает значение, указанное myObject.

Answer 5

Он не может быть изменен для возвращаемого объекта (который является RValue в этой точке). Это гарантирует, что пользователь не может сделать так думает:

myFunc() = Object(...); 

Это будет работать хорошо, если myFunc возвращаемой ссылки, но это почти наверняка ошибка при возврате по значению (и, вероятно, не будет пойман компилятор). Конечно, в C++ 11 с его rvalues ​​это соглашение не имеет такого большого смысла, как раньше, поскольку объект const нельзя перенести, так что это может иметь довольно сильные последствия для производительности.

Answer 6

C++ 11 делает его весьма полезным для объектов только для перемещения. Например:

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

unique_ptr представляет собой тип, который не может быть скопирован; его можно только перемещать. Но вы не можете позвонить по номеру std::move по номеру const. Таким образом, единственный способ сохранить это с const& или const&&:

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

Поскольку это const unique_ptr, он не может быть перемещен из. Не может быть скопировано. Это означает, что очень сложно на самом деле хранить это в любом месте в долгосрочной перспективе. Вы можете положить его в стек. Но сделать его членом класса невозможно (без вызова неопределенного поведения).

Таким образом, обеспечивает, что указатель не хранится долговременно. Это позволяет создать специализированную версию unique_ptr, которая на деле не удаляет память. Таким образом, функция может возвращать указатель, зная, что пользователь не может его хранить в любом месте.

Конечно, это также затрудняет возврат вызывающего абонента. Таким образом, есть недостатки.