从C++标准视角看以下代码是否正确？输出0的场景是否失效？

咱们先逐个拆解你的代码片段，结合C++标准来解答你的两个问题：

一、代码的正确性分析 #

先看你main函数里的几个变量，还有Foo结构体的情况：

• uint64_t i;：这是自动存储期的标量变量，没有显式初始化。根据C++标准，读取未初始化的自动变量属于未定义行为——也就是说编译器可以做任何事情，输出垃圾值只是其中一种可能，甚至可能导致程序崩溃或者其他奇怪的结果，这部分是不符合标准规范的（因为触发了未定义行为）。
• uint64_t k = uint64_t();：这里用了uint64_t()这种写法，属于值初始化。对于标量类型（比如整数、指针这类），值初始化会把变量设置为对应的零值，所以k会被初始化为0，这部分是完全符合标准的。
• uint64_t t = {};：这是列表初始化的简化写法。C++标准规定，当用空列表{}初始化标量类型时，效果和值初始化一样，同样会被设置为零值，所以t也会是0，这部分也是合规的。

再看Foo结构体：

struct Foo {
    Foo() : k(), t{} {}
    uint64_t i; //未初始化
    uint64_t k;
    uint64_t t;
};

构造函数里对k做了值初始化（k()），对t做了列表初始化（t{}），所以k和t都会被设置为0。但成员i没有被初始化，如果你创建Foo的实例后读取i的值，同样会触发未定义行为，这部分要特别注意。

二、输出0的场景会不会失效？ #

你提到的uint64_t k = uint64_t();和uint64_t t = {}这两种输出0的场景，在符合C++标准的编译器下是绝对可靠的，不会失效。

C++标准明确规定：

• 标量类型的值初始化会产生该类型的零值（对于无符号整数来说就是0）；
• 用空列表{}初始化标量类型，等价于值初始化，同样会得到零值。

只要你使用的是遵循标准的编译器（比如GCC、Clang、MSVC等主流编译器），这两种写法的结果都是确定的0，不会出现意外情况。

内容的提问来源于stack exchange，提问作者Andreas Pasternak