在 C++17 中,可以在不指定模板类型的情况下实例化对象。基本上,这段代码将编译:
std::pair p(2, 4.5); // deduces to std::pair<int, double> p(2, 4.5);
std::tuple t(4, 3, 2.5); // same as auto t = std::make_tuple(4, 3, 2.5);
因此,假设以下代码:
template<typename... Ts>
struct Foo
{
Foo(Ts&&... ts) :
ts{std::forward_as_tuple(ts...)}
{}
std::tuple<Ts...> ts;
};
int main()
{
auto f = [] { return 42; };
Foo foo{f, [] { return 84; }};
}
我应该std::decay
在这样的元组声明中使用吗?
std::tuple<std::decay_t<Ts>...> ts;
因为这就是我如何编写一个函数来根据推导的模板类型返回一个对象:
template<typename T>
auto make_baz(T&& t) -> baz<std::decay_t<T>>;
我可以在 Foo 的构造函数中看到这种模式,它使用转发引用将值正确传递给元组。我不确定这里的类型推导是否表现相同。