Вызов функции шаблона с несколькими значениями параметров

Question

Я хотел бы вызвать функцию шаблона foo с последовательностью различных (нетиповых) параметров, взяв последовательные целочисленные значения между нижней и верхней границей. Например:

template <int K> void foo(){ ... } 

int const UPPER = 10, LOWER = 5; 

for(int i = LOWER; i <= UPPER; i++) 
    foo<i>(); 

Это, конечно, не будет работать, так как i не известно во время компиляции. Я ищу способ достижения такого рода программы без необходимости писать что-то вроде:

foo<5>(); foo<6>(); foo<7>(); foo<8>(); foo<9>(); foo<10>(); 

Это, в частности, потому, что я намерен на изменение UPPER и LOWER от одного исполнения к другому.

Моя единственная идея состояла в том, чтобы создать постоянный массив целых чисел, которые будут отправлены в параметре шаблона:

int const arr[6] = {5, 6, 7, 8, 9, 10}; 

for(int i = LOWER; i <= UPPER; i++) 
    foo<arr[i]>(); 

Но, опять-таки, хотя элементы массива являются постоянными, i не известно, в compile-time так и не arr[i]. Какие-либо предложения?

Заранее спасибо.

Answer 1

Вы можете использовать два шаблона и std::enable_if, чтобы выбрать один из них, в зависимости от того, является ли Lower равным Upper. В случае, если они являются равными, мы ничего не делаем. В противном случае мы вызываем foo<Lower>() и рекурсируем с параметрами Lower + 1 и Upper.

template <int Lower, int Upper> 
typename std::enable_if<Lower == Upper, void>::type callFoo() 
{ 

} 

template <int Lower, int Upper> 
typename std::enable_if<Lower != Upper, void>::type callFoo() 
{ 
    static_assert(Lower < Upper, "Lower must be less than or equal to Upper"); 

    foo<Lower>(); 
    callFoo<Lower + 1, Upper>(); 
} 

Учитывая этот шаблон, следующая строка будет вызывать foo<K>() для K значений 5, 6, 7, 8, 9, 10.

callFoo<5, 11>(); 

Answer 2

Насколько я знаю, шаблоны разрешены к фактическим структурам во время компиляции, поэтому вам нужно передать int в качестве аргумента функции.

Answer 3

Вы можете использовать std::integer_sequence, чтобы получить список во время компиляции чисел от 0 восходящих и затем добавьте ваше смещение:

// Here we take the lower bound and the sequence 0 to (Upper - Lower). 
// We call foo with each number in the sequence added to the lower bound. 
template<int Lower, int... Ints> 
void call_foo_with_range_helper(std::integer_sequence<int, Ints...>) { 
    // A common trick to expand the parameter pack without recursion or fold expressions 
    (void)std::initializer_list<int>{(foo<Lower + Ints>(), 0)...}; 
} 

// This simply makes it easier for the caller to use. 
// We take the lower and upper bounds only. 
template<int Lower, int Upper> 
void call_foo_with_range() { 
    call_foo_with_range_helper<Lower>(std::make_integer_sequence<int, Upper - Lower + 1>()); 
} 

int main() { 
    int const UPPER = 10, LOWER = 5; 

    call_foo_with_range<LOWER, UPPER>(); 
}