如何使用C20需求/概念限制折叠表达式？

Question

如何使用C 20概念限制可变模板和折叠表达式中允许的类型？

例如，假设我想将以下折叠表达式限制为仅支持整型类型，我将如何做到这一点？

#include <string>
#include <iostream>
#include <concepts>
using namespace std;

template<typename... Args> // requires (is_integral<Args>::value )
    int sum(Args... args) { return (... + args); }
int main()
{
    cout << sum(1,2,3);
}

Answer 1

您可以使用类型约束auto语法：

int sum(std::integral auto... args) { return (... + args); }

Answer 2

使其工作的最小更改是：

requires (std::is_integral<Args>::value && ...)

我还建议使用不太详细的is\u integral\u v

或者，更好的是，一个概念：

template <std::integral ...Args> // no requires needed