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

Answer 1

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

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