c++ - 为什么我必须提供默认的构造函数？

Question

如果我想创建一个我的类型的对象数组，为什么我必须提供默认构造函数？谢谢解答

Answer 1

因为它们必须被初始化。

如果不是这样的话:

struct foo
{
    foo(int) {}

    void bar(void) {}
};

foo a[10];
foo f = a[0]; // not default-constructed == not initialized == undefined behavior

请注意，您不必:

int main(){
   // initializes with the int constructor
   foo a[] = {1, 2, 3};
}

// if the constructor had been explicit
int main(){
   // requires copy-constructor
   foo a[] = {foo(1), foo(2), foo(3)};
}

---

如果您确实需要一个对象数组并且您不能提供有意义的默认构造函数，请使用 std::vector。

如果你真的需要一个对象数组，不能给出一个有意义的默认构造函数，并且想留在栈上，你需要延迟初始化对象。 I have written such a utility class . (您将使用第二个版本，第一个使用动态内存分配。)

例如:

typedef lazy_object_stack<foo> lazy_foo;

lazy_foo a[10]; // 10 lazy foo's

for (size_t i = 0; i < 10; ++i)
{
    // create a foo, on the stack, passing `i` to the constructor
    a[i].create(i); 
}

for (size_t i = 0; i < 10; ++i)
    a[i].get().bar(); // and use it

// automatically destructed, of course