使用原始指针作为参数的函数模板推导

Posted 2021-04-01

案例A：

template<class T>
    class A{
    public:
        A(T*)
        {
            cout<<"T*"<<endl;
        }
        template<class Y>
        A(Y*)
        {
            cout<<"Y*"<<endl;
        }
    };

然后打电话：

    A<int>p1(new int);      //T*
    A<int>p2(new double);   //Y*

我能理解这个案子。

案例B：

template<class T>
class B{
public:
    template<class Y>
    B(Y*)
    {
        cout<<"Y*"<<endl;
    }
};

然后打电话：

B<int>p3(new int);      //Y*
B<int>p4(new double);   //Y*

题：

我无法理解案例B并弄清楚为什么B<int>p3(new int);称之为B(Y*)？有人知道为什么吗？

答案

使用模板构造函数类型参数Y的类型推导不依赖于您使用T明确指定的类型参数B<int>。

这意味着在以下情况下：

B<int>p3(new int)

Y从int类型的论证推断为int*。

同样，在以下情况下：

B<int>p4(new double)

Y从double类型的论证推断为double*。

类模板类型参数T和构造函数模板类型参数Y之间没有任何关联 - 它们的推导是分开执行的。