Рассмотрим следующий сценарий:
template<typename T>struct Base{ // Есть конструктор по умолчанию Base() = default; // Некопируемый Base(Base const &) = delete;};template<typename T>struct Derived : Base<T>{ Derived() = default; Derived(Derived const& d) : Base<T>(d) {}};// Это assertion выполняется?static_assert( std::is_copy_constructible_v<Derived<int>>);
Почему выполняется это assertion? Очевидно, что скопировать Derived<int> нельзя, ведь при этом мы попытаемся скопировать некопируемый Base<int>. И в самом деле, если попробовать скопировать его, то мы получим ошибку.
-векторы, имеют геометрическую интерпретацию, которая позволяет рассматривать их как модели линейных пространств. Так строится афинная геометрическая алгебра с операциями пересечения и соединения. Мы рассмотрим двойственные алгебры и порассуждаем над ориентацией и мерой подпространств, соответствующих мультивекторам. Изучим свойства внешнего произведения и его геометрическую интерпретацию, коснёмся принципа двойственности и введём новые операции: два дополнения и регрессивное произведение.
