c++ - 使用 [] 运算符从指向 std::array 的指针获取类型？

Question

我的代码中有一个与 std::array<T1, N> 相当的类和一个功能:

template <class T2>
inline void f(T2* const myarray)
{
    std::pair<double, /*SOMETHING*/> x;
}

假设T2*是指向我的类(class)的指针，相当于 std::array<T1, N> , 我想知道我必须写什么而不是 /*SOMETHING*/得到T1来自 [] myarray 的运营商？

注意:我不要求更聪明的方法来从指向 std::array 的指针获取类型.

Answer 1

这对我有用:

#include <type_traits>
#include <array>
#include <utility>

template <class T2>
inline void f(T2* const myarray)
{
    std::pair<double, typename T2::value_type> x;
    static_assert(std::is_same<decltype(x.second), int>::value, "");
}

int
main()
{
    std::array<int, 2> a;
    f(&a);
}

如果您的“类数组”类模板没有value_type，则以下内容也应该有效:

std::pair<double, typename std::remove_reference<decltype((*myarray)[0])>::type> x;

但仅供引用，通常不使用 const 限定的参数，在 C++11 中，如果您恰好返回参数(如中)，甚至会被悲观化:

return myarray;

虽然在这种情况下 myarray 是一个指针，并且在这种情况下它是 const 并不重要。

如果你的意思是:

inline void f(T2 const* myarray)

(指向 const T2 的指针，而不是指向 T2 的 const 指针)

那么上面的配方需要稍微调整一下:

std::pair<double, typename std::remove_const<
                                   typename std::remove_reference<
                                      decltype((*myarray)[0])
                                   >::type
                                >::type> x;

如果您的“类数组”类模板确实有 value_type，那么第一个建议:

std::pair<double, typename T2::value_type> x;

无论 const 在哪里都有效。