如何专门化模板包？

Question

我有以下代码，该代码尝试将二进制数（作为布尔值列表（最低有效，第一个，变量长度）传递）转换为十进制数：

#include <iostream>
using namespace std;

template<typename T>
int bin_to_dec(int multi, T first) {
    cout<<"mutli"<<multi<<endl;
  return first?multi:0;
}

template<typename T, typename... Args>
int bin_to_dec(int multi, T first, Args... args) {
    cout<<"mutli"<<multi<<endl;
  return (first?multi:0) + adder(multi*2, args...);
}

template<typename T, typename... Args>
int bin_to_dec(T first, Args... args) {
    cout<<"mutli"<<1<<endl;
  return (first?1:0) + adder(2, args...);
}

int main()
{
    cout<<bin_to_dec(true, true, false, true)<<endl;
}

它工作得很好，但我只想让布尔值成为可能，所以当我尝试类似bin_to_dec（1,2,3）之类的东西时，不应编译。 我正在尝试使用类似

template<bool First, bool... Bools>

但是我不知道该怎么做。 有任何想法吗？

Answer 1

一种明显的方法是从所有模板参数（ bool的重载集中删除该函数：

template <typename... T>
std::enable_if_t<variadic_and(std::is_same<T, bool>::value...), int>
bin_to_dec(T... bits) {
    // probably delegate to differently named functions as an implementation detail
    // ...
}

variadic_and()将是一个constexpr函数返回true ，如果其所有参数都true ：

constexpr bool variadic_and() { return true; }
template <typename... T>
constexpr bool variadic_and(bool v, T... vs) {
    return v && variadic_and(vs...);
}

使用C ++ 17时，必须使用variadic_and() ，因为可以使用运算符扩展参数包。 例如， variadic_and()的实现可能如下所示：

template <typename... T>
constexpr bool variadic_and(T... vs) { return (vs && ...); }

可以在std::enable_if_t<...>直接使用相同的方法。

注意 ：上面使用的方法要求将参数推导为bool ，即，它们非常需要为bool类型。 由于该函数不应使用int参数进行调用，而这些参数会转换为bool ，因此测试参数类型是否可转换为bool似乎不合适。 但是，允许进行一些转换可能是合理的。 如果是这样，则将在第一个参数std::enable_if_t使用相应的特征。

Answer 2

只需使用静态断言即可。 这非常好用：

int bin_to_dec() {
    return 0;
}

template<typename T, typename ... Args>
int bin_to_dec(T first, Args ... rest)
{
    static_assert(std::is_same<bool, T>::value, "Only valid for bools");
    return (first ? 1 : 0) + (bin_to_dec(rest...) << 1);
}

int main()
{
    cout<<bin_to_dec(true, true, false, true)<<endl;
    cout<<bin_to_dec(1, 2, 3)<<endl;  //compile error
}