Por que a documentação em alguns idiomas diz "equivalente a" em vez de "é"?

Por que a documentação em alguns idiomas diz "equivalente a" em vez de "é"?

Por exemplo, os documentos do Python dizem

itertools.chain(*iterables)

...

Equivalente a:

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

Ou esta referência C ++ em find_if:

O comportamento deste modelo de função é equivalente a:

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;
}

Se esse não é o código real, eles não podem publicá-lo? E se é o código real, por que eles têm que dizer que é "equivalente" ao invés de simplesmente "é"?

Porque os escritores padrão não querem realmente afirmar uma implementação. Eles querem definir o que faz , mas não necessariamente como faz. Assim, por exemplo, se você olhar para a versão GNU C ++ defind_if , verá que a implementação é um pouco diferente do que você fornece, que é baseado no padrão 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;
}

Isso é funcionalmente equivalente ao que o padrão possui, mas não exatamente o mesmo. Isso fornece flexibilidade aos escritores do compilador. Pode haver uma maneira melhor de fazer isso para uma plataforma específica. O implementador pode querer usar um estilo de codificação diferente.

Isso é particularmente verdadeiro para linguagens de script como python, pois o implementador pode decidir implementar em uma linguagem completamente diferente por motivos de desempenho. Alguém implementando python pode, por exemplo, escrever itertools.chain(*iterables)em C ++. Isso é perfeitamente correto se o padrão diz "equivalente a", desde que o código faça o mesmo que o python fornecido. Se o padrão dito "é", os implementadores seriam obrigados a implementar nesse idioma ou a não atender ao padrão.

Em suma:

1. Porque eles não querem impedir que uma implementação escreva um código melhor que o padrão fornecido
2. Como eles não querem impedir que uma implementação use um idioma totalmente diferente, para melhorar o desempenho