[Question] 类型推导在继承关系中的使用

[pagict]

定义一个函数，当任何子类传入时，返回对应 runtime 的 vector<actual_class>. 如

some_type function(const Base& obj)  {
    // doing something
    return vector<Base>();
}

当实参为 Base 的子类 Derive时，如何推导返回 vector<Derive>？ 尝试了 decltype(obj)，对应类型是 Derive&，而在 vector 中是无法使用 reference 的。 而如果使用

std::remove_reference<decltype(obj)>::type

甚至

std::remove_const<std::remove_reference<decltype(obj)>::type>::type

，得到的都是 Base 类型。

如果把引用改成用指针，或者智能指针，应该是可破的。但是如果要坚持使用引用，求问有没有什么方法？

[ryd994]

这恐怕不能靠推导
用 template 吧

[snnn]

不可能。做不到。
你把这个函数改成模板函数就行了。

[htfy96]

template<typename DeriveT, typename = enable_if_t<is_base_of_v<BaseT, DeriveT>>>
foo bar(const DeriveT&)

大概是这样？

[pagict]

上面 3 位
@ryd994
@snnn
@htfy96
都推荐用模板，我思考了一下，应该有两种实现。

template<typename T>
vector<T> function(const T&) throws{
if (!is_base_of<Base, T>::value) throw exception;
// do something
return vector<T>();
}

第二种

template <typename T, typename = enable_if<is_base_of<Base, T>::value>::type>
vector<T> function(const T&) {
// do something
return vector<T>();
}

似乎第二种更好？

[htfy96]

@pagict 第一种 C++11 后可以改成 static_assert 但用模板前最好再仔细考虑下设计

[pagict]

@htfy96 static_assert 是编译时的，这里应该用运行时检查吧

[htfy96]

@pagict 不用啊 这里完全可以编译期确定

[noli]

典型的多分派行为，不想用模版的话可以考虑 Visitor 模式。