C++模板中转型为void规避重载逗号运算符相关问题咨询

问题1：转型为void避免逗号运算符重载问题的原理 #

原生C++逗号运算符的行为是固定的：按从左到右顺序求值两个操作数，丢弃左操作数的结果，最终返回右操作数的类型和值。但如果逗号左操作数是自定义类类型，且该类重载了operator,，那么逗号的行为会被替换为重载运算符的逻辑，不仅返回类型可能发生变化，两个操作数的求值顺序也会变成函数参数级别的未定义顺序，完全偏离预期。

你提到的SFINAE场景下，我们需要逗号的行为完全可控：左操作数(t.size())仅用于检查T是否存在size()成员，我们不关心它的返回值，只需要最终推导右操作数T::size_type()的类型。如果不做void转型，就可能被自定义的重载逗号打断逻辑，下面是出错示例：

#include <cstddef>

// 没有加void转型的错误版本
template<typename T>
auto func_no_void(T const& t) -> decltype( t.size(), T::size_type() )
{
    return t.size();
}

// 模拟自定义的size返回类型，重载了逗号运算符
struct EvilSize {
    // 重载逗号：左操作数是EvilSize、右操作数是size_t时，返回double类型
    double operator,(size_t) const { return 0.0; }
};

// 测试用的自定义容器类
struct SomeClass {
    using size_type = std::size_t;
    EvilSize size() const { return {}; }
};

int main() {
    SomeClass obj;
    // 此处编译失败：decltype推导的返回值是double，但函数实际返回EvilSize，类型不匹配
    func_no_void(obj);
    return 0;
}

而将左操作数转型为void后，C++标准不允许重载第一个参数为void类型的逗号运算符，此时逗号必然使用原生的默认逻辑，完全规避了重载带来的问题，推导的返回类型一定是T::size_type，符合预期。

问题2：static_cast替代C风格转型的可行性 #

完全可以使用static_cast<void>(t.size())替代C风格的(void)t.size()，二者的效果完全一致，且static_cast是更符合现代C++编码规范的写法，类型安全性更高。

示例中使用C风格转型的原因是行业惯用法：(void)x作为“忽略表达式值”的写法已经沿用了几十年，开发者普遍熟悉其含义，且写法更简短。由于转型到void的场景下，C风格转型不会出现误转其他类型的风险，因此大量代码示例和标准库实现都沿用了这种简洁的写法，和C++17特性没有冲突。

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