Linear Types in C++

Linear in C++ template <typename T> concept Linear = std::is_nothrow_destructible_v<T> and detail::linear_usable_as<T, T> and detail::linear_usable_as<T, T&&> and detail::linear_unusable_as<T, T&> and detail::linear_unusable_as<T, const T&> and detail::linear_unusable_as<T, const T>; C++ Russia 2019

A presentation slide titled “Linear in C++” shows a dense C++ concept definition describing which forms of a type are usable or unusable. The joke is that the promised elegant explanation of move-only or linear types becomes an intimidating wall of advanced template code, making the topic feel absurdly complicated. EN: A presentation slide titled “Linear in C++” shows a dense C++ concept definition describing which forms of a type are usable or unusable. The joke is that the promised elegant explanation of move-only or linear types becomes an intimidating wall of advanced template code, making the topic feel absurdly complicated.

• @ithueti / 847 2019-04-19