Происхождение «метод должен возвращать значение или иметь побочные эффекты, но не оба»

Однажды я прочитал, что метод должен иметь возвращаемое значение (и быть ссылочно прозрачным) или иметь побочные эффекты, но не оба. Я не могу найти никаких ссылок на это правило, но хочу узнать больше об этом.

Каково происхождение этого совета? Из какого человека или сообщества это возникло?

Дополнительный кредит: Какая заявленная выгода от следования этому совету?

По словам Грега Янга, эта идея возникла у Бертрана Мейера : разделение команд и запросов .

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

1: Eiffel: язык для разработки программного обеспечения, слайд 43-48

В управляемом доменом дизайне это похоже на разделение / разделение команд-запросов-чтений (CQRS), как его назвал Грег Янг.

Грег Янг взял идею CQS от Bertrand, чтобы назвать CQRS, как упомянуто Мартином Фаулером в этой статье CQRS

Преимущества

• Часть Read (Query) может быть изменена или изменена иначе, чем часть Write (команда). Разделение этих двух препятствовало бы тому, чтобы оба мешали друг другу, когда оптимизация / производительность являются ключевыми.

Прочитайте статью в ссылке Мартина Фаулера для получения дополнительной информации.

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

Любая разумно разработанная программа будет разбита на различные части, объединены и составлены различными способами. Чем сложнее рассуждать о том, что делает какая-то конкретная часть, тем сложнее будет убедиться, что ваша программа будет реагировать предсказуемым образом.

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

Если вы разложите его еще дальше, возвращаемое значение будет эффектом. Побочные эффекты - это эффект. Функция должна производить только 1 эффект (если это возможно), потому что чем больше входов и эффектов имеет функция, тем сложнее рассуждать о том, что она на самом деле делает.

Дополнительный кредит: Какова изначально заявленная выгода от следования этому совету?

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

bool FooWithSideEffect() {
    // do query
    // do side effect
    return resultOfQuery;
}

bool BarWithSideEffect() {
    // do query
    // do side effect
    return resultOfQuery;
}

void BadShortCircuitEvaluation()
{
    // the programmer's intent is to have side effects of both functions
    if (FooWithSideEffect() && BarWithSideEffect() ) {
        // do something
    }

    // in case FooWithSideEffect() returns true, 
    // then BarWithSideEffect() is not called at all
    // because of short-circuit evaluation
}