C++ 約束可變參數模板參數

Question

目前使用 C++20、GCC 11.1.0。

一般來說，我對模板和概念都很陌生，但我想創建一個模板 function ，其中包含1 to n個 arguments，受限於能夠將+=添加到std::string的要求。 我已經搜索了好幾天了，但正如你所看到的，我在這里真的很掙扎。

嘗試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...
}

編輯：嘗試2：

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

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

Answer 1

Attempt2 非常接近，除了typename關鍵字需要刪除，因為Stringable不是類型而是概念。 正確的語法是

#include <string>

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

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