无法从“tuple_cat”

Question

基地问题

基础问题我试图解决推断“自动”是这样的：

我有一个模板参数包ArgTypes，我需要做一个元组每个类型都包装在std :: optional中。例如：make_optional_tuple<int, double, std::string>应该返回一个元组元组的元组元组，其元素元组的初始值为std::nullopt。

我的工作至今

我使用附带GCC 7.1 g++。我一直在与C++类型系统搏斗了很长一段时间，我的代码只适用于一种类型，但不适用于多种类型。我在参数包与多种类型得到的错误是：

error: unable to deduce 'auto' from 'tuple_cat<std::make_tuple(_Elements&& ...) [with _Elements = {std::optional<int>&}](), optional_tuple>'

有谁知道我怎么能解决这个问题？直觉上（尽管我可能不正确），我认为问题在于C++类型系统无法推导出auto optional_tuple的类型，因为它涉及完全解决由参数包产生的不同函数模板的递归链 - 也许可能类型系统在尝试解析变量类型时无法执行此操作。

这里是一个最小的工作例如：

#include <optional> 
#include <tuple> 

template<int n, typename ArgType, typename... ArgTypes> 
struct make_optional_tuple_helper { 
    static auto tuple() { 
     std::optional<ArgType> optional_arg = {}; 
     auto optional_tuple = make_optional_tuple_helper<n-1, ArgTypes...>::tuple(); 
     return std::tuple_cat<std::make_tuple(optional_arg), optional_tuple>; 
    } 
}; 

template<typename ArgType> 
struct make_optional_tuple_helper<1, ArgType> { 
    static std::tuple<std::optional<ArgType>> tuple() { 
     std::optional<ArgType> optional_arg = {}; 
     return std::make_tuple(optional_arg); 
    } 
}; 

template<typename... ArgTypes> 
auto make_optional_tuple() { 
    return make_optional_tuple_helper<std::tuple_size<std::tuple<ArgTypes...>>::value, ArgTypes...>::tuple(); 
}; 

int main() { 
    auto i = make_optional_tuple<int>(); // works! 
    auto j = make_optional_tuple<int, double>(); // error: unable to deduce 'auto'... 
} 

（与g++-7 -std=c++1z example.cpp编译）

感谢您的时间和/或帮助！

Answer 1

您是方式得太多这样的：

template<typename... ArgTypes> 
auto make_optional_tuple() { 
    return std::tuple<std::optional<ArgTypes>...>{}; 
} 

由于缺省构造可选是nullopt，这就是你所需要的。

---

你具体问题是你用错括号：

return std::tuple_cat<std::make_tuple(optional_arg), optional_tuple>; 
        ~~~           ~~~ 

那些应该是括号。按原样，您将返回一个指向格式不正确的函数模板特化的指针，而不是元组。

Answer 2

它不起作用，因为函数的返回类型是在第一次返回时推导出来的，并且您试图在第一次返回之前调用该函数。

我相信你可以做一些长的线路：

template<typename... ArgTypes> 
struct make_optional_tuple_helper { 
    static auto tuple() { 
     return std::make_tuple(std::optional<ArgTypes>()...); 
    } 
}; 

或者

template<typename... ArgTypes> 
struct make_optional_tuple_helper { 
    static auto tuple() { 
     return std::tuple<std::optional<ArgTypes>...>(); 
    } 
};