c++ - 动态分配二维智能指针数组的语法

Question

我需要动态分配一个二维智能指针数组，但它的语法让我感到困惑。我需要它是动态的:

std::unique_ptr<someClass> myArray[size1][size2];

因此据我了解，我创建了一个指向该类型指针的指针:

someClass** myArray; //actaully the type is std::unique_ptr<someClass> but I'll just keep it simple

然后分配它:

myArray* = new someClass*[size1];
for(int i = 0; i < size1; i++)
    myArray[i] = new someClass[size2];

但这并没有使用智能指针，这意味着我以后必须手动删除它，而且我不知道如何使这些指针成为智能指针；

类型是 std::unique_ptr 但我需要一个指向该类型的指针，所以我尝试了:

std::unique_ptr<std::unique_ptr<std::unique_ptr<someClass>>> myArray;

但在这之后我不知道如何分配它。有人可以帮帮我吗？

Answer 1

我将向您展示如何具体解决您的问题，以及如何处理此类问题的一般性问题。

一般来说，就像任何变得过于复杂的问题一样，尝试将其分解。长期以来，分解 C 和 C++ 中复杂类型声明的工具就是“typedef”。以下是您如何处理级联类型定义，就像您拥有的那样:采用最内层的包装类型，即包装您的类的 unique_ptr，并为您想要包装的类型创建一个 typedef。然后，继续对该类型正在包装的类型执行相同的操作，直到您位于最外层的类型。

这仅与您的问题无关，但我想提一下，因为您以后可能会遇到类似的问题，就像您现在遇到的模板问题一样。从 C++11 开始，您还可以使用“using”子句更方便地为涉及模板参数的类型定义别名:http://en.cppreference.com/w/cpp/language/type_alias .如果您对此上下文感兴趣或将来变得相关，请查看该链接!

针对您的具体问题。函数“test_dynamic_2darray1”构建了一个二维的 10x10 智能指针数组。运行此代码时，您应该会看到析构函数的 100 行输出，就在托管数组超出范围时。

size_t destructor_count = 0;
class MyClass {
    public:
    ~MyClass() {
        std::cout << "Destructor call #" << ++destructor_count << std::endl;
    }
};

typedef std::unique_ptr<MyClass[]> ManagedC;

void test_dynamic_2darray1() {
    size_t dimension1 = 10, dimension2 = 10;

    auto managed_array = std::unique_ptr<ManagedC[]>(new ManagedC[dimension1]);
    for (size_t i = 0; i < dimension1; ++i)
        managed_array[i] = ManagedC(new MyClass[dimension2]);
}

将其与这段代码进行比较，其中动态分配的类实例的析构函数将不会被调用，并且您看不到任何输出:

void test_dynamic_2darray2() {
    size_t dimension1 = 10, dimension2 = 10;

    auto simple_array = new MyClass*[dimension1];
    for (size_t i = 0; i < dimension1; ++i)
        simple_array[i] = new MyClass[dimension2];
}

希望我能够回答您的问题! :) 如果您想让我详细说明一些事情，请告诉我!前几天我还写了一篇你可能感兴趣的相关博文:http://frankriesecodingblog.blogspot.com/2015/01/performance-of-dynamic-multi.html .我将它张贴在这里，因为它展示了多维动态数组的不同方法，并研究了通常建议的使用 vector 的 vector 的方法的性能。

最后但同样重要的是，让我提一下您使用 int 迭代数组。我希望这不会变成我的心头肉，但我看到很多人都这样做了。您可能应该使用 size_t。为什么？例如，在我的 64 位机器上，“int”是 32 位的，但由 size_t 表示的地址是 64 位的。这种对 int 的滥用导致了许多错误，尤其是在将 32 位应用程序移植到 64 位机器时。如果您需要有符号类型，用于数组地址之间的偏移等用途，更好的用途可能是 ptrdiff_t。