just synthesize std::tuple_element from get? Jonathan Müller — @foonathanAdding structured bindings support to a custom tuple-like type template struct my_tuple { … }; Jonathan Müller Can’t we just synthesize std::tuple_element from get? CppCon 2024-09-18 1Adding structured bindings support to a custom tuple-like type template struct my_tuple { … }; template Tuple> requires instance_oftuple, std::remove_cvref_t<Tuple>> auto get(Tuple&& t) -> decltype(auto) { … } Jonathan Müller — @foonathan Can’t we just synthesize std::tuple_element from

Questions? ● More about pair and tuple [57–69] Questions? 2What do I mean by algebraic types? pair C++98. The original algebraic data type. tuple C++11. optional C++17. variant 256 × 2 = 512 possible values tuple 256 × 256 × 2 = 131072 possible valuesPair and tuple are product types To find the size of the domain of a pair or tuple type, we take the product of the sizes of its element types. Therefore pair and tuple are known as product types. 5 A A possible values pair A×B possible values tuple A×B×C×... possible valuesMemory layout of

TMP , // ... { } template constexpr auto get(tuple&&) noexcept -> typename tuple_elementtuple>::type&&; // Powered by TMP 5 / 58[Examples] Standard Template TMP , // ... { } template constexpr auto get(tuple&&) noexcept -> typename tuple_elementtuple>::type&&; // Powered by TMP template constexpr auto get(tuple&&) noexcept -> typename tuple_elementtuple>::type&&; // Powered by TMP template

0 码力 | 130 页 | 5.79 MB | 5 月前

3

annotations and annotate! functions.Chapter 9 Functions In Julia, a function is an object that maps a tuple of argument values to a return value. Julia functions are not pure mathematical functions, because 79 9.7 Tuples Julia has a built-in data structure called a tuple that is closely related to function arguments and return values. A tuple is a fixed-length container that can hold any values, but cannot x[2] "hello" Notice that a length-1 tuple must be written with a comma, (1,), since (1) would just be a parenthesized value. () represents the empty (length-0) tuple. 9.8 Named Tuples The components

annotations and annotate! functions.Chapter 9 Functions In Julia, a function is an object that maps a tuple of argument values to a return value. Julia functions are not pure mathematical functions, because 79 9.7 Tuples Julia has a built-in data structure called a tuple that is closely related to function arguments and return values. A tuple is a fixed-length container that can hold any values, but cannot x[2] "hello" Notice that a length-1 tuple must be written with a comma, (1,), since (1) would just be a parenthesized value. () represents the empty (length-0) tuple. 9.8 Named Tuples The components

annotations and annotate! functions.Chapter 9 Functions In Julia, a function is an object that maps a tuple of argument values to a return value. Julia functions are not pure mathematical functions, because 79 9.7 Tuples Julia has a built-in data structure called a tuple that is closely related to function arguments and return values. A tuple is a fixed-length container that can hold any values, but cannot x[2] "hello" Notice that a length-1 tuple must be written with a comma, (1,), since (1) would just be a parenthesized value. () represents the empty (length-0) tuple. 9.8 Named Tuples The components

backslashes appear before a quote.Chapter 8 Functions In Julia, a function is an object that maps a tuple of argument values to a return value. Julia functions are not pure mathematical functions, because 74 8.7 Tuples Julia has a built-in data structure called a tuple that is closely related to function arguments and return values. A tuple is a fixed-length container that can hold any values, but cannot x[2] "hello" Notice that a length-1 tuple must be written with a comma, (1,), since (1) would just be a parenthesized value. () represents the empty (length-0) tuple. 8.8 Named Tuples The components

backslashes appear before a quote.Chapter 8 Functions In Julia, a function is an object that maps a tuple of argument values to a return value. Julia functions are not pure mathematical functions, because 74 8.7 Tuples Julia has a built-in data structure called a tuple that is closely related to function arguments and return values. A tuple is a fixed-length container that can hold any values, but cannot x[2] "hello" Notice that a length-1 tuple must be written with a comma, (1,), since (1) would just be a parenthesized value. () represents the empty (length-0) tuple. 8.8 Named Tuples The components

annotations and annotate! functions.Chapter 9 Functions In Julia, a function is an object that maps a tuple of argument values to a return value. Julia functions are not pure mathematical functions, because 79 9.7 Tuples Julia has a built-in data structure called a tuple that is closely related to function arguments and return values. A tuple is a fixed-length container that can hold any values, but cannot x[2] "hello" Notice that a length-1 tuple must be written with a comma, (1,), since (1) would just be a parenthesized value. () represents the empty (length-0) tuple. 9.8 Named Tuples The components

annotations and annotate! functions.Chapter 9 Functions In Julia, a function is an object that maps a tuple of argument values to a return value. Julia functions are not pure mathematical functions, because 79 9.7 Tuples Julia has a built-in data structure called a tuple that is closely related to function arguments and return values. A tuple is a fixed-length container that can hold any values, but cannot x[2] "hello" Notice that a length-1 tuple must be written with a comma, (1,), since (1) would just be a parenthesized value. () represents the empty (length-0) tuple. 9.8 Named Tuples The components