std::optional<void>类型别名是否合法？是否违反C++标准？

是的，这段代码属于病态程序，无论当前编译器是否报错，它都违反了C++标准的规定。

核心原因 #

C++标准明确要求，std::optional的模板参数必须是对象类型（不能是cv-qualified的void、引用类型、函数类型或数组类型）。只要你实例化了std::optional<void>——哪怕只是定义一个类型别名，没有实际创建该类型的对象——就已经违反了这个要求，直接导致程序病态。

关键区分：模板实例化 vs 对象创建 #

你代码中的using opt_ret_t = std::optional<ret_t>;当ret_t为void时，已经完成了std::optional<void>的模板实例化操作。这一步本身就触发了标准的禁止条款，不需要后续创建optional对象才会导致问题。

编译器不报错的本质 #

部分编译器可能不会对这类情况强制报错，这属于未诊断的病态程序——标准允许编译器不诊断某些违反规则的情况，但程序本身依然不具备合法性，后续可能在编译器版本升级、代码重构时出现不可预测的问题。

修复建议 #

应该在模板逻辑中提前判断返回类型是否为void，避免实例化std::optional<void>。比如用类型特质做分支处理：

using ret_t = std::invoke_result_t<Fn, Args...>;
// 针对void返回类型单独处理
using opt_ret_t = std::conditional_t<std::is_void_v<ret_t>, 
                                     /* 自定义空类型或直接跳过 */ std::monostate, 
                                     std::optional<ret_t>>;

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