Здравствуйте, serg_joker, Вы писали:

_>вот ты бы хотел, чтобы условие разворачивалось в (!(s1 < s2 ) || (s1 == s2)) с удвоением сложности?
Удобно когда есть дефолты. Т.е. для типичной структуры с набором полей это не требуется. А там где есть экономия — там делаем более оптимальные имплементации.
Кстати, этот самый <=> как раз это и делает, как я понял.