c++ - 如何判断指针是否是指向数组的指针？

Question

考虑这个

template <class T>
inline constexpr bool found_to_be_array (T* specimen)
{
    if constexpr (std::is_array_v<T>) {
        return true;
    }
    else {
        return false;
    };
}

问题是在什么情况下这会产生可靠的结果？

澄清：我不能改变这个功能的足迹。我没有答案，所以让我在这里发布我的发现。考虑一下：

int ia[]{ 1,2,3,4,5,6,7,8,9,0 };
int iam[3][3][3][3][3]{};

// returns false
auto is_array_1 = found_to_be_array(ia);

// returns true
auto is_array_2 = found_to_be_array(iam);

我仍在研究这个，但对于多维数组，found_to_be_array有效。

https://godbolt.org/g/ij73Z4

标签： c++arrayspointersc++17

Answer 1

不，这种方法行不通。参数specimen已经衰减为指针类型（或者它甚至可能一直是指针）；使用的元编程技术std::is_array不会以某种方式追溯到调用者。

此外，您正在测试（无意？）T而不是T*- 但更改为后者将不起作用。