decltypestd :: get <0>tup到底是什么？

问题描述

我目前正在学习C ++中的元编程，并且试图查看元组的元素是否为指针。我尝试过这种方法：

int a = 3,b = 4;
auto tup = std::make_tuple(&a,b);
std::cout << std::is_pointer<decltype(std::get<0>(tup))>::value; //prints 0

我认为这很奇怪，所以我检查了clang推导的类型（我正在使用clang-10）

__tuple_element_t<0UL,tuple<int *,int>

它看起来像一些内部类型。

为什么我会得到这个奇怪的类型，而获取元组元素的实际类型的正确方法是什么？我只有一个使用中间auto变量的解决方案，但并不是最佳选择。

解决方法

std::is_same / std::is_same_v在TMP中非常有用，当查找与其他类型相同的类型时，与static_assert结合使用时，它是无价的。

使用以下代码，您可以看到std::get为元组的元素提供了引用（由cppreference's page on std::get确认），在这种情况下为int*&，其中{{1 }}是元素的类型。如果您使用它来初始化另一个变量，则会得到它的副本（因此，int*不再引用elem），就像int*定义了{ {1}}是int x = r;的副本，无论x是否是引用。

r

关于您的尝试，上面第二个r过去了，这说明了#include <type_traits> #include <tuple> int main() { int a = 3,b = 4; auto tup = std::make_tuple(&a,b); auto elem = std::get<0>(tup); static_assert(std::is_same_v<decltype(elem),int*>,""); static_assert(std::is_same_v<decltype(std::get<0>(tup)),int*&>,""); } 打印static_assert / std::is_pointer<decltype(std::get<0>(tup))>::value的原因：这是 reference 到false，而不是0。另一方面，以下做打印int* / int*：

true

看到我使用了1而不是std::cout << std::is_pointer_v<std::remove_reference_t<decltype(std::get<0>(tup))>>; 和is_pointer_v而不是is_pointer吗？带有is_same_v的对象是辅助元函数，可为您提供非is_same元函数的_v成员。 value的工作方式与_v类似，只是赋予了remove_reference_t成员。

,

与Enrico explained一样，您获得的类型只是一个参考。 除了他的回答，我想说您可以使用以下命令更轻松地获取元组元素的实际类型：

std::tuple_element_t<0,decltype(tup)>