没有 <> 的函数模板存在问题

Question

无论如何，我可以在不写 func2(); 的情况下做到这一点吗？

int func() { return 5; }

template<class T>
T func2() { return func(); }


int main()
{
    auto k = func2();
    //auto k = func2<int>();

    return 0;
}

Answer 1

不可以，因为无法推导模板参数。您需要指定它，否则编译器怎么知道用什么来替换它？ int？ 双？用户定义的类型？
编辑
如果您已经在使用 C++0x（我认为是因为 auto），您可以使用新的尾随返回类型函数样式：

auto func2() -> decltype(func()) {
  return func();
}

decltype(func())将获得 func 的返回类型，而不实际调用它。
编辑2
好的，您甚至不需要尾随返回类型，简单的 decltype 也能完成这项工作：

decltype(func()) func2() { return func(); }

尾随返回类型对于返回依赖于部分或全部参数的情况更有用，并且特别是如果它们是模板化的。请参阅此处了解详细说明。

Answer 2

也许您正在寻找类似的东西：

int func() { return 5; }

auto func2() -> decltype( func() )
{
  return func();
}

int main()
{
  auto k = func2();
}

但是，我不明白为什么您将 func2 设为模板，因为您总是希望它返回 int 。如果您想将 func 的结果转换为另一种类型，它可能很有用，但在这种情况下，您需要明确指定您想要作为返回的类型。

Answer 3

不，没有办法做到这一点。编译器无法推导模板参数，因为它不考虑其返回类型。

如果您愿意宽容并使用 int k 而不是 auto k 那么您可以使用“作弊”通过返回具有隐式代理对象来实现相同的目标转换为类型名 T。

Answer 4

编译器无法从您分配给的返回类型推断出模板参数类型。您没有向编译器给出任何提示，返回类型可能是什么。因此，任何无法推导的模板参数类型都需要显式指定。

Answer 5

您可以使用 c++03 实现此语法如果您使用 int 而不是 auto：

int func() { return 5; }

template<class T> T func2() { return func(); }


struct Inference {
    template<typename T> operator T () { return func2<T>(); }
};

int main() {
  int k = Inference();
}

编辑：nvm，Konrad Rudolph 的答案已经说过了。