扩展参数从模板参数中打包（值）

Question

there is a trying to expand the pack using usual way with recursion:

template<bool first> int func1(int value = 0) {
    return some_func(first, value);
}

template<bool first, bool... args> int func1(int value = 0) {
    return func1<args...>(some_func(first, value) );
}

at the last step of compile time recursion, the call of func1 is ambiguous, first candidate is a first function , it's clear , some concrete specialization in my case:

int func1(int) [with bool first = false]

but second one is

int func1(int) [with bool first = false; bool ...args = {}]

you see that is also correct - empty set of the arguments after first one. any idea to prevent this ?

thank you

Answer 1

Disambiguate the base case from the recursive case by adding an explicit second parameter:

template<bool first> int func1(int value = 0) {
    return some_func(first, value);
}

template<bool first, bool second, bool... args> int func1(int value = 0) {
    return func1<second, args...>(some_func(first, value) );
}

Wandbox example

Answer 2

so the finally, I didn't use the recursion, but the only code below.

(actually std::array is not required but more useful from my perspective , the expanding can be archived by using C-like array too)

template <bool... args> unsigned long func1() {
    std::array<bool, sizeof...(args)> ar{args...};

    // the piece specific for my task
    std::bitset<sizeof...(args)> bs;
    for(std::size_t i = 0; i < ar.size(); ++i) {
        bs[i] = ar[i];
    }

   // ... processing ... 
    return bs.to_ulong();
}