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
}

如何专门化模板包？

2 个答案: