Please open Telegram to view this post
VIEW IN TELEGRAM
😁11😭5❤3👀1
Forwarded from Видеоуроки IT
Media is too big
VIEW IN TELEGRAM
Контрактное программирование — эффективный подход к написанию более безопасных и корректных программ. Он был успешно реализован в таких языках программирования, как Eiffel и Ada. В стандарте С++ контрактное программирование имеет долгую и сложную историю.
С тех пор как попытка добавить контракты в стандарт C++20 потерпела неудачу, SG21 — рабочая группа для стандартизации контрактов в комитете C++ — активно разрабатывает новую версию этой фичи. Сегодня эта версия контрактов уже практически полнофункциональна и с большой вероятностью будет включена в следующий стандарт C++26.
В этом докладе мы рассмотрели текущий дизайн контрактов для C++26. Обсудили разновидности контрактов (preconditions, postconditions, assertions), возможные режимы проверки, обработку нарушений и многое другое. Рассмотрели, чем текущий дизайн превосходит существующие реализации на макросах и как помогает повысить безопасность и корректность кодовой базы.
Please open Telegram to view this post
VIEW IN TELEGRAM
❤4
Please open Telegram to view this post
VIEW IN TELEGRAM
1😁17❤3💯1
Please open Telegram to view this post
VIEW IN TELEGRAM
😁5❤4🔥2
This media is not supported in your browser
VIEW IN TELEGRAM
Павел Дуров внимательно следил за боем на UFC 321 в Абу-Даби, где россиянин Умар Нурмагомедов победил Марио Баутисту.
Умар является двоюродным братом Хабиба Нурмагомедова, с которым Дуров встретился на площадке в рамках мероприятия.
Please open Telegram to view this post
VIEW IN TELEGRAM
❤1😱1😎1
Please open Telegram to view this post
VIEW IN TELEGRAM
🤣5🔥2😎1
