C++：使用折叠表达式进行编译时“多米诺骨牌更新”

Question

考虑以下代码：

#include <iostream>
#include <functional>

template<class Val, class P>
void dominoe_update(P, Val&) {}

template<class Val, class Lval, class... More, class P>
void dominoe_update(P p, Val&& val, Lval& lval, More&... more)
{
    if (p(val, lval)) {
        lval = val; // No need to forward since it'd potentialy chain more copies anyway
        dominoe_update(p, val, more...);
    }
}

int main(int, char**)
{
    int i = 8, j = 9, k = 1;
    dominoe_update(std::less{}, 2, i, j, k);
    std::cout << i << ' ' << j << ' ' << k << '\n'; // Prints 2 2 1
    return 0;
}

dominoe_update

使用

val

更新所有参数，直到

p

返回

false

。

主要问题：是否可以使用折叠表达式来实现上述函数以删除递归并删除基本情况函数？我认为这是不可能的，因为短路逻辑。

第二个问题：是否可以将谓词写为最后一个参数，而不是第一个？我知道在可变参数之后写参数是“复杂的”，但我认为在某些情况下推导规则允许这样做。

第三个问题：你认为这个函数有更好的名字吗？我正在考虑为常见情况提供一些实用函数，例如最小化和最大化，但是

dominoe_minimize

和

dominoe_maximize

作为通用名称对我来说听起来不太好。

Answer 1

接受挑战。

template<typename P, typename Val, typename... Lval>
void dominoe_update(P p, Val&& val, Lval&... lval)
{
    bool go = true;
    ( (go && (go = p(val, lval)) ? (void(lval = val), 0) : 0), ...);
}

演示