数组对象初始化，其类具有一些构造函数/析构函数

Question

我想通过使用以下初始化语句来实现数组对象的初始化。

TestClass array[5] = {
    TestClass("test1"),
    TestClass("test2"),
    TestClass("test3"),
    TestClass("test4"),
    TestClass("test5")
};

根据一些权威书籍，如C++的ARM（注释参考手册），似乎它说这是初始化具有构造函数/析构函数的对象数组的方式。在遵循这个方法后，我刚刚创建了以下示例代码并查看其结果。

#include <iostream>
#include <sstream>
#include <string>

class TestClass
{
public:

    TestClass(const char* name) : name_(name)
    {
        std::cout << "Ctor(const char*) : " << name_ << std::endl;
    }

    ~TestClass()
    {
        std::cout << "Dtor() : " << name_ << std::endl;
    }

    TestClass() : name_("")
    {
    }

    void print()
    {
        std::cout << "obj:" << name_ << std::endl;
    }
private:
    TestClass(const TestClass& rhs);

    std::string name_;
};

int main()
{
    TestClass   array[5] = {
        TestClass("test1"),
        TestClass("test2"),
        TestClass("test3"),
        TestClass("test4"),
        TestClass("test5")
    };

    for (unsigned int i = 0; i < sizeof(array)/sizeof(array[0]); ++i) {
        array[i].print();
    }

    return EXIT_SUCCESS;
}

关于使用GNU GCC（4.1.2）编译上述源代码的第一次尝试，它失败了，生成了类似以下内容的东西。

error: ‘TestClass::TestClass(const TestClass&)’ is private

我理解这意味着为了允许对象数组初始化，需要“复制构造函数”。然后我尝试通过引入用户定义（公共）复制构造函数来编译上面的代码，如下所示。

TestClass::TestClass(const TestClass& rhs) : name_(rhs.name_)
{
    std::cout << "Copy Ctor : " << name_ << std::endl;
}

我成功编译了源代码。但是，当我执行上述已构建的程序时，我得到了以下输出。

Ctor(const char*) : test1
Ctor(const char*) : test2
Ctor(const char*) : test3
Ctor(const char*) : test4
Ctor(const char*) : test5
obj:test1
obj:test2
obj:test3
obj:test4
obj:test5
Dtor() : test5
Dtor() : test4
Dtor() : test3
Dtor() : test2
Dtor() : test1

我想了解以下内容：

1.为什么我们不能将复制构造函数声明为私有？ 2.为什么用户定义的复制构造函数没有被调用（我原以为输出中应该包含“Copy Ctor：xxxx”之类的内容，但我没有得到那样的结果。因此，我理解用户定义的复制构造函数没有被调用）。

实际上，我不确定以上内容是否特定于GNU GCC还是C++语言规范...如果您能给我正确的指针，我将不胜感激。

- Smg

---

你可能想要使用“-fno-elide-constructors”进行测试。 - CB Bailey

类似的情况在这里：复制初始化的奇怪行为，不调用复制构造函数！ - Nawaz

Answer 1

编译器省略了拷贝，但是拷贝构造函数仍然需要可访问。

- Björn Pollex

Answer 2

无论编译器是否使用复制构造函数，它必须是可访问的-即它不能是私有的。在这种情况下，编译器可以通过直接使用const char *构造函数来避免使用复制构造函数，但仍然需要一个可访问的复制构造函数。这是ARM没有涵盖的内容，因为它已经过时了。

- user2100815

---

谢谢您清晰的回答。现在我可以清楚地理解了。 - Smg