Ich könnte das ja prinzipiell so nachholen:

namespace std {
  template <> struct make_unsigned<__int128_t> {
    typedef __uint128_t type;
  };

  template <> struct make_signed<__uint128_t> {
    typedef __int128_t type;
  };
}

Kann ich es irgendwie so hinbekommen, dass diese Spezialisationen nur benutzt wird, falls es sie nicht schon gibt (z.B. durch Update der Standardbibliothek) und es den Typ __int128_t auch tatsächlich gibt?

Ich würde den Kram in einen eigenen Namespace tun und den benutzen:

namespace stdaddon{ //geht nicht mit std
	template<class T>
	struct make_unsigned{
		using type = typename std::make_unsigned<T>::type;
	};
	template<>
	struct make_unsigned<__int128_t>{
		using type = __uint128_t;
	};
}

int main(){
	stdaddon::make_unsigned<__int128_t>::type i;
	std::cout << typeid(i).name();
}

Sollte es tatsächlich ein Update geben kannst du mit wenig Aufwand direkt die Standardbibliothek benutzen:

namespace stdaddon{
	using namespace std; //einfache globale Änderung
}

int main(){ //clientcode gleich
	stdaddon::make_unsigned<__int128_t>::type i;
	std::cout << typeid(i).name();
}

Es ist wohl über Bande möglich zu testen, ob es eine Klasse gibt. Damit kannst du bestimmt testen, ob es std::make_unsigned<__int128_t> gibt und andernfallst definieren, vorausgesetzt es gibt __int128_t.

Dass man zumindest die Existenz von Klassen überprüfen kann, ist schon mal sehr nützlich, da sowieso fast alles eine Klasse ist (und offenbar ist das Makro __SIZEOF_INT128__ definiert, wenn __int128_t verfügbar ist).

Danke, ist damit gelöst.