模板作为函数模板的参数 - 演绎失败

Template as a parameter of function template - deduction fail

本文关键字：参数 演绎 失败 函数模板      更新时间：2023-10-16

我想创建这样的模板，它可以推断TT类模板为T类型：

#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
template < template <typename> class TT, typename T>
T f(TT<T*> & A ){
    cout << "it worksn";
    return *A[0];
};

int main(){
    vector<int*> v;
    f(v);
    return 0;
}

我有一个错误(使用 clang-4.0(：

temded2.cpp: In function ‘int main()’:
temded2.cpp:20:21: error: no matching function for call to ‘f(std::vector<int*>&)’
     f<std::vector>(v);
                     ^
temded2.cpp:12:3: note: candidate: template<template<class> class TT, class T> T f(TT<T*>&)
 T f(TT<T*> & A ){
   ^

我认为TT应该等于std：：vector，T应该等于int，我做错了什么？

您的模板模板参数不是您认为的那样。std::vector<T>比您想象的要多，包括您未考虑的默认模板参数。幸运的是，C++11 中的可变参数将帮助您解决这个问题

。 
#include <iostream>
#include <vector>
template < template <typename, typename...> class TT, typename T, typename... Args>
T f(TT<T*, Args...> & A )
{
    std::cout << __PRETTY_FUNCTION__ << 'n';
    if (A.size() > 0)
        return *(A[0]);
    return T();
};
int main()
{
    std::vector<int*> v;
    f(v);
    return 0;
}

输出

T f(TT<T *, Args...> &) [TT = vector, T = int, Args = <std::__1::allocator<int *>>]

请注意上面的Args。由于非常具体的模板模板参数预期参数列表中缺少这些内容，因此不匹配。如您所见，可变参数可以解决这个问题。

std::vector 是一个类模板，它采用两个模板参数：

template<
    class T,
    class Allocator = std::allocator<T>
> class vector;

您的f需要一个只有一个模板参数的类模板。所以它根本不匹配。

由于 vector 是一个具有两个模板参数的模板，一个用于元素的类型，一个用于分配器，

template<
    class T,
    class Allocator = std::allocator<T>
> class vector;

您的 temlate 参数 B 还需要两个模板参数，因此函数如下所示：

template <template <typename, typename> class V, typename T, typename A>
T f(V<T, A>& arg ){
    cout << "it worksn";
    return arg[0];
};

现在该功能可以工作了。现场演示

相关文章：