为什么编译器不能从返回类型中推断出模板参数？

Question

给定以下代码

#include <vector>
#include <memory>

using namespace std;

class MyBase
{};

class MyDerived : public MyBase
{};

template<class Base, class Derived>
vector<Base> makeBaseVec(const Derived& obj, const typename vector<Base>::size_type size)
{
    vector<Base> out;
    for (typename vector<Base>::size_type i = 0; i < size; i++)
    {
        out.push_back(Base(obj) /* copy constructor */);
    }

    return out;
}

int main()
{
    MyDerived a;
    vector<MyBase> v = makeBaseVec<MyBase>(a, 10);
}

Live example

为什么会出现错误

main.cpp:13:14: note:   template argument deduction/substitution failed:
main.cpp:29:41: note:   couldn't deduce template parameter 'Base'
     vector<MyBase> v = makeBaseVec(a, 10);
                                         ^

编译器不应该能够从v的类型推导出模板参数Base吗？

我可以通过将第 27 行更改为来纠正此问题

vector<MyBase> v = makeBaseVec<MyBase>(a, 10);

但这感觉没有必要。

Answer 1

难道编译器不能从v的类型推导出模板参数Base吗？

调用makeBaseVec时，模板类型推演机制不考虑v的类型。如果您要调用该函数并丢弃返回值怎么办？

返回类型不参与类型推导或重载解析。

如果你不想重复自己，你可以在v上使用类型推导来代替：

auto v = makeBaseVec<MyBase>(a, 10);

事实上，几乎总是auto 是变量的好策略。