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&> a detail::linear_unusable_as<T, const T>;

A photographed presentation slide titled “Linear in C++” shows a dense C++ concept definition for determining whether a type can be used linearly, including move and reference restrictions. The joke is that the promised simple explanation of move-only design has turned into intimidating template metaprogramming, making advanced C++ look absurdly complicated. EN: A photographed presentation slide titled “Linear in C++” shows a dense C++ concept definition for determining whether a type can be used linearly, including move and reference restrictions. The joke is that the promised simple explanation of move-only design has turned into intimidating template metaprogramming, making advanced C++ look absurdly complicated.

• @ithueti / 847 2019-04-19