可变参数函数中参数的解析

我试图理解以下代码在做什么。特别是功能reverse_binary_value()。

我读过关于可变参数函数的信息，但我不明白为什么在返回值时，左移 1 完成了。

我在hackerank上得到了这些代码。问题是这样的

创建一个名为 reversed_binary_value 的模板函数。它必须采用任意数量的布尔值作为模板参数。这些布尔值以相反的顺序表示二进制数字。您的函数必须返回一个整数，该整数对应于布尔值所表示的数字的二进制值。例如：reversed_binary_value<0,0,1>(( 应返回 4。

输入格式

第一行包含一个整数，即测试用例的数量。后续的每一行都包含一个测试用例。测试用例分别描述为空格分隔的整数和。

x 是要比较的值。

y表示要比较的范围：64*y 到 64*y+63

输出格式

每行输出包含 64 个二进制字符。(即 0 和 1(。每个字符表示范围中的一个值。第一个字符对应于区域中的第一个值。最后一个字符对应于区域中的最后一个值。如果范围内的值与 X 匹配，则字符为 1;否则，字符为 0。

示例输入

阿拉伯数字 65 1 10 0

示例输出

010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000

法典

#include <iostream>
using namespace std;
template <bool a> int reversed_binary_value() { return a; }
template <bool a, bool b, bool... d> int reversed_binary_value() {
return (reversed_binary_value<b, d...>() << 1) + a;
}
template <int n, bool...digits>
struct CheckValues {
static void check(int x, int y)
{
CheckValues<n-1, 0, digits...>::check(x, y);
CheckValues<n-1, 1, digits...>::check(x, y);
}
};
template <bool...digits>
struct CheckValues<0, digits...> {
static void check(int x, int y)
{
int z = reversed_binary_value<digits...>();
std::cout << (z+64*y==x);
}
};
int main()
{
int t; 
std::cin >> t;
for (int i=0; i!=t; ++i) {
int x, y;
cin >> x >> y;
CheckValues<6>::check(x, y);
cout << "n";
}
}