可变参数与向上转型参数：如何让非可变参数函数优先匹配？

编译器在选择函数重载时，可变参数模板版本本应拥有最低匹配优先级，但当参数需要向上转型为基类才能匹配非可变参数版本时，这一规则会失效。比如下面的代码：

class A {};
class B : public A {};
template<class... Args>
void foo(Args&&... argsPack) {
    std::cout << "variadic function called" << std::endl;
}
void foo(A&) {
    std::cout << "non-variadic function called" << std::endl;
}

int main() {
    foo("Hello");
    B b;
    foo(b);
}

程序输出为：

variadic function called
variadic function called

这里B类型的对象b本应通过向上转型匹配foo(A&)，但编译器却选择了不需要类型转换的可变参数模板版本。

除了删除可变参数重载或新增B类型的重载外，还有两种更优雅的解决方案：

方案一：用SFINAE约束可变参数模板 #

通过std::enable_if结合类型判断，让可变参数模板仅在参数无法匹配A&时才被启用：

#include <iostream>
#include <type_traits>

class A {};
class B : public A {};

// 判断类型是否可转换为A&
template<typename T>
struct is_convertible_to_A_ref : std::is_convertible<T&, A&> {};

// 非可变参数版本
void foo(A&) {
    std::cout << "non-variadic function called" << std::endl;
}

// 可变参数版本：仅当参数数量为1且无法转换为A&时生效
template<class... Args, 
         typename = std::enable_if_t<!(is_convertible_to_A_ref<Args>::value && sizeof...(Args) == 1)>>
void foo(Args&&... argsPack) {
    std::cout << "variadic function called" << std::endl;
}

int main() {
    foo("Hello"); // 调用可变参数版本
    B b;
    foo(b);       // 调用非可变参数版本
}

原理：利用SFINAE（替换失败不是错误）机制，当参数是可转换为A&的类型时，可变参数模板的enable_if条件不满足，会被编译器排除在重载候选集之外，从而让foo(A&)被选中。

方案二：用优先级标签分发 #

通过定义不同优先级的标签类型，让非可变参数版本拥有更高的匹配优先级：

#include <iostream>

// 定义优先级标签
struct low_priority {};
struct high_priority : low_priority {};

class A {};
class B : public A {};

// 高优先级版本：接受A&和high_priority标签
void foo(A&, high_priority) {
    std::cout << "non-variadic function called" << std::endl;
}

// 低优先级版本：接受可变参数和low_priority标签
template<class... Args>
void foo(Args&&... argsPack, low_priority) {
    std::cout << "variadic function called" << std::endl;
}

// 对外统一接口，默认传递高优先级标签
template<class... Args>
void foo(Args&&... argsPack) {
    foo(std::forward<Args>(argsPack)..., high_priority{});
}

int main() {
    foo("Hello"); // 无匹配的高优先级重载，降级调用低优先级可变参数版本
    B b;
    foo(b);       // 匹配高优先级的foo(A&, high_priority)
}

原理：对外接口传递high_priority标签，编译器会优先匹配接受该标签的重载；当没有匹配时，会自动转换为low_priority（因为high_priority继承自low_priority），从而调用可变参数版本。

内容的提问来源于stack exchange，提问作者Tiramisu