限制可变参数函数中的参数数量答案

【问题标题】：Limiting the number of arguments in a variadic function限制可变参数函数中的参数数量
【发布时间】：2015-01-31 02:47:35
【问题描述】：

所以我一直在研究一个函数类，默认情况下，我可以这样做，并且它可以工作：

int main(){
    function f("x^2+1");
    cout<<f(3)<<endl;

return 0;
}

“假设正确的包含和命名空间”

无论如何，我希望能够传入多个变量，甚至说明这些变量是什么；

function f("x^2+y^2",x,y); // it doesn't really matter if it's x, 'x', or "x"
cout<<f(3,4)<<endl; // input 3 as x, and 4 as y

我相当肯定我可以使用可变参数函数为构造函数找出一些东西，甚至可以正确解决，但是有没有办法强制 operator() 参数恰好取 2 个值？

我只是在研究可变参数函数，因为它们确实是我在 c++ 中看到的第一个可以接受多个参数的东西，所以如果以其他方式更好，我完全赞成。

【问题讨论】：

我的建议是从一个更简单的可变参数模板用例开始，了解它们的正常使用方式。为了解决这个特殊问题，您需要将参数部分应用于函数表示（因为可变参数模板是递归的），这不是很简单。
我会告诫不要为此使用普通的 C 可变参数函数，因为它们不是严格安全的。（请参阅 printf 漏洞。）

标签： c++ variadic

【解决方案1】：

您可以使用static_assert 来限制可变参数的数量。

template <typename ... Args>
void operator()(Args&&... args)
{
 static_assert(sizeof...(Args) <= 2, "Can deal with at most 2 arguments!");
}

或者你可以使用enable_if

template <typename ... Args>
auto operator()(Args&&... args) -> std::enable_if_t<sizeof...(Args) <= 2>
{
}

【讨论】：

我很可能会使用第一个，但它究竟是如何工作的？如果我传入三个参数，这会返回编译错误吗？否则，我可以将 sizeof...(Args) 与传递给构造函数的大小进行比较。另外，您使用可变参数模板是否有特定原因？拥有 (Args args&&...) 怎么样？无论如何，我将输入的所有变量都将被视为双精度数，那么模板有什么意义吗？

【解决方案2】：

template<class T>
using double_t=double;
template<class...Ts>
using nfun=std::function<double(double_t<Ts>...)>;

template<class...C>
nfun<C...> func(const char*,C...c);

这将返回一个 n 元 std::function 等于 func 的“变量”参数的数量。

所以func("x^2+y",'x','y','z') 将返回std::function<double(double,double,double)> 作为示例。

【讨论】：

你的意思可能是decltype(void(std::declval<Ts>()),0.)...
@piotrs。或者干脆完全杀死 decltype。