返回类型为模板化类型的 C++ 模板

Question

我想写一个这样的函数:

  template<class T1, T2>
  T2 getvalue(T1 in)
  {
     T2 tmp;

     // do some work here
     return T2;
  }

然后这样调用:

  float x[100];
  int x=getvalue<int>(x);

但是我好像做不到。这个想法是编译器从使用中检测到 T1，但我定义了返回类型。但是上面的代码会产生错误。

关于我如何做到这一点有什么建议吗？

Answer 1

当您显式指定函数模板参数时，它们会从左边开始填充；推导出所有剩余的参数。所以你必须这样写:

template <typename T, typename U>
T getvalue(U in)
{
    return in;
}

用法:

auto x = getvalue<int>(1.5);     // x is an "int", and U is deduced as "double"