8

在 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 的构造函数中看到这种模式,它使用转发引用将值正确传递给元组。我不确定这里的类型推导是否表现相同。

4

1 回答 1

4

无需更改类的内部结构以使其与类模板参数推导一起使用;这就是演绎指南的用途。

最好的起点是编写一个make_X函数;无论您是否提供,决定所需的签名都会让您知道是否需要编写显式演绎指南,或者可以依赖从构造函数推断出的隐式演绎指南。

事实上,演绎指南,无论是隐式的还是显式的,都与函数的行为相同make_X(直到复制构造函数省略)。

您想要makeFoo的将具有以下声明:

template<typename... Ts>
auto makeFoo(Ts&&... ts) -> Foo<std::decay_t<Ts>...>;

由于这会对模板参数进行转换,因此您需要提供明确的推导指南;这在语法上与 的声明相同makeFoo,只是auto make删除了:

template<typename... Ts>
Foo(Ts&&... ts) -> Foo<std::decay_t<Ts>...>;

如果您不提供显式推导指南,则将从您的构造函数生成一个,除了模板参数推导期间发生的类型转换之外没有任何类型转换:

template<typename... Ts>
Foo(Ts&&... ts) -> Foo<Ts...>;

这不是您想要的,因为它不适用std::decay_t。修改类的内部结构(添加std::decay_tts)会起作用,但是当明确的推导指南解决问题时,就没有必要了。

于 2016-08-25T15:36:58.637 回答