我可以强制通过 int{} 将标量类型初始化为零吗？

Question

考虑以下代码：

template<class T>
void someFun() {
    T t;
    // stuff with t
}

在这里我可以确定，如果T 是可默认构造的struct 或class，那么t 应该被初始化为其默认值。

但是，例如，如果T 是int，那么它将在此处未初始化。嗯，int 的直观“默认初始化”应该意味着它应该被初始化为零。

如果T 是类类型，我正在寻找一种方法来调用T 的默认构造函数，如果它是标量类型，则将其初始化为零。

这行得通吗？

template<class T>
void someFun() {
    T t{};
    // stuff with t
}

AFAIK 在上面的示例中，如果 T 是类类型，则将调用其默认构造函数，但如果它是 int 或其他标量类型，我可以确定它为零吗？

Answer 1

对于标量类型{}，初始化器触发所谓的值初始化。而且，对于标量类型，值初始化会导致零初始化。所以，是的，它将对标量类型的对象进行零初始化。

对于具有默认构造函数的类类型，它还会触发值初始化，从而导致默认初始化（具有用户提供的默认构造函数的类）或零初始化（没有用户提供或删除的默认构造函数的类）。

因此，在您提到的所有情况下，它似乎都在执行您希望它执行的操作。

Answer 2

Justin 已经在 cmets 中挖掘了 the correct reference（称为零初始化），所以是的，这适用于所有类和非类类型。不仅是整型，还有布尔、浮点类型和指针。

虽然它不适用于someFun<void>()，但我想说这个功能没有乐趣。