проверку аргументов функции в compile time, вроде бы, возможно мне это приснилось, но помню что, можно в реализации функции ниже её сигнатуры написать что - то вроде такого: [[ x < y ]], и если условие не работат то выдаётся static_assert. Надеюсь мне это не приснилось, и это есть в 17 стандарте, а не будующая реализация?
контракты ждем в C++23
это контракты, которые даже были в черновике 20 стандарта, но потом их убрали
Проверку на что?
Обсуждают сегодня