¿Se garantiza que los argumentos de las operaciones unarias y binarias sean iguales a los datos originales si se pasan por referencia?

Como sabes, podemos proporcionar UnaryOperation y BinaryOperation para muchas funciones de STL. Los argumentos de estos métodos pueden ser definidos por valor, pero en muchos casos, los pasamos por referencia de la siguiente manera:

Ret fun(const Type &a); // UnaryOperation
Ret fun(const Type1 &a, const Type2 &b); // BinaryOperation

Ahora me pregunto si se garantiza que estos argumentos de devolución se refieran al mismo elemento que los datos principales por el estándar o no. Por ejemplo, ¿es válido el siguiente código según el estándar?

<h1>include <iostream></h1>

<h1>include <vector></h1>

<h1>include <execution></h1>

<h1>include <algorithm></h1>

<p>int main() {
    std::vector<int> arr(10);
    std::transform(std::execution::par, arr.begin(), arr.end(), arr.begin(),
                   [&arr](const int& v) -> int { return (&v - &arr[0]); });
    for (const auto& v: arr)
        std::cout << v << " ";
}

Porque (&v - &arr[0]) será válido solo si v se refiere a los elementos originales en arr.