std::call_once与局部静态对象初始化的选型考量

在C++11及以后的标准中，std::call_once和局部静态变量的线程安全初始化都能实现代码逻辑的单次执行，但选型时需要从以下几个维度考量：

1. 执行触发时机与控制粒度 #

• 局部静态变量的初始化是第一次进入变量所在作用域时自动触发，执行时机完全由作用域进入逻辑决定，无法手动调整。比如你的fooStaticVersion函数，第一次被调用时就会立刻执行日志输出的lambda。
• std::call_once则是显式调用该函数时才触发执行，你可以在函数内的任意位置调用它，比如先完成参数校验、状态判断等前置逻辑，再触发单次执行的代码，控制粒度更灵活。

2. 异常处理逻辑差异 #

• 若局部静态变量的初始化代码抛出异常，后续每次进入作用域都会重新尝试初始化，直到初始化成功为止。这可能导致异常被重复抛出，增加调试复杂度。
• std::call_once的可调用对象若抛出异常，对应的std::once_flag会被标记为未完成状态，后续调用std::call_once会再次尝试执行；只有当某一次调用无异常完成后，once_flag才会被标记为完成，后续调用不再执行。如果需要异常后终止重试，需要在lambda内部自行捕获并处理异常。

3. 复用性与场景适配 #

• 局部静态变量的单次执行逻辑与变量绑定，一个静态变量只能对应一组单次初始化逻辑。如果函数内需要多组独立的单次执行逻辑，就得定义多个静态变量，代码冗余度会上升。
• std::once_flag是独立的标记实体，不仅可以在同一函数的不同位置复用，还可以作为全局变量、类静态成员等跨函数/跨类共享，实现更复杂的全局单次执行逻辑。

4. 返回值与状态存储 #

• 局部静态变量可以直接存储初始化的结果，后续调用可以直接复用该值。比如你的例子里，printLog保存了printf的返回值，若后续需要用到这个结果，无需额外定义变量。
• std::call_once本身没有返回值，若需要保存执行结果，必须自行定义额外的变量（比如静态变量、捕获的外部变量），在lambda内部完成赋值操作。

5. 代码可读性与意图表达 #

• 局部静态变量的写法更简洁，适合简单的单次初始化/执行场景，比如你的日志输出例子，代码短且直观，一眼就能看出是要执行一次的逻辑。但如果是单纯执行动作而非初始化变量，意图表达可能不够明确。
• std::call_once的函数名直接传递了“仅执行一次”的核心意图，对于复杂逻辑或非初始化类的单次动作，可读性更强，其他开发者能快速理解代码的设计目的。

针对你的单次日志输出场景的选型建议 #

两种写法都能满足需求：

• 若只是单纯的单次日志输出，fooStaticVersion的写法更简洁，代码量更少，足够应对场景。
• 若后续可能需要调整日志输出的触发条件（比如先判断某个状态再输出），fooCallOnceVersion的灵活性更高，便于后续扩展。

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