添加參數包擴展的所有參數

Question

考慮我有一個參數int...的可變參數模板。例如，一個這樣的功能：

template<int... t> 
int add(){ 
    return t... + ??? 
} 

所有的方法應該做的就是添加所有參數。使用遞歸可變參數模板可以輕鬆實現。但是，是否也可以使用參數包擴展來表達這個（或類似使用其他二元運算符來聚合所有模板參數）？

Answer 1

是的，使用我從休息室的@Xeo中學到的技巧。我最初使用它來製作一個可變的「打印」模板功能。

#include <iostream> 

template<int... ints> 
int add() 
{ 
    int result = 0; 
    using expand_variadic_pack = int[]; // dirty trick, see below 
    (void)expand_variadic_pack{0, ((result += ints), void(), 0)... }; 
    // first void: silence variable unused warning 
    // uses braced-init-list initialization rules, which evaluates 
    // the elements inside a braced-init-list IN ORDER, to repetetively 
    // execute a certain operation 
    // second void is to prevent malicious "operator," overloads, which 
    // cannot exist for void types 
    // 0 at the end is to handle empty variadic pack (zero-size array initializer is illegal. 
    return result; 
} 

int main() 
{ 
    std::cout << add<1,2,3,4>() << '\n'; 
} 

這個工程上有不俗的C++ 11的支持每一個編譯器（GCC 4.8+，鐺3.2+，MSVS2013，...）

Answer 2

它使用Lambda和std::accumulate一個可能的變體：

#include <array> 
#include <numeric> 

template <int... t> 
int add() 
{ 
    return [](const std::array<int, sizeof...(t)>& a) 
    { 
     return std::accumulate(a.begin(), a.end(), 0); 
    }({t...}); 
}