为何MSVC的year_month类operator+使用带默认参数的无名模板参数？

先看你提供的MSVC实现代码：

_EXPORT_STD template <int = 0>
_NODISCARD constexpr year_month operator+(const year_month& _Left, const months& _Right) noexcept {
    const auto _Mo  = static_cast<long long>(static_cast<unsigned int>(_Left.month())) + (_Right.count() - 1);
    const auto _Div = (_Mo >= 0 ? _Mo : _Mo - 11) / 12;
    return year_month{_Left.year() + years{_Div}, month{static_cast<unsigned int>(_Mo - _Div * 12 + 1)}};
}

这个带默认值的无名模板参数，核心作用有以下几点：

• 规避非模板重载的优先级问题：如果把这个operator+定义成普通非模板函数，当用户自定义了同签名的非模板operator+时，编译器会优先选择用户的版本。改成带默认参数的模板函数后，它的重载优先级低于用户的非模板实现，但能保证在没有用户重载时，通过实参依赖查找（ADL）被正确匹配——毕竟year_month和months都属于std::chrono命名空间，ADL会自动搜索该空间内的模板函数。

• 提升ADL查找的稳定性：模板函数在ADL规则下的查找行为更稳定，尤其是在跨编译单元、或与第三方库交互时，不容易出现“找不到标准库版本”的问题。非模板函数有时会因命名空间显式限定、或其他重载干扰，被编译器忽略。

• 预留未来扩展空间：这个模板参数目前未被使用，但保留它后，未来若要给该函数添加SFINAE约束（比如限制特定类型的参数），无需修改函数核心签名，能维持二进制兼容性，避免依赖该函数的代码被迫重新编译。

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