能否用参数包实现带basic_string约束的字符串拼接函数？

你的当前实现存在几处明显问题，整体写法并不合理，下面逐一说明并给出优化后的实现：

现有实现的问题 #

1. 模板参数声明错误
   你尝试用模板模板参数约束参数包，但写法有误。即使正确声明template <typename> typename... tys_str，这种方式也仅能匹配同一模板的ty_char特化（比如所有参数都是std::basic_string<ty_char>），无法兼容不同分配器的basic_string或其他符合basic_string接口的自定义字符串类型，灵活性极差。

2. 临时数组分配问题
   使用{_string...}初始化列表遍历参数包时，会创建一个临时栈上数组，这违反了你“参数传递过程中不进行数组分配”的要求。此外，该方式要求所有参数类型必须完全相同（或可隐式转换为同一类型），否则编译失败，进一步限制了函数的通用性。

3. 预留空间计算错误
   你仅计算了待拼接字符串的总长度，但未考虑_buffer当前已有的内容长度，导致reserve的空间可能不足，后续拼接仍会触发不必要的内存重新分配。

优化后的实现 #

C++20 版本（Concept 约束） #

利用C++20的Concept可以清晰约束参数为任意字符类型匹配的basic_string类，同时用折叠表达式避免临时数组分配：

#include <string>
#include <type_traits>

template <typename CharT, typename StrT>
concept BasicStringOf = requires(StrT s) {
    typename StrT::value_type;
    requires std::is_same_v<typename StrT::value_type, CharT>;
    { s.size() } -> std::convertible_to<std::size_t>;
    { s.data() } -> std::convertible_to<const CharT*>;
};

template <typename ty_char>
void concat_strings(std::basic_string<ty_char>& _buffer, BasicStringOf<ty_char> auto const&... _strings)
{
    // 折叠表达式计算待添加总长度，无临时数组
    const std::size_t total_add = (0 + ... + _strings.size());
    // 预留足够总空间：现有长度 + 新增长度
    _buffer.reserve(_buffer.size() + total_add);
    // 折叠表达式完成拼接
    (_buffer += _strings, ...);
}

C++17 版本（SFINAE 约束） #

如果无法使用C++20，可通过SFINAE实现类似的类型约束：

#include <string>
#include <type_traits>

template <typename ty_char, typename... Strs>
auto concat_strings(std::basic_string<ty_char>& _buffer, const Strs&... _strings)
-> std::enable_if_t<(std::is_same_v<typename Strs::value_type, ty_char> && ...), void>
{
    const std::size_t total_add = (0 + ... + _strings.size());
    _buffer.reserve(_buffer.size() + total_add);
    (_buffer += _strings, ...);
}

关键改进点 #

• 采用折叠表达式（C++17+）替代初始化列表遍历，完全避免临时数组分配，同时编译期展开计算，效率更高。
• 类型约束更灵活：允许传入任意字符类型匹配的basic_string特化（包括不同分配器的实现），甚至自定义的符合basic_string接口的字符串类。
• 修正了预留空间的计算逻辑，确保一次性分配足够内存，避免拼接过程中的多次内存重分配。

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