std::tuple_element 和引用

Question

我研究 std::tuple。

让我们有：

struct test_struct{};

我写

std::cout << typeid(std::tuple_element_t<0, std::tuple<struct test_struct &>>).name();

我期待的类型

struct test_struct &

但我收到了：

struct test_struct

如何提取类型 struct test_struct &（最好使用 std11）？

谢谢。

Answer 1

由于typeid 运算符对引用类型工作，

§5.2.8/4-5
如果 type 是引用类型，则结果引用代表被引用类型的 std::type_info 对象。

在所有情况下，typeid 都会忽略 cv 限定符（即typeid(T)==typeid(const T)）

您可以编写一些包装器来找出引用类型的名称或带有 cv 限定符的类型。

template<typename T>
struct typeid_hlp
{
    static std::string name() { return typeid(T).name(); }
};

template<typename T>
struct typeid_hlp<T&>
{
    static std::string name() { return typeid_hlp<T>::name() + std::string(" &"); }
};

template<typename T>
struct typeid_hlp<T&&>
{
    static std::string name() { return typeid_hlp<T>::name() + std::string(" &&"); }
};

template<typename T>
struct typeid_hlp<const T>
{
    static std::string name() { return std::string("const ") + typeid_hlp<T>::name(); }
};

template<typename T>
struct typeid_hlp<volatile T>
{
    static std::string name() { return std::string("volatile ") + typeid_hlp<T>::name(); }
};

并像使用它

int main()
{
    std::cout << typeid_hlp<int>::name() << std::endl; // int
    std::cout << typeid_hlp<int&>::name() << std::endl; // int &
    std::cout << typeid_hlp<const int>::name() << std::endl; // const int
    std::cout << typeid_hlp<volatile const int * const &>::name() << std::endl; // const int const volatile * __ptr64 &
}