Android API 24 runtime still lacks `if_indextoname` and `if_nametoindex`

[FilipeMarch]

Problem

Trio still fails to import on an Android CPython 3.13 runtime because socket.if_indextoname and socket.if_nametoindex are not available. The failure is:

ImportError: cannot import name 'if_indextoname' from 'socket'

The failing code is currently:

if sys.implementation.name == "cpython":
    from socket import (
        if_indextoname as if_indextoname,
        if_nametoindex as if_nametoindex,
    )

Context

This appears related to #2915 and PR #2916.

PR #2916 added ImportError suppression for if_nameindex, but the imports for if_indextoname and if_nametoindex remained unprotected, because they were believed to be available on Android. However, they are missing in the CPython Android runtime used by our application.

Environment:

• Python: 3.13
• Architecture: Android arm64
• Android min API: 24
• Android target API: 36
• Trio: 0.33.0 and 0.34.0

A downstream workaround is:

  if sys.implementation.name == "cpython":
      with suppress(ImportError):
          from socket import (
              if_indextoname as if_indextoname,
              if_nametoindex as if_nametoindex,
          )

Expected behavior

Trio should either:

1. suppress these optional imports as well; or
2. explicitly document and enforce the Android runtime/API requirements needed for these functions to exist.

Since the functions are not needed by our application or by the Trio server used for TCP communication, suppressing the import appears to be the most compatible behavior.

[A5rocks]

What thing packages Python for Android? I'd like to do some digging to see why it doesn't expose these!

(I mean, the docs say these things are available on Unix!)

All of these functions should be exposed from Android as of 24, so I don't get why you get that exception.

[CoolCat467]

If these are supposed to be a part of unix, would this not be an issue with the android python runtime? Would love to hear more about what runtime in particular you are using and very curious to read more about android python development.