Чому в документації на деяких мовах написано "еквівалентно", а не "є"?

Чому в документації на деяких мовах написано "еквівалентно", а не "є"?

Наприклад, кажуть Документи Python

itertools.chain(*iterables)

...

Еквівалентно :

def chain(*iterables):
    # chain('ABC', 'DEF') --> A B C D E F
    for it in iterables:
        for element in it:
            yield element

Або ця посилання C ++ на find_if:

Поведінка цього шаблону функції еквівалентна :

template<class InputIterator, class UnaryPredicate>
  InputIterator find_if (InputIterator first, InputIterator last, UnaryPredicate pred)
{
  while (first!=last) {
    if (pred(*first)) return first;
    ++first;
  }
  return last;
}

Якщо це не фактичний код, чи не можуть вони розмістити його? І якщо це фактичний код, чому вони повинні говорити, що це "Еквівалент", а не просто "є"?

Тому що стандартні автори не хочуть насправді стверджувати реалізацію. Вони хочуть визначити, що це робить , але не обов’язково, як це робить. Так, наприклад, якщо ви подивитеся на версію GNU C ++find_if , ви побачите, що реалізація трохи відрізняється від тієї, яку ви даєте, яка заснована на стандарті C ++:

template<typename _InputIterator, typename _Predicate>
inline _InputIterator
__find_if(_InputIterator __first, _InputIterator __last,
    _Predicate __pred, input_iterator_tag)
{
    while (__first != __last && !bool(__pred(*__first)))
     ++__first;
       return __first;
}

Це функціонально еквівалентно тому, що є у стандарту, але не зовсім однакове. Це дає гнучкість письменникам-укладачам. Можливо, є кращий спосіб зробити це для певної платформи. Реалізатор, можливо, захоче використовувати інший стиль кодування.

Особливо це стосується сценаріїв таких мов, як python, оскільки реалізатор може вирішити реалізувати зовсім іншою мовою з міркувань продуктивності. Хтось, хто реалізує python, може, наприклад, писати itertools.chain(*iterables)на C ++. Це цілком чудово, якщо стандарт каже "еквівалент", якщо код робить те саме, що і наданий пітон. Якщо замість стандарту сказано "є", від виконавців вимагається або реалізувати цією мовою, або не відповідати стандарту.

Підсумовуючи:

1. Оскільки вони не хочуть перешкоджати реалізації програми писати кращий код, ніж наданий стандарт
2. Оскільки вони не хочуть перешкоджати застосуванню використовувати зовсім іншу мову для підвищення продуктивності