Избегайте бесконтактных эталонных параметров

Question

Я сталкиваюсь с этим output param convention, что способствует указателям, а не рекомендациям.

«В списках параметров функции все ссылки должны быть константной:.

void Foo(const string &in, string *out);

На самом деле это очень сильная условность в коде Google, что входные аргументы являются значениями или константные ссылки, а выходные аргументы являются указателями ввода параметры могут быть константными указателями, , но мы никогда не позволяют неконстантным эталонные параметры, за исключением, когда это требуется в соответствии с соглашением, например, своп(). "

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

Так что интересно, действительно ли этот input param is const reference, output param is pointer является только вопросом стиля Google, или это более общепринятая практика (чтобы избежать неконстантных опорных параметров).

Answer 1

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

Кроме того, изменение функции, чтобы иногда изменять один из ее параметров, не может бесшумно нарушать другой код. Вам нужно перейти на каждый сайт вызова и вызвать указатель. Предположительно, вы заметите, что вам нужен один из сайтов звонков , а не изменить этот параметр.

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

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