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