C++20下实现含1至n个可追加到std::string参数的可变模板函数问题

问题背景 #

使用C++20、GCC 11.1.0，刚接触模板与concept，需要实现一个接收1至n个参数的模板函数，要求所有参数都能通过+=运算符追加到std::string中。

两次尝试的问题分析 #

Attempt 1 错误点 #

template<typename T>
concept Stringable = requires (T t)
{
    {std::string += t} -> std::same_as<std::string::operator+=>;
};

template <typename Stringable ...Args>
void foo(Args&&... args)
{
    // Code...
}

1. 语法错误：std::string是类型，不能直接用类型调用operator+=，必须通过std::string对象来调用。
2. 返回值判断错误：std::string::operator+=是函数类型，而str += t实际返回的是std::string&，用std::same_as匹配函数类型完全错误。
3. 模板参数约束写法错误：template <typename Stringable ...Args>里的Stringable被当作类型别名，没有起到concept约束的作用。

Attempt 2 错误点 #

template<typename T>
concept Stringable = requires (std::string str, T t)
{
    str += t;
};

template <typename Stringable ...Args>
void foo(Args&&... args)
{
    // Code...
}

这里的Stringable concept定义是正确的，但模板参数的约束写法错误：同样把Stringable当作了类型名，没有用它来约束参数包Args，而且没有限制参数个数至少为1。

正确实现代码 #

方案一：直接用concept约束参数包 #

#include <string>

template<typename T>
concept Stringable = requires(std::string str, T t) {
    str += t; // 仅检查表达式是否合法，无需关注返回值
};

// 约束所有参数满足Stringable，且参数个数至少1个
template <Stringable ...Args>
requires (sizeof...(Args) >= 1)
void foo(Args&&... args)
{
    std::string result;
    // 折叠表达式将所有参数追加到result
    (result += std::forward<Args>(args), ...);
    // 后续逻辑...
}

方案二：用requires子句约束参数包 #

如果需要更显式的约束写法，也可以这样写：

#include <string>

template<typename T>
concept Stringable = requires(std::string str, T t) {
    str += t;
};

template <typename ...Args>
requires (Stringable<Args> && ...) && (sizeof...(Args) >= 1)
void foo(Args&&... args)
{
    std::string result;
    (result += std::forward<Args>(args), ...);
    // 后续逻辑...
}

关键说明 #

1. Stringable concept：通过requires表达式检查std::string对象能否用+=接收T类型的参数，无需额外判断返回值——只要表达式合法即可满足需求。
2. 参数个数约束：通过sizeof...(Args) >= 1确保函数至少接收1个参数，符合需求。
3. 折叠表达式：(result += std::forward<Args>(args), ...)是C++17引入的折叠表达式，能简洁地将所有参数依次追加到字符串中，同时用std::forward保持参数的左/右值属性。

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