C++折叠表达式：如何用std::max函数实现多消息最大尺寸计算？

我有一组消息类型，部分消息尺寸可变但都具备固定的最大尺寸，希望通过模板类获取这组消息中的最大尺寸。编写了如下模板类：

template< typename... Messages >
struct BinaryMessageList
{
    static constexpr size_t maxSize()
    {
        return (std::max(Messages::maxSize(), ...));
    }
};

目标是实现与std::max(M1::maxSize(), ..., Mn::maxSize())相同的计算效果，但无论是使用多参数版还是普通二进制版的std::max都无法编译通过。我知道如何用运算符实现折叠表达式，但不清楚如何通过std::max这类函数完成，且我的需求并非自己编写可变参数max函数，而是要将std::max应用于可变参数的constexpr类成员函数maxSize()的返回值。

编译失败的核心原因是：C++标准库中的std::max没有直接支持可变参数的版本——它只有二元版本（接收两个参数）和initializer_list版本（接收一个初始化列表），而你直接在折叠表达式中使用二元std::max的写法不符合语法规则。

下面提供两种可行的实现方式：

方法一：使用std::max的initializer_list版本（推荐） #

这是最简洁直观的写法，直接将所有Messages::maxSize()的返回值打包成一个初始化列表，传给std::max的initializer_list重载：

template<typename... Messages>
struct BinaryMessageList
{
    static constexpr size_t maxSize()
    {
        return std::max({ Messages::maxSize()... });
    }
};

• 要求：C11及以上（std::max的initializer_list版本是C11引入的），若需要constexpr特性，需C17及以上（C17开始std::max对initializer_list的支持是constexpr的）。
• 优点：语义清晰，代码简洁，无需处理空参数的特殊情况（空初始化列表会编译报错，若需要支持空参数，可添加特化）。

方法二：用折叠表达式配合二元std::max #

通过拆分第一个模板参数和剩余参数，使用折叠表达式链式调用二元std::max，实现多参数最大值计算：

// 主模板：至少一个消息类型
template<typename FirstMsg, typename... RestMsgs>
struct BinaryMessageList
{
    static constexpr size_t maxSize()
    {
        return (std::max(FirstMsg::maxSize(), RestMsgs::maxSize()), ...);
    }
};

// 空参数特化：处理无消息类型的情况
template<>
struct BinaryMessageList<>
{
    static constexpr size_t maxSize()
    {
        return 0; // 可根据需求修改默认值
    }
};

• 原理：折叠表达式(std::max(a, b), ...)会展开为std::max(std::max(std::max(a, b), c), d)...，链式调用二元std::max得到最终最大值。
• 注意：必须处理空模板参数的情况，否则当模板参数为空时会编译失败。

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