math2022的博客

编译器会尝试所有可能的模板，如果某个模板无法实例化（例如，因为某个类型没有提供必要的成员函数），那么编译器会忽略这个模板，继续尝试其他的模板。这个原则的含义是，如果一个模板实例化失败，那么这不是一个错误，编译器应该继续尝试其他的模板。同时，你也可以为不同的函数参数类型提供不同的函数模板，编译器会根据函数调用的实际参数类型选择最合适的函数模板。可以注意到，这个例子中_call_func函数的参数个数不同，但是因为最后一个参数是可变参数，所以如果仅仅通过参数个数判断调用哪个函数重载是行不通的。