Блог

В качестве упрощенного примера предположим, что я начинаю с чего-то вроде следующего кода:

 void function1 (Object amp;myObject) {
    for (int b = 0; b < 10000; b  ) {
        // ... a bunch of code that uses the below myFunction(int, int) in different ways
        auto x = myObject.myFunction(12345, b);
        // do something with x and etc
    }
}
  

и что я хочу сделать, это взять то, что находится внутри цикла for, поместить его в отдельную встроенную функцию, которая вызывается вместо этого, и каким-то образом предоставить этой функции доступ к каррированной версии myObject.myFunction(a, b) in, которая b уже установлена.

Один из способов сделать это так:

 __attribute__((always_inline))
inline void function2 (Object amp;myObject, int amp;b) {
#define curried(a) myObject.myFunction(a, b)
    // ... a bunch of code that uses the below function in different ways
    auto x = curried(12345);
    // do something with x and etc
}

void function1 (Object amp;myObject) {
    for (int b = 0; b < 10000; b  ) {
        function2(myObject, b);
    }
}
  

Который, если вы можете заставить компилятор успешно function2 встроиться, выдает тот же ассемблерный код без накладных расходов. (Для чего может потребоваться как минимум -O1 или -O2, по крайней мере, с clang , даже если __attribute__((always_inline)) используется.)

В любом случае, использовать макросы в этой ситуации несколько неудобно, и приходится передавать значение b from function1 to function2 . Было бы намного лучше сделать что-то вроде передачи лямбда-функции в качестве параметра function2 , но тогда я столкнулся с проблемами с захватами (вы можете передать только не захваченную лямбду, но нам нужно будет захватить MyObject), а также с некоторыми дополнительными накладными расходами. В качестве примера я хотел бы сделать это:

 __attribute__((always_inline))
inline void function2 (some_type curried) {
    // ... a bunch of code that uses the below function in different ways
    auto x = curried(12345);
    // do something with x and etc
}

void function1 (Object amp;myObject) {
    for (int b = 0; b < 10000; b  ) {
        auto lambda = [amp;](int a) {return myObject.myFunction(a, n);};
        function2(lambda);
    }
}
  

Но это не удается, если у лямбда-выражения нет захватов, поскольку нет типа, который вписывается в «some_type».

Итак, мой вопрос:

Есть ли какой-нибудь правильный способ сделать это с нулевыми накладными расходами, по крайней мере, с некоторой минимальной оптимизацией?

Лямбда-выражение должно выполнять эту работу

     auto curried = [amp;](autoamp; a) { return myObject.myFunction(a, b);}
  

или

     auto curried = [amp;](const autoamp; a) { return myObject.myFunction(a, b);}
  

Используете ли вы один или другой, будет зависеть от того, должна ли ваша функция изменяться a в качестве параметра ввода-вывода. Вы должны быть осторожны, если myObject or b выходит из области видимости раньше curried , так как лямбда-выражение будет содержать висячую ссылку.

Также обратите внимание, что лямбды доступны только с C 11