使用const引用的变量模板特化

时间:2017-03-17 09:37:08

标签: c++ variadic-templates template-specialization const-reference

如何专门化具有参数的const引用的可变参数模板函数?

示例:

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

2 个答案:

答案 0 :(得分:7)

这是因为主要模板为您的调用推断的模板参数是intconst char*Test,而不是const Test&。这意味着不使用您的专业化,因为模板参数与参数不匹配。

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

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

Live demo

答案 1 :(得分:3)

自动模板扣除不够智能,无法猜测您希望它将最后一个模板参数设置为const Test&而不是Test。更确切地说,类型推导总是从类型中删除cv限定符。

您在此处进行了新的显式模板实例化:

auto i = foo<int, int, const char *, const Test&>(10, "test string!", t);