是否可以編寫一個函數模板來返回參數個數是否可​​以被N整除？

Question

我一直在學習可變參數模板，並與this excellent blog post的幫助下，我已經成功地編寫一個函數模板even_number_of_args它返回它接收參數個數是否整除2

#include <iostream> 

bool even_number_of_args() { 
    return true; 
} 

template <typename T> 
bool even_number_of_args(T _) { 
    return false; 
} 

template<typename T, typename U, typename... Vs> 
bool even_number_of_args(T _, U __, Vs... vs) { 
    return even_number_of_args(vs...); 
} 

int main() { 
    std::cout << even_number_of_args()     << std::endl; // true 
    std::cout << even_number_of_args(1)     << std::endl; // false 
    std::cout << even_number_of_args(1, "two")   << std::endl; // true 
    std::cout << even_number_of_args(1, "two", 3.0)  << std::endl; // false 
    std::cout << even_number_of_args(1, "two", 3.0, '4') << std::endl; // true 
} 

我想知道是否可以編寫一個函數模板，該模板使用N作爲模板參數，並返回它收到的參數數量是否爲N的倍數。例如，該功能可以是這個樣子：

number_of_args_divisible_by_N<1>(1, "two", 3.0, '4'); // true 
number_of_args_divisible_by_N<2>(1, "two", 3.0, '4'); // true 
number_of_args_divisible_by_N<3>(1, "two", 3.0, '4'); // false 
number_of_args_divisible_by_N<4>(1, "two", 3.0, '4'); // true 

Answer 1

是的，就這麼簡單

template<int N, typename... Ts> 
constexpr bool number_of_args_divisible_by(Ts&&...) 
{ 
    return sizeof...(Ts) % N == 0; 
} 

或者，你可以返回更多的元編程友好型：

template<int N, typename... Ts> 
constexpr integral_constant<bool, sizeof...(Ts) % N == 0> 
number_of_args_divisible_by(Ts&&...) 
{ 
    return {}; 
} 

Answer 2

雖然krzaq的解決方案非常好，但我認爲實施sizeof...背後的「魔力」可以作爲一個有趣的學習練習。

它使用了一種技術，是很常見的模板元編程 - 覆蓋基情況下的非模板函數，和一個模板函數，通過一個步驟減小的問題：

// Base case 
int count_args() { 
    return 0; 
} 
// Reduction 
template<typename T, typename... Vs> 
int count_args(T _, Vs... vs) { 
    return 1 + count_args(vs...); 
} 

利用這種功能在地方，你可以使用這種方法從krzaq的答案實現整除檢查：

template<int N,typename... Vs> 
bool is_arg_divisible(Vs... vs) { 
    return count_args(vs...) % N == 0; 
} 

Demo.