C++ 38. std::bind, std::invoke, SFINAE

• В видео обсуждается стд байт - функция из стандартной библиотеки, которая позволяет превратить функцию с двумя аргументами в функцию с одним аргументом путем фиксации одного из аргументов.  

• Синтаксис использования стд байт: стд байт, функция, аргументы, стд плейс холдеры.  

• Демонстрация использования стд байт на примере функции сравнения с нулем.  

• Стд байт возвращает функцию с одним аргументом, которая вызывает функцию с двумя аргументами с фиксированным первым аргументом.  

• Стд инвок - функция из стандартной библиотеки, которая вызывает функцию.  

• Демонстрация использования стд инвок на примере функции сравнения с нулем.  

• Обсуждение использования инвоука для вызова функциональных объектов с разными типами аргументов.  

• Упоминание о том, что инвоук работает нормально и в случае указателей на методы.  

• Демонстрация реализации инвоука в стандартной библиотеке C++.  

• Упоминание о том, что инвоук резалт позволяет избавиться от проблем с разными синтаксисами вызова.  

• Обсуждение важности темы шаблонного метапрограммирования и идема из финае для понимания работы шаблонных функций.  

• Завершение темы и переход к следующей теме курса.  

• Обсуждение принципа "финое" (финальное подстановка) в шаблонах C++.  

• Пример с двумя шаблонными функциями, которые отличаются сигнатурой, но имеют одинаковое название.  

• Если компилятор сталкивается с проблемой при инстанцировании объявления функции, он выбирает другую версию функции.  

• Если проблема возникает в момент инстанцирования тела функции, это приводит к ошибке компиляции.  

• Принцип финое гласит, что неудачная подстановка не приводит к ошибке компиляции, если есть другая версия функции.  

• Компилятор видит, что тип не может быть подставлен, и функция не может быть выбрана с таким типом.  

• Если у типа есть метод с нужными аргументами, то функция попадает в другую.  

• Метафункция проверяет наличие метода с нужными аргументами у данного типа.  

• Функция принимает тип и аргументы метода, возвращает true или false.  

• Возвращаемый тип функции не соответствует ожидаемому.  

• Компилятор не может оценить корректность выражения.  

• Оператор запятая позволяет вычислить левый аргумент перед правым.  

• Использование слова "контекспор" позволяет инициализировать статическую константу значением функции.  

• В отсутствие "контекспор", можно использовать разные возвращаемые типы для функций.  

• Автор обсуждает проблемы с реализацией метода контракта, который принимает один аргумент типа int.  

• Он объясняет, что метод должен быть статическим, чтобы его можно было вызвать без объекта типа хзмет контракт.  

• Однако, автор также замечает, что его реализация работает правильно только в случае, когда метод контракта был, но не работает в случае, когда его не было.  

• Автор предлагает обсудить этот вопрос на перерыве, чтобы зрители могли подумать над проблемой и предложить свои идеи.  

• Он подчеркивает, что это тонкий момент, который требует понимания и обсуждения.