比较 std::tuple_element 和 decltype(std::get) 时，std::is_same 返回 false

Question

我找不到类似的问题...

我认为有两种“简单”的方法可以在编译时获取元组的第 I^th 元素的类型（如果我错了，请纠正我）：

• using TI1 = typename std::tuple_element<I, Tuple>::type;
• using TI2 = decltype(std::get<I>(Tuple{}));

事实上，如果我们通过typeid(...).name() 打印这些类型中的每一个，它们返回相同的值。

但是...std::is_same 在比较这些时返回 false：

live example

这是预期的吗？为什么？

using Tuple = std::tuple<float,double>;
constexpr size_t I = 0;
static_assert(std::is_same<typename std::tuple_element<I, Tuple>::type,
                           decltype(std::get<I>(Tuple{}))>::value, "different types" );

Answer 1

std::get(std::tuple) 返回引用；这意味着在其上使用 decltype 您将获得一个引用类型。

a) 如果表达式的值类别是 xvalue，则 decltype 产生 T&&;
b) 如果表达式的值类别是左值，则 decltype 产生 T&;
c) 如果表达式的值类别是prvalue，则decltype 产生T。

对于这种情况，std::get<I>(Tuple{}) 的返回类型是一个右值引用，那么std::get<I>(Tuple{}) 是一个xvalue expression，

函数调用或重载的运算符表达式，其返回类型为对对象的右值引用，如std::move(x)；

那么decltype(std::get<I>(Tuple{}))将是T&&，即float&&；这与typename std::tuple_element<I, Tuple>::type 不同（即float）。

使用std::remove_reference 你可以获得你想要的。例如

static_assert(std::is_same<typename std::tuple_element<I, Tuple>::type,
                           std::remove_reference_t<decltype(std::get<I>(Tuple{}))>>::value, "different types" );

LIVE

以及为什么typeid 给出相同的结果，

（强调我的）

1) 引用表示类型类型的std::type_info 对象。 如果 type 是引用类型，则结果引用代表引用类型的 std::type_info 对象。

这意味着typeid(float&&) == typeid(float) 始终是true。