Cantor's diagonalization construction, on a certain view, furnishes functions $$d_X:{\rm Injections}(X,P(X))\rightarrow P(X)$$ that satisfy $\forall X\forall i\ \ d_X(i)\not\in i(X)$

In ZF, can one prove the existence of such functions with the added requirement that $d_X(i)$ actually depends only on the image $i(X)$?