c++ - 具有 const 引用的可变参数模板特化

Question

如何特化具有参数常量引用的可变参数模板函数？

例子:

template<typename T, typename... Args>
T foo(Args... args) = delete;

template<> int foo(int a, const char* str, const Test& t) { .... } // Fails to compile
//template<> int foo(int a, const char* str, Test ) { .... } // Ok

int main() {

    auto i = foo<int>(10, "test string!", t);
    return 0;
}

当使用声明的 const Test& 参数调用函数 foo 时，编译器无法看到专门的函数并回退到已删除的函数:

 error: use of deleted function ‘T foo(Args ...) [with T = int; Args = {int, const char*, Test}]’
     auto i = foo<int>(10, "test string!", t);

如果我从参数中删除 const 引用，上面的代码编译得很好。我做错了什么？

可以查到代码here

Answer 1

这是因为主模板为您的调用推导的模板参数是 int、const char* 和 Test，而不是 常量测试&。这意味着您的特化未被使用，因为模板参数与参数不匹配。

最简单的选择是提供单独的重载而不是特化:

template <typename T>
T foo(int a, const char* str, const Test& t) { /*...*/; } 

Live demo