Question

在以下代码中：

class Class {
};

class Subclass : public Class {
};

template<typename T>
class Template1 {
public:
};

template<typename T>
class Template2 {
public:
    template<typename Y>
    Template2(const Template1<Y>& t1)
    {
    }
};

Template2<Class> f1(Template2<Class>& t2) {
    return Template1<Subclass>();
}

Template2<Class> f2(Template2<Class> t2) {
    return Template1<Subclass>();
}

int main() {
    f1(Template1<Subclass>()); // error C2664: 'Template2<Class> f1(Template2<Class> &)': cannot convert argument 1 from 'Template1<Subclass>' to 'Template2<Class> &'
    f2(Template1<Subclass>()); // OK
    f1(Template2<Class>(Template1<Subclass>())); // OK
}

如果我从函数中删除引用或自己进行转换，则一切都很好，但是编译器似乎不想自己将Template1转换为Template2&。为什么？

Answer 1

问题

您的f1()函数需要一个lvalue作为引用传递的参数。不幸的是，隐式转换产生的临时值不能用作左值。这导致C2664 error message。

解决方案

通过将函数定义为

，您只需要避免尝试引用转换后的临时值即可

Template2<Class> f1(const Template2<Class>& t2) {  // const & can be used for temp
    return Template1<Subclass>();
}

或者更好，例如

Template2<Class> f1(Template2<Class>&& t2) {    // && is meant for exactly such cases
    return Template1<Subclass>();
}

甚至重要的是，您甚至可以具有两个这样的构造函数，一个用于左值引用&，另一个用于右值引用&&。这里是online demo

即使存在转换，也无法将子类的模板转换为基类的另一个模板

1 个答案:

问题

解决方案