能否让接收类对象的模板函数直接用构造参数实例化对象?
问题解答
要让Foo<Bar>(5,false)通过编译,核心问题是原模板函数Foo只接受单个T类型参数,直接传入两个独立参数时,编译器无法自动将它们组合成Bar对象(只有列表初始化的大括号语法能触发构造函数的匹配)。
可行解决方案
最简洁的方式是修改模板函数,让它支持可变参数并完美转发参数来构造T对象:
#include <utility> // 用于std::forward template<class T, typename... Args> void Foo(Args&&... args) { T obj(std::forward<Args>(args)...); // 保留原Foo函数的业务逻辑 }
修改后,Foo<Bar>(5,false)会把参数5和false完美转发给Bar的构造函数,自动构造出Bar对象,完全满足去掉大括号的需求。
补充说明
- 原写法
Foo<Bar>({5,false})可行的原因:大括号属于列表初始化,编译器会将初始化列表传递给Bar的构造函数,直接初始化出Bar对象,匹配Foo的单个参数要求。 - 若不想修改
Foo的函数签名,也可以显式构造Bar对象传入:Foo<Bar>(Bar(5,false)),但这种写法需要额外写Bar构造,不如可变参数方案简洁。
内容的提问来源于stack exchange,提问作者Omer Kawaz
相关产品推荐
相关产品推荐

