是否可以将动态分配的数组传递给需要数组引用的函数？

Question

提前说明：我知道按照我的要求去做不是一个好主意。这只是出于病态的语言好奇心，而不是实际使用中的问题。我在这里应用的规则是完全任意的。

假设我们有一个完全定义如下的函数。不得将其更改为除此之外的任何内容，不允许模板或函数重载。这个函数的实现也不能改变（并且可以被视为未知）。但是我们知道该参数被用作输出参数。

void my_func(int (&arr)[10]);

在另一个函数中，我们动态分配一个数组。这个分配也不能改变，我们不允许在栈上分配。也不允许进一步分配。

int* my_arr = new int[10];

是否有可能以某种方式调用my_func 并将其传递给my_arr？换句话说，是否有可能欺骗类型系统将my_arr 视为数组而不是指针？

朴素的铸件不会成功，它们都会导致编译错误：

my_func((int[10])my_arr);
my_func(static_cast<int[10]>(my_arr));
my_func(reinterpret_cast<int[10]>(my_arr));

另一个注意事项：我想欺骗类型系统。我不想从堆栈数组等复制数据。为什么？再次：病态的好奇心。

Answer 1

并不是说我会推荐做这种事情......

#include <iostream>

void my_func(int (&arr)[10])
{
    std::cout << "Address: " << &arr << std::endl;
    for (int i=0; i<10; ++i)
        std::cout << arr[i] << std::endl;
}

int main()
{
    int *ptr=new int[10];

    for (int i=0; i<10; ++i)
        ptr[i]=i;
    std::cout << "Pointer: " << ptr << std::endl;
    my_func(*( int (*)[10])ptr);
    return 0;
}

除了 C 风格的演员表，reinterpret_cast 也应该可以工作。诀窍是首先获取指向数组的指针，然后取消引用它。瞧，对数组的引用。

Answer 2

您可以为此使用reinterpret_cast。使用数组类型的别名以使代码更易于阅读，您将获得类似：

void my_func(int (&arr)[10])
{
    for (auto e : arr)
        std::cout << e << " ";
}

int main()
{
    using array_t = int[10];
    int* my_arr = new int[10]{1,2,3,4,5,6,7,8,9,10};
    my_func(reinterpret_cast<array_t&>(*my_arr));
}

您可以在live example 看到它正在工作。