Add Py_hash_t Py_HashDouble(double, PyObject *obj) function #10

API: Py_hash_t PyHash_Double(double value, PyObject *obj)

• If value is a finite number, is inf or -inf, return the hash of value. Similar to PyObject_Hash(PyFloat_FromDouble(value)).
• If value is not-a-number (NaN) and obj is not NULL, return Py_HashPointer(obj) -- other Python implementation can use a different implementation for this case.
• Otherwise, if value is not-a-number (NaN) and obj is NULL, return PyHASH_NAN (0).

Pull request: python/cpython#112095

Differences with the existing private API Py_hash_t _Py_HashDouble(PyObject *inst, double v):

• Exchange parameters order: in the proposed public API, the most important argument, the double parameter, comes first.
• PyObject* pointer can be NULL in the proposed public API.

Accepting NULL is a trade off with alternative APIs which have no PyObject* argument, proposed previously:

• int Py_HashDouble(double value, Py_hash_t *result)
• Py_hash_t Py_HashDouble(double value)

The PyObject* parameter avoids asking the caller to implement their own code for the not-a-number case using Py_HashPointer(), PyObject_GenericHash(), or something else. Python 3.10 changed hash(float) to return hash(id(obj)) if the float is not-a-number. Writing such code working on all Python implementation can be tricky. Proposed Py_hash_t PyHash_Double(double value, PyObject *obj) API hides the implementation details, so using this proposed API is more portable.

Main user of the existing private _Py_HashDouble() function: numpy, link to code.

#if PY_VERSION_HEX > 0x030a00a6
#define Npy_HashDouble _Py_HashDouble
#else
static inline Py_hash_t
Npy_HashDouble(PyObject *NPY_UNUSED(identity), double val)
{
    return _Py_HashDouble(val);
}
#endif

static npy_hash_t
@lname@_arrtype_hash(PyObject *obj)
{
    return Npy_HashDouble(obj, (double)PyArrayScalar_VAL(obj, @name@));
}

More background on the Py_HashDouble() API in the previous issue: #2

Alternative: give up trying to add a public C API and comes back to Python 3.12 status quo with the private API Py_hash_t _Py_HashDouble(PyObject *inst, double v).

Votes:

• @gvanrossum
• @encukou
• @vstinner
• @zooba
• @iritkatriel