好的,感谢所有看过这篇文章的人。我已经在下面的链接中重新创建了确切的场景以便于查看,所以我只是注释掉我拥有的原始文本,因为它不清楚。http://cpp.sh/5lp4l
在注释部分,我显示了调用make_some(32, std::string{"hi"}),但没有为调用指定数据类型声明。我意识到这似乎很疯狂,并且远远超出了我的预期用例,根据参数自动推断复合类型(根据 int/string 推断我想要的数据)是没有必要的,或者是一个好主意。
编译器是对的。T
和Args
之间没有任何关系。因此,它无法确定QueryResult<T>
的含义。
您显然期望的是somefn
力的返回类型T
int, int
。这显然是不可能的,原因有两个:T
表示单一类型,并且没有机制使return
语句以某种方式影响make_some
的模板实例化。
您是否尝试过使用 auto
作为类型声明?
此外,decltype (variable_here) variable_to_inherit_type;
将第二个变量的类型设置为第一个变量的类型。您可以首先使用它来设置与传入变量相同的类型。
我不确定这是否适用于您的情况,但让我知道它是否有帮助!