tuples 相关问题

考虑以下程序： #包括 #包括 #包括 #包括模板结构有序{}；模板考虑以下程序： #include <tuple> #include <vector> #include <iostream> #include <type_traits> template <class T> struct ordered {}; template <class... T> struct ordered<std::tuple<T...>> { using type = /* a reordered tuple */; }; template <class T> using ordered_t = typename ordered<T>::type; int main(int argc, char* argv[]) { using type1 = std::tuple<char, std::vector<int>, double>; using type2 = std::tuple<std::vector<int>, double, char>; std::cout << std::is_same_v<type1, type2> << "\n"; // 0 std::cout << std::is_same_v<ordered_t<type1>, ordered_t<type2>> << "\n"; // 1 return 0; } ordered 帮助器必须重新排序元组中的类型，这样两个具有相同类型但顺序不同的元组会产生相同的元组类型：可以是第一个、第二个，甚至另一个：它只需具有相同的大小和相同的元素，但顺序不同（无论这个顺序如何）。是否可以使用模板元编程技术在编译时执行此操作？困难的部分是想出一种订购类型的方法。按谓词对类型列表进行排序是一件苦差事，但也是可行的。我在这里只关注比较谓词。一种方法是创建一个类模板，为每种类型定义唯一的 id。这很有效，并且可以轻松编写比较器： template <typename T, typename U> constexpr bool cmp() { return unique_id_v<T> < unique_id_v<U>; } 但是提出这些唯一的 ID 是一个不一定可行的障碍。您是否将它们全部注册在一个文件中？这并不能很好地扩展。如果我们能够...获取所有类型的 names 作为编译时字符串，那就太好了。反思会给我们这个，然后这个问题就变得微不足道了。在那之前，我们可以做一些更肮脏的事情：使用__PRETTY_FUNCTION__。 gcc 和 clang 都可以在 constexpr 上下文中使用该宏，尽管它们对此字符串具有不同的格式。如果我们有这样的签名： template <typename T, typename U> constexpr bool cmp(); 然后 gcc 将 cmp<char, int> 报告为 "constexpr bool cmp() [with T = char; U = int]"，而 clang 将其报告为 "bool cmp() [T = char, U = int]"。它是不同的......但足够接近，我们可以使用相同的算法。基本上是：找出 T 和 U 在那里，然后进行正常的字符串字典比较： constexpr size_t cstrlen(const char* p) { size_t len = 0; while (*p) { ++len; ++p; } return len; } template <typename T, typename U> constexpr bool cmp() { const char* pf = __PRETTY_FUNCTION__; const char* a = pf + #ifdef __clang__ cstrlen("bool cmp() [T = ") #else cstrlen("constexpr bool cmp() [with T = ") #endif ; const char* b = a + 1; #ifdef __clang__ while (*b != ',') ++b; #else while (*b != ';') ++b; #endif size_t a_len = b - a; b += cstrlen("; U = "); const char* end = b + 1; while (*end != ']') ++end; size_t b_len = end - b; for (size_t i = 0; i < std::min(a_len, b_len); ++i) { if (a[i] != b[i]) return a[i] < b[i]; } return a_len < b_len; } 一些测试： static_assert(cmp<char, int>()); static_assert(!cmp<int, char>()); static_assert(!cmp<int, int>()); static_assert(!cmp<char, char>()); static_assert(cmp<int, std::vector<int>>()); 这不是最漂亮的实现，我不确定它是否受到标准的有意义认可，但它可以让您编写排序，而无需手动且仔细地注册所有类型。它在 clang 和 gcc 上编译。所以也许这已经足够好了。这是对 Barry 提出的方法的轻微修改，该方法适用于 Visual Studio。而不是创建存储函数名称的编译时字符串： template <typename T, typename U> constexpr bool cmp() 此方法直接比较 type_name< T>::name() 返回的两个类型的名称。当宏 __PRETTY_FUNCTION__ 返回的类型 T 和 U 的名称用逗号分隔时，Barry 的方法不起作用，因为当 T 或 U 是类或函数模板时，逗号也可以分隔模板参数。 // length of null-terminated string constexpr size_t cstrlen(const char* p) { size_t len = 0; while (*p) { ++len; ++p; } return len; } // constexpr string representing type name template<class T> struct type_name { static constexpr const char* name() { #if defined (_MSC_VER) return __FUNCSIG__; #else return __PRETTY_FUNCTION__; #endif }; }; // comparison of types based on type names template<class T1, class T2> constexpr bool less() { const char* A = type_name<T1>::name(); const char* B = type_name<T2>::name(); size_t a_len = cstrlen(A); size_t b_len = cstrlen(B); size_t ab_len = (a_len < b_len) ? a_len : b_len; for (size_t i = 0; i < ab_len; ++i) { if (A[i] != B[i]) return A[i] < B[i]; } return a_len < b_len; } // simple checks template<class ... Type> struct list; static_assert(less<list<int, void, list<void, int>>, list<int, void, list<void, void>>>()); static_assert(less<list<int, void, list<void, int>>, list<int, void, list<void, int>, int>>()); 此方法适用于VS。我不确定它是否适用于 Clang 或 GCC。 tl;dr：在编译时获取类型名称，并按该名称排序。在我看来，之前的答案有点特殊——至少在实施方面是这样。此时，我们有一个非常好的、支持多编译器的函数，用于获取类型名称作为编译时字符串和字符串视图。我在这里只引用它的签名： template <typename T> constexpr std::string_view type_name(); 这构成了从类型到编译时可比较值的单射映射。鉴于这些，您可以轻松实现类似“选择排序”的过程来获取每种类型的相对顺序。最后，您使用这些顺序组装一个新的元组。

c++ types tuples template-meta-programming c++17

回答 3 投票 0

如何让基本结构的每个“using”都是不同的类型？

我有一个元素元组，我想使用带有类型名称的 std::get 来访问它们：模板结构体某种类型 { std::tuple 参数； }; 使用 TypeOne =

c++ templates tuples

回答 1 投票 0

如何将元组收集到单独的变量中

def GiveMeTuple: Tuple2[String, String] = { Tuple2(“一”,“二”) } def testFive: 单位 = { val 一、二 = GiveMeTuple 打印（一）打印（二） () } 测试五生产：（一，t...

scala tuples

回答 2 投票 0

如何将包含[字符串]的元组转换为字典项

我有这个清单：地址表3 = [(1, ['21 南大街']), (2, ['1560 西街']), (3, ['1900 百老汇'])] 我想将其转换为字典，以地址作为键，以整数作为值。当我...

python list dictionary tuples

回答 1 投票 0

仅当第一个值为真时，才解压元组并将变量分配给第二个值

我有一个Python函数，它返回一个带有布尔值和字符串的元组 def check_something(): # ... 返回 bool_value, str_messsage 有没有办法可以使用这个函数的输出...

python tuples python-assignment-expression

回答 1 投票 0

为什么我没有得到更有用的“sum() 无法对字符串求和，请使用连接”消息，而是“+ 不支持的操作数类型”？

我现在正在学习Python。我创建了一个函数 def my_func(my_tuple): 返回总和（my_tuple）那我就做打印（my_func（（“a”，“b”）））我得到：类型错误：不支持的操作数 ty...

python string sum tuples

回答 1 投票 0

类型错误：sum() 无法对字符串求和

我现在正在学习Python。我创建了一个函数 def my_func(my_tuple): 返回总和（my_tuple）然后我就做打印（my_func（（“a”，“b”）））我得到类型错误：不支持的操作数类型...

python string sum tuples

回答 1 投票 0

有什么方法可以命名元组项目吗？

元组可以写成如下形式：自动 tp = std::tuple(); 我有很多它们，每个元素上面都有一个注释，命名每个元素代表什么，例如 //年龄，is_a...

c++ tuples

回答 1 投票 0

从列表或元组中显式选择项目

我有以下Python列表（也可以是元组）： myList = ['foo', 'bar', 'baz', 'quux'] 我可以说 >>> 我的列表[0:3] [‘富’、‘酒吧’、‘巴兹’] >>> myList[::2] ['富'，'巴兹'] &g...

python list select indexing tuples

回答 10 投票 0

`type <nameOfType> = Typeclass` 可以编译，但 `type <nameOfType> = (Typeclass, Typeclass)` 不能编译

我一直在阅读有关使用 haskell 类型重命名现有类型的内容，据我所知，该类型仅用于重命名具体类型，例如 Int、Integer、Char、D...

haskell tuples rename typeclass

回答 1 投票 0

字典中的元组列表，其中值是列表

我需要转换形式为 {1: ['a', 'b', 'c', 'd'], 2: ['e', 'f', 'g', 'h 的字典']} 为 [(1, 'a', 'b', 'c', 'd'), (2, 'e', 'f', 'g', 'h' 形式的元组列表)] 当我尝试这样做时：措辞...

python list dictionary tuples

回答 1 投票 0

`T extends readonlyunknown[] | 是什么意思？ TypeScript 的函数签名“Promise.all”中的 []`？

我注意到 TypeScript 的 lib.d.ts 中有一个有趣的（可能是黑客攻击的）部分：接口 PromiseConstructor { /* ... */ /** * 创建一个 Promise，当 al...

typescript generics tuples typescript-generics

回答 1 投票 0

如何将字符串列表转换为 Frozenset 并将其添加到 Frozenset 集中？

我有一个包含 n 个单词的变量，用空格分隔。 str.split() 返回这些单词的列表，然后使用 tuple() 将其转换为元组，最后将其转换为 freezeset 和...

python python-3.x set tuples

回答 1 投票 0

tuples 相关问题

最新问题