C++ Constrained Variadic Template Parameters

Question

Currently using C++20, GCC 11.1.0.

I'm quite new to templates and concepts in general, but I wanted to create a template function with 1 to n number of arguments, constrained by the requirement of being able to be addition assigned += to a std::string. I've been searching for several days now but as you can see I am really struggling here.

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

EDIT: Attempt 2:

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

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

康桓瑋 · Accepted Answer · 2022-08-24 00:52:20Z

2

Attempt2 is pretty close, except that the typename keyword needs to be removed since Stringable is not a type but a concept. The correct syntax would be

#include <string>

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

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

answered Aug 24, 2022 at 0:52

康桓瑋

46.8k5 gold badges69 silver badges135 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

spaL Over a year ago

Ohh it finally works now. Thank you!

Collectives™ on Stack Overflow

C++ Constrained Variadic Template Parameters

1 Answer 1

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related