Может ли чистая функция вызывать внешний метод?
Например:
class Dog {
function jump(name) {
return "a dog named " + name + " jumped!"
}
function jumpTwice(names) {
var result = [];
for (var i = 0; i < 2; i++) {
result.push(jump(names[i]));
}
return result.join("\n");
}
}
можно ли jumpTwice() считать pure function?
Чистая функция f может вызывать любую другую функцию/метод g0...gn. Но g0...gn также должен быть чистым.
Как только вы получаете чистую функцию f и вызываете нечистую функцию g из f, тогда f уже не является чистой.
Да, это чисто. Он не изменяет какое-либо глобальное состояние и не дает разных результатов для одного и того же ввода.
В конкретном случае вы даете, да. Но то, что у вас есть, это метод, а методы требуют особой осторожности.
Чистые функции всегда дают один и тот же результат для любого заданного ввода, независимо от текущего состояния программы. Методы можно рассматривать как функции, которым передается их объект как скрытый параметр. Чтобы быть чистым, метод не должен обращаться к какому-либо неявному состоянию (и они не могут вызывать любые другие методы/функции, которые восприимчивы к неявному состоянию). Это также означает отказ от использования каких-либо полей объектов, содержащих неявное состояние. Мы надеемся, что обсуждение комментариев дает пример того, как судить об этом контексте.
Недостаточно избегать изменяемых полей — значение в поле неизменяемых полей должно быть известным/предсказуемым. Например, если объект содержит неизменяемое приватное поле, которому при создании объекта присваивается случайное число, любой метод, использующий это значение для вычисления вывода, будет нечистым.
С другой стороны, если в вашем классе Dog было неизменяемое поле имени, которое было задано при создании объекта, то методы, использующие это поле, можно считать чистыми (если только что-то еще не дисквалифицирует их).
ИЗМЕНИТЬ
Было бы полезно сказать, что «побочный эффект» и «чистота» зависят от контекста (как обсуждалось в комментариях). Это то, на что я не совсем четко намекал, используя слова «познаваемый» и «предсказуемый». Обсуждение комментариев иллюстрирует важность знания контекста.
