Question

我目前正在玩一些新的C ++ 17功能，特别是std::optional，我决定尝试使用最小查找功能可变参数模板模板。这就是我到目前为止所做的：

template <template <typename> typename Opt, 
          typename T>
Opt<T> optional_min(Opt<T>&& opt) {
    return std::forward<Opt<T>>(opt);
}

template <template <typename> typename Opt0,
          template <typename> typename Opt1,
          template <typename> typename... Opts, typename T >
std::common_type_t<Opt0<T>, Opt1<T>, Opts<T>...> 
optional_min(Opt0<T>&& opt0, Opt1<T>&& opt1, Opts<T>&&... opts) {
    if (!opt0 && !opt1) 
    {
        return optional_min(std::optional<T>(std::nullopt), std::forward<Opts<T>>(opts)...);
    } 
    else if (opt0 && !opt1) 
    {
        return optional_min(opt0, std::forward<Opts<T>>(opts)...);
    } 
    else if (!opt0 && opt1) 
    {
        return optional_min(opt1, std::forward<Opts<T>>(opts)...);
    } 
    else 
    {
        return (*opt0 < *opt1) ? 
            optional_min(opt0, std::forward<Opts<T>>(opts)...) 
                : optional_min(opt1, std::forward<Opts<T>>(opts)...);
    }
}

int main() {
    std::optional<int> a = 9;
    std::optional<int> b = std::nullopt;
    std::optional<int> c = 4;

    if (auto x = optional_min(a, b, c)) 
        std::cout << *x << std::endl;

    return 0;
}

好像我的转发工作没有用。我对转发的想法还不熟悉，所以我可能只是遗漏了一些愚蠢的东西。我得到的错误是：

error: no matching function for call to 'optional_min(std::optional<int>&, std::optional<int>&, std::optional<int>&)'

error: cannot bind rvalue reference of type 'std::optional<int>&' to lvalue of type 'std::optional<int>'
  auto x = optional_min(a, b, c);

我的编译器也告诉我，我的可变参数optional_min函数只是一个非常接近的匹配，并且它试图匹配我的另一个optional_min函数，那个函数只接受一个论点。有谁知道为什么会这样？如果您需要了解更多信息，请与我们联系。

Answer 1

optional_min个参数都不是转发引用。它们都是右值参考。

当您将参数声明为对推导出的模板类型参数的右值引用时，会形成转发引用，但这不是这种情况。 optional_min的参数是对推导出的模板模板参数的实例化的右值引用。

要避免这种情况，只需删除Opt0，Opt1和Opts模板模板参数，然后直接使用类型参数：

template <typename Opt0, typename Opt1, typename... Opts>
auto optional_min(Opt0&& opt0, Opt1&& opt1, Opts&&... opts) {
    //...
}

您可以使用SFINAE将类型参数限制为std::optional的实例化，如果这是您的目标。

完美转发可变参数模板模板

1 个答案: