编辑代码

#include <iostream>
using namespace std;

template <class T, int I, class... Args>
struct CondConstructable {
    typedef char type[I];
    static const int a = 555;
};
// 实际上Args只有两类，第一类QueryView，第二类是Ad/ItemList/viod
template <class T, int I, class A, class... Args>
struct CondConstructable<T, I, A, Args...> {
    // 当模板参数包Args为空时，定义了一个类型别名VT表示一个包含I个字符的数组类型char [I]。
    typedef char VT[I];
    
    // 该函数接受一个T类型的参数并返回一个包含I个字符的数组类型VT[I]
    static VT& test(T);
    // 如果T可以使用类型A和Args...构造，则调用重载的test函数，它返回一个VT[I]类型的引用。
    // 递归调用CondConstructable，每次调用模板参数I + 1，Args解开一个参数
    static typename CondConstructable<T, I + 1, Args...>::type& test(...);
    // (A*)(0)表示将空指针转为A*指针，
    typedef decltype(test((A*)(0))) type;
    static const int value = sizeof(type);
    static const int b = 555;
};

int main() {
    //JSRUN引擎2.0，支持多达30种语言在线运行，全仿真在线交互输入输出。 
    int MatchIndex = CondConstructable<int*, 0, float>::b;
	cout << MatchIndex << endl;
	return 0;
}