为何C++中void()合法而void{}非法？附通用模板实现疑问

猜想验证 #

你的猜想完全正确，R()和R{}在处理void类型时的差异是由C++标准规则决定的：

• 对于void类型，void()是合法的表达式，语义等价于“产生void类型结果”，return void();和return;效果完全一致——这是C++标准针对void类型的特殊语法允许的。
• 而void{}属于列表初始化语法，根据标准，列表初始化要求目标类型是聚合类型、有对应构造函数或标量类型，但void不属于上述任何一类，因此void{}是非法的，编译器会直接报错。

对于非void类型，R()是值初始化（类类型调用默认构造函数，内置类型执行零初始化），R{}是列表初始化，多数场景下两者效果一致，但在处理void时出现本质差异。

C++20下的最优惯用实现 #

你的现有代码已经是兼容所有场景的简洁实现，无需额外使用concept分版本。可以做细节优化让类型推导更严谨，同时保留对void的兼容性：

#include <functional>
#include <utility>

template<typename F, typename... Args>
auto call(F&& f, Args&&... args)
{
    using R = std::invoke_result_t<F, Args...>;
    if (some_runtime_condition) [[unlikely]] {
        // 记录错误日志
        return R(); // 兼容void及所有非void返回类型
    }

    return std::invoke(std::forward<F>(f), std::forward<Args>(args...));
}

实现说明： #

1. 将R的类型定义移到函数内部，避免模板参数列表冗余，让类型推导逻辑更清晰。
2. std::invoke配合std::forward完美转发，确保支持所有可调用对象（普通函数、成员函数、lambda等）的正确调用。
3. return R();是处理void返回类型的核心：当R为void时，这条语句等价于return;，编译器会正确处理；当R为非void类型时，执行值初始化返回默认构造的对象。

这个实现完全符合C++20标准，兼容所有主流编译器，无需针对void类型做特殊分支处理。

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