c – 模板和继承过滤

发布时间：2020-12-16 10:14:31 所属栏目：百科来源：网络整理

导读：这种模板的使用是否合法？ class Foo {};class Bar : public Foo {};//Only accept classes,which inherit Foo.templateFoo Tvoid awesomeFunction() { Foo *f = new T();}int main() { awesomeFunctionBar();} 还有另一种编译时和异常安全的方法吗？解决方

这种模板的使用是否合法？

class Foo {};

class Bar : public Foo {};

//Only accept classes,which inherit Foo.
template<Foo T>
void awesomeFunction() {
    Foo *f = new T();
}

int main() {
    awesomeFunction<Bar>();
}

还有另一种编译时和异常安全的方法吗？

解决方法

Is this use of templates legal?

不,因为

template<Foo T>

你要求一个Foo类型的对象作为模板参数(并且一个Foo类型的对象不能是模板参数)和调用

awesomeFunction<Bar>();

你传递一个类型,而不是一个对象.

正如Jarod42所示,正确的解决方案是接收类型(模板< typename T>)并通过SFINAE启用/禁用该功能.

使用SFINAE的另一种方法是,如果你可以使用至少C 11,

template <typename T>
typename std::enable_if<std::is_base_of<Foo,T>{}>::type awesomeFunction() {
    Foo *f = new T();
}

用C 14可以简化为

template <typename T>
std::enable_if_t<std::is_base_of<Foo,T>{}> awesomeFunction() {
    Foo *f = new T();
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!