Концепция неопределённого поведения, Роман Русяев

Доклад продемонстрирует мотивацию введения неопределённого поведения в языках С и С++. На конкретных примерах разберём, зачем то или иное поведение регламентировано стандартом языка как неопределённое. Как известно, одной из главных мотиваций неопределённого поведения является эффективная кодогенерация компилятором, которая включает выполнение цикловых оптимизаций, использование информации о расположении обьектов в памяти и т. д. Будет продемонстрирована необходимость введения правил алиасинга типов и последствия их нарушения программистом, показаны правила переполнения знаковых и беззнаковых индуктивных переменных в цикле, sequence points, порядок выполнения вычислений и многое другое. После доклада слушатели получат фундаментальное понимание необходимости понятия неопределённого поведения.