为何需在模板特化中用void(...)包裹ostream表达式求值？

结合你的检测逻辑场景（通过重载两个test函数，一个依赖目标表达式有效性，一个作为兜底），核心问题出在引用类型不能作为指针底层类型，以及SFINAE规则的触发逻辑上：

1. 无void(...)时的致命问题 #

当你直接用decltype(std::declval<std::ostream&>() << std::declval<T>())推导类型时，对于可打印的T，这个表达式的返回值是std::ostream&（标准库的operator<<都会返回流的引用）。而C++明确规定不能定义指向引用的指针（比如std::ostream&*是非法类型）。

这就导致，即使T是可打印类型，尝试匹配第一个重载时，因为参数类型非法，会被SFINAE规则直接排除，编译器只能选择兜底的test(...)版本，最终所有类型都被判定为不可打印。

2. void(...)的两个关键作用 #

用void(expr)包裹表达式后，会解决上述问题：

• 统一推导类型为void：decltype(void(expr))的结果是void类型，而void*是合法的指针类型，nullptr可以隐式转换为void*，因此第一个重载能被正常匹配，正确返回std::true_type。
• 屏蔽返回值差异：不管自定义的operator<<返回什么类型，void(expr)都会忽略返回值，避免因返回类型不同导致的匹配意外，让检测逻辑更稳定。

C++标准参考章节 #

• 指向引用的指针非法：[expr.unary.op]章节规定，一元&运算符的操作数不能是引用类型，因此指向引用的指针类型属于非法构造，模板替换时会触发SFINAE。
• SFINAE规则：[temp.deduct]章节明确，模板参数替换若产生无效类型或表达式，类型推导会失败（而非直接报错），编译器会跳过该重载，尝试其他候选。

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