Идеально все равно не получится. Не хранить же реально таблицу всех прошедших добавочных секунд.
ИМХО, замена 23:59:60 на 23:59:59 самый простой и правильный вариант.

на этот случай у нас есть такие часы
https://en.cppreference.com/w/cpp/chrono
> gps_clock

Хз как оно конвертит в utc, ведь заранее неизвестно когда именно будет добавлена секунда.

тащит таблицу добавочных секунд из системы?

именно так всё программное время и работает

Хз как оно работает. Допустим если в C++ для std::utc_clock посчитать разницу между 2017-01-01T00:00:00 и 2016-12-31T23:59:59, то оно выдаст 2 секунды?

если там была лип секунда, то должен так

Да там есть такая секунда.
D не умеет:

auto t1 = SysTime.fromISOExtString("2016-12-31T23:59:59Z");
auto t2 = SysTime.fromISOExtString("2017-01-01T00:00:00Z");
writeln(t2 - t1);

1 sec

сек, тоже наберу

Elixir тоже выдает 1 секунду. :)

в плюсах пока не смог набросать, в студии след апдейт эти часы добавляет, а в гцц вроде нет парсинга

В erlang оговаривают, что поддерживают POSIX time, который не совсем UTC

Разница между ними:
When an UTC leap second is inserted, POSIX time either stops for a second, or repeats the last second. If an UTC leap second would be deleted (which has not happened yet), POSIX time would make a one second leap forward.

Блин вы вот секунды тут выверяете - а в большом бизнесе (вроде торговли акциями) проблемы посерьёзнее

Nasdaq and some other market operators record stock prices in a compact computer format that uses 32 bits, or ones and zeros," The Journal explained. "The biggest number possible is two to the 32nd power minus one, or 4,294,967,295. Stock prices are frequently stored using four decimal places, so the highest possible price is $429,496.7295

Акции Баффета не могут нормально обрабатывать, потому что они стоят больше чем максимальное число, которое могут хранить системы :-)

Кек

Они бы ещё в байт засунули это, уже давно 64-бит и больше есть.

429 496 долларов за одну акцию, ну как бы очень много

У гугол 2341

Много не много, если выбрать подходящий тип данных, то поместится

Там вон написано, что они 32-битный тип используют, который для таких целей уже давно устарел